↓ Skip to main content
What is this page? Embed badge

Perspectives on Enclosure Methods

Overview of attention for book
Cover of 'Perspectives on Enclosure Methods'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Proving Conjectures by Use of Interval Arithmetic
  3. Altmetric Badge
    Chapter 2 Advanced Arithmetic for the Digital Computer — Interval Arithmetic Revisited
  4. Altmetric Badge
    Chapter 3 Highly Accurate Verified Error Bounds for Krylov Type Linear System Solvers
  5. Altmetric Badge
    Chapter 4 Elements of Scientific Computing
  6. Altmetric Badge
    Chapter 5 The Mainstreaming of Interval Arithmetic
  7. Altmetric Badge
    Chapter 6 Bounds for Eigenvalues with the Use of Finite Elements
  8. Altmetric Badge
    Chapter 7 Algorithmic Differencing
  9. Altmetric Badge
    Chapter 8 A Comparison of Techniques for Evaluating Centered Forms
  10. Altmetric Badge
    Chapter 9 On the Limit of the Total Step Method in Interval Analysis
  11. Altmetric Badge
    Chapter 10 How Fast can Moore’s Interval Integration Method Really be?
  12. Altmetric Badge
    Chapter 11 Numerical Verification and Validation of Kinematics and Dynamical Models for Flexible Robots in Complex Environments
  13. Altmetric Badge
    Chapter 12 On the Ubiquity of the Wrapping Effect in the Computation of Error Bounds
  14. Altmetric Badge
    Chapter 13 A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations
  15. Altmetric Badge
    Chapter 14 A Guaranteed Bound of the Optimal Constant in the Error Estimates for Linear Triangular Elements
  16. Altmetric Badge
    Chapter 15 Nonsmooth Global Optimization
Attention for Chapter 1: Proving Conjectures by Use of Interval Arithmetic
Altmetric Badge

Mentioned by

q&a
1 Q&A thread

Citations

dimensions_citation
13 Dimensions

Readers on

mendeley
1 Mendeley
Summary Q&A Dimensions citations
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.
Chapter title
Proving Conjectures by Use of Interval Arithmetic
Chapter number 1
Book title
Perspectives on Enclosure Methods
Published by
Springer Vienna, November 2015
DOI 10.1007/978-3-7091-6282-8_1
Book ISBNs
978-3-21-183590-6, 978-3-70-916282-8
Authors

Andreas Frommer

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Doctoral Student 1 100%
Readers by discipline Count As %
Physics and Astronomy 1 100%

This page is provided by Altmetric.