fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Computer aided proofs in analysis

Computer aided proofs in analysis

by Kenneth R. Meyer

Numerical analysisCongressesData processing
0.0
Open Library
Open Library

Themes & subjects

Numerical analysisCongressesData processing

About the author

Kenneth R. Meyer

1937

Author

Kenneth R. Meyer

Pages

251

Read time

≈ 6h

Editions

1

Language

English

Publisher

Springer-Verlag

ISBN

0387974261

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

The calculus of observations

Numerical calculations · Numerical analysis

The calculus of observations

E. T. Whittaker

1924

MATLAB

Data processing · MATLAB

MATLAB

Amos Gilat

2003

Numerical mathematical analysis

Numerical analysis · Numerical calculations

Numerical mathematical analysis

James B. Scarborough

1930

Applied numerical analysis

Electronic data processin · Mathematics

Applied numerical analysis

Curtis F. Gerald

1970

Lekt︠s︡ii po teorii approksimat︠s︡ii

Numerical analysis · Approximation theory

Lekt︠s︡ii po teorii approksimat︠s︡ii

N. I. Akhiezer

1947

Tools for computational finance

Mathematical models · Finance

Tools for computational finance

Rüdiger Seydel

2002

Matlab - Simulink - Stateflow

Stateflow (Computer program) · SIMULINK

Matlab - Simulink - Stateflow

Anne Angermann

2004

Numerical methods for engineers

Data processing · Engineering mathematics

Numerical methods for engineers

M.G.M. Smith

1990

Numerical Methods of Statistics

Informatique · Numerical analysis

Numerical Methods of Statistics

John F. Monahan

2001

Numerical methods for ordinary differential equations

Differential equations · Numerical solutions

Numerical methods for ordinary differential equations

John Charles Butcher

2002

A guide to MATLAB

Numerical analysis · MATLAB

A guide to MATLAB

Brian R. Hunt

2001

Inverse acoustic and electromagnetic scattering theory

Scattering · Electromagnetic waves

Inverse acoustic and electromagnetic scattering theory

David L. Colton

1992

Computational statistics handbook with MATLAB

Data processing · MATLAB

Computational statistics handbook with MATLAB

Wendy L. Martinez

2001

Manifest der Kommunistischen Partei

Communism · Sources

Manifest der Kommunistischen Partei

Karl Marx

1848

Nicomachean Ethics

Ethics · Early works to 1800

Nicomachean Ethics

Aristotle

1558

Lord Jim

Fiction · British

Lord Jim

Joseph Conrad

1900

Θεαίτητος

Theory of Knowledge · Ancient Philosophy

Θεαίτητος

Πλάτων

1861

Sartor resartus

Fiction · Philosophers

Sartor resartus

Thomas Carlyle

1800