Martin Berz

According to our database, Martin Berz authored at least 17 papers between 1997 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

Verified Computations Using Taylor Models and Their Applications.

Kyoko Makino, Martin Berz

Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

Rigorous Reachability Analysis and Domain Decomposition of Taylor Models.

Martin Berz, Kyoko Makino

Proceedings of the Numerical Software Verification - 10th International Workshop, 2017

2014

An Introduction to Beam Physics.

Martin Berz, Kyoko Makino, Weishi Wan

Series in high energy physics, cosmology, and gravitation, CRC Press, ISBN: 978-0-7503-0263-0, 2014

2009

Rigorous integration of flows and ODEs using taylor models.

Kyoko Makino, Martin Berz

Proceedings of the Symbolic Numeric Computation, 2009

Rigorous global search using taylor models.

Martin Berz, Kyoko Makino

Proceedings of the Symbolic Numeric Computation, 2009

2005

Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY.

Nathalie Revol, Kyoko Makino, Martin Berz

J. Log. Algebraic Methods Program., 2005

2004

Performance of Taylor Model Methods for Validated Integration of ODEs.

Martin Berz, Kyoko Makino

Proceedings of the Applied Parallel Computing, 2004

2003

Controlling the Wrapping Effect in the Solution of ODEs for Asteroids.

Jens Hoefkens, Martin Berz, Kyoko Makino

Reliab. Comput., 2003

Computing Validated Solutions of Implicit Differential Equations.

Jens Hoefkens, Martin Berz, Kyoko Makino

Adv. Comput. Math., 2003

2002

Verification of Invertibility of Complicated Functions over Large Domains.

Jens Hoefkens, Martin Berz

Reliab. Comput., 2002

2001

Verified High-Order Inversion of Functional Depedencies and Interval Newton Methods.

Martin Berz, Jens Hoefkens

Reliab. Comput., 2001

1999

Efficient Control of the Dependency Problem Based on Taylor Model Methods.

Kyoko Makino, Martin Berz

Reliab. Comput., 1999

New Methods for High-Dimensional Verified Quadrature.

Martin Berz, Kyoko Makino

Reliab. Comput., 1999

1998

Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models.

Martin Berz, Kyoko Makino

Reliab. Comput., 1998

Computation and Application of Taylor Polynomials with Interval Remainder Bounds.

Martin Berz, Georg Hoffstätter

Reliab. Comput., 1998

1997

Interval and Complexity Workshops Back-to-Back with 1997 ACM Symposium on Theory of Computing (STOC'97).

Luc Longpré, Martin Berz

Reliab. Comput., 1997

Large Scale Remote Graduate Instruction in Beam Physics.

Martin Berz, Béla Erdélyi, Jens Hoefkens

Proceedings of WebNet 97, 1997