scientific article
From MaRDI portal
Publication:4011815
zbMATH Open0753.65036MaRDI QIDQ4011815FDOQ4011815
Publication date: 27 September 1992
Title of this publication is not available (Why is that?)
Recommendations
- scientific article
- Computer-assisted proofs in analysis
- Axiomatisation of an interval calculus for theorem proving
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Automatic inequality proving based on interval analysis
- scientific article; zbMATH DE number 1432037
- Computer assisted proofs for spectral problems
- Interval computations and their categorification
- Computer-assisted proofs in PDE: a survey
- Computerized proof techniques for undergraduates
Cited In (16)
- Loop invariants in floating point algorithms
- Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds
- Computer technology of interval-set analysis in MATLAB
- Title not available (Why is that?)
- A review note on arbitrary precision arithmetic
- Title not available (Why is that?)
- Mechanising the theory of intervals using OBJ3
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computer-assisted proofs in analysis
- Title not available (Why is that?)
- Non–existence oftheta–shaped self–similarly shrinking networks moving by curvature
- Interval methods and computer aided proofs in science and engineering, Interval '96. Proceedings of the international conference, September 30 - October 2, 1996, Würzburg, Germany
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- A software tool for automatically verified operations on intervals and probability distributions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4011815)
