↓ Skip to main content

Scientific Computing, Validated Numerics, Interval Methods

Overview of attention for book
Cover of 'Scientific Computing, Validated Numerics, Interval Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 SCAN 2000 Keynote Address the Future of Intervals
  3. Altmetric Badge
    Chapter 2 Variable-Precision Exponential Evaluation
  4. Altmetric Badge
    Chapter 3 Fast Computation of Some Special Integrals of Mathematical Physics
  5. Altmetric Badge
    Chapter 4 Interval Input and Output
  6. Altmetric Badge
    Chapter 5 A Case for Interval Hardware on Superscalar Processors
  7. Altmetric Badge
    Chapter 6 Evaluating the Impact of Accurate Branch Prediction on Interval Software
  8. Altmetric Badge
    Chapter 7 Automatic Test Case Generation Using Interval Arithmetic
  9. Altmetric Badge
    Chapter 8 On the Hull of the Solution Sets of Interval Linear Equations
  10. Altmetric Badge
    Chapter 9 Computation of Algebraic Solutions to Interval Systems Via Systems of Coordinates
  11. Altmetric Badge
    Chapter 10 Towards Diagrammatic Analysis of Systems of Interval “Linear Equations”
  12. Altmetric Badge
    Chapter 11 On the Solution of Parametrised Linear Systems
  13. Altmetric Badge
    Chapter 12 Verified Solutions of Systems of Nonlinear Polynomial Equations
  14. Altmetric Badge
    Chapter 13 Euler-Like Method for the Simultaneous Inclusion of Polynomial Zeros with Weierstrass’ Correction
  15. Altmetric Badge
    Chapter 14 Guaranteed Set Computation with Subpavings
  16. Altmetric Badge
    Chapter 15 A New Intersection Algorithm for Parametric Surfaces Based on Linear Interval Estimations
  17. Altmetric Badge
    Chapter 16 Nonlinear State Estimation Using Forward-Backward Propagation of Intervals in an Algorithm
  18. Altmetric Badge
    Chapter 17 Interval Methods for Global Optimization Using the Boxing Method
  19. Altmetric Badge
    Chapter 18 A Branch-and-Prune Method for Global Optimization
  20. Altmetric Badge
    Chapter 19 Simulation of a Controlled Aircraft Elevator under Sensor Uncertainties
  21. Altmetric Badge
    Chapter 20 Traditional Parameter Estimation Versus Estimation of Guaranteed Parameter Sets
  22. Altmetric Badge
    Chapter 21 Stabilizing Control Design of Nonlinear Process Involving Uncertainties
  23. Altmetric Badge
    Chapter 22 Set Estimation, Computation of Volumes and Data Safety
  24. Altmetric Badge
    Chapter 23 Verified High-Order Integration of DAEs and Higher-Order ODEs
  25. Altmetric Badge
    Chapter 24 About a Finite Dimensional Reduction Method for Conservative Dynamical Systems and Its Applications
  26. Altmetric Badge
    Chapter 25 Verified Determination of Singularities in Chemical Processes
  27. Altmetric Badge
    Chapter 26 Modeling of Multibody Systems with Interval Arithmetic
  28. Altmetric Badge
    Chapter 27 On the algebraic Properties of Stochastic Arithmetic. Comparison to Interval Arithmetic
  29. Altmetric Badge
    Chapter 28 Global Random Walk Simulations of Diffusion
  30. Altmetric Badge
    Chapter 29 Interval Computations as a Particular Case of a General Scheme Involving Classes of Probability Distributions
  31. Altmetric Badge
    Chapter 30 For Reliable and Powerful Scientific Computations
  32. Altmetric Badge
    Chapter 31 Reliable Representations of Strange Attractors
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
3 Wikipedia pages

Citations

dimensions_citation
10 Dimensions

Readers on

mendeley
7 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Scientific Computing, Validated Numerics, Interval Methods
Published by
Springer US, April 2013
DOI 10.1007/978-1-4757-6484-0
ISBNs
978-1-4419-3376-8, 978-1-4757-6484-0
Editors

Krämer, Walter, Gudenberg, Jürgen Wolff

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 7 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 7 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 5 71%
Researcher 1 14%
Unknown 1 14%
Readers by discipline Count As %
Engineering 5 71%
Computer Science 1 14%
Unknown 1 14%