Introduction to precise numerical methods. With CD-ROM. Precise numerical analysis may be defined as the study of computer methods for solving mathematical problems either exactly or to prescribed accuracy. This book explains how precise numerical analysis is constructed. It includes a CD-ROM which contains executable Windows XP programs for the PC and which demonstrates how these programs can be used to solve typical problems of elementary numerical analysis with precision. The book also provides exercises which illustrate points from the text and references for the methods presented. (Source:

References in zbMATH (referenced in 29 articles , 3 standard articles )

Showing results 1 to 20 of 29.
Sorted by year (citations)

1 2 next

  1. Babuška, Ivo; Silva, Renato S.: Dealing with uncertainties in engineering problems using only available data (2014)
  2. Glomski, Matthew; Johnson, Matthew A.: A precise calculation of the critical Rayleigh number and wave number for the rigid-free Rayleigh-Bénard problem (2012)
  3. Krämer, Walter: Multiple/arbitrary precision interval computations in C-XSC (2012)
  4. Kreinovich, Vladik: Designing, understanding, and analyzing unconventional computation: the important role of logic and constructive mathematics (2012)
  5. Shur, Arseny M.: Growth properties of power-free languages (2012)
  6. Babuška, Ivo; Silva, Renato S.: Numerical treatment of engineering problems with uncertainties. The fuzzy set approach and its application to the heat exchanger problem (2011)
  7. Tucker, Warwick: Validated numerics. A short introduction to rigorous computations. (2011)
  8. Krämer, Walter: Verification methods and symbolic computations (2010)
  9. Kreinovich, Vladik: Metrization theorem for space-times: from Urysohn’s problem towards physically useful constructive mathematics (2010)
  10. Kreinovich, Vladik; Kubica, Bartlomiej Jacek: From computing sets of optima, Pareto sets, and sets of Nash equilibria to general decision-related set computations (2010)
  11. Sella, Lorenzo; Collins, Pieter: Computation of symbolic dynamics for one-dimensional maps (2010)
  12. Babuška, Ivo; Liu, Kang-Man: Interval arithmetic error estimation for the solution of Fredholm integral equation (2009)
  13. G.-Tóth, Boglárka; Kreinovich, Vladik: Verified methods for computing Pareto sets: general algorithmic analysis (2009)
  14. Kocsárdi, Sándor; Nagy, Zoltán; Csík, Árpád; Szolgay, Péter: Simulation of two-dimensional supersonic flows on emulated-digital CNN-UM (2009)
  15. Sella, Lorenzo; Collins, Pieter: Discrete dynamics of two-dimensional nonlinear hybrid automata (2008)
  16. Aberth, Oliver: Introduction to precise numerical methods. With CD-ROM. (2007)
  17. Lambov, Branimir: RealLib: an efficient implementation of exact real arithmetic (2007)
  18. Revol, Nathalie; Rouillier, Fabrice: Motivations for an arbitrary precision interval arithmetic and the MPFI library (2005)
  19. Granvilliers, Laurent; Kreinovich, Vladik; Müller, Norbert: Novel approaches to numerical software with result verification (2004)
  20. Grimmer, Markus; Petras, Knut; Revol, Nathalie: Multiple precision interval packages: comparing different approaches (2004)

1 2 next