16 results on '"Martin Berz"'
Search Results
2. Verified Computations Using Taylor Models and Their Applications.
3. Rigorous global search using taylor models.
4. Rigorous integration of flows and ODEs using taylor models.
5. Performance of Taylor Model Methods for Validated Integration of ODEs.
6. Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY.
7. Computing Validated Solutions of Implicit Differential Equations.
8. Controlling the Wrapping Effect in the Solution of ODEs for Asteroids.
9. Verification of Invertibility of Complicated Functions over Large Domains.
10. Verified High-Order Inversion of Functional Depedencies and Interval Newton Methods.
11. New Methods for High-Dimensional Verified Quadrature.
12. Efficient Control of the Dependency Problem Based on Taylor Model Methods.
13. Computation and Application of Taylor Polynomials with Interval Remainder Bounds.
14. Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models.
15. Interval and Complexity Workshops Back-to-Back with 1997 ACM Symposium on Theory of Computing (STOC'97).
16. Large Scale Remote Graduate Instruction in Beam Physics.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.