Martin Berz

17 papers Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2017 — conf
Rigorous Reachability Analysis and Domain Decomposition of Taylor Models.
NSV@CAV
Martin Berz, Kyoko Makino
2017 — conf
Verified Computations Using Taylor Models and Their Applications.
NSV@CAV
Kyoko Makino, Martin Berz
2014 — book
An Introduction to Beam Physics.
Martin Berz, Kyoko Makino, Weishi Wan
2009 — conf
Rigorous global search using taylor models.
SNC
Martin Berz, Kyoko Makino
2009 — conf
Rigorous integration of flows and ODEs using taylor models.
SNC
Kyoko Makino, Martin Berz
2005 J jnl
Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY.
J. Log. Algebraic Methods Program.
Nathalie Revol, Kyoko Makino, Martin Berz
2004 — conf
Performance of Taylor Model Methods for Validated Integration of ODEs.
PARA
Martin Berz, Kyoko Makino
2003 J jnl
Computing Validated Solutions of Implicit Differential Equations.
Adv. Comput. Math.
Jens Hoefkens, Martin Berz, Kyoko Makino
2003 J jnl
Controlling the Wrapping Effect in the Solution of ODEs for Asteroids.
Reliab. Comput.
Jens Hoefkens, Martin Berz, Kyoko Makino
2002 J jnl
Verification of Invertibility of Complicated Functions over Large Domains.
Reliab. Comput.
Jens Hoefkens, Martin Berz
2001 J jnl
Verified High-Order Inversion of Functional Depedencies and Interval Newton Methods.
Reliab. Comput.
Martin Berz, Jens Hoefkens
1999 J jnl
Efficient Control of the Dependency Problem Based on Taylor Model Methods.
Reliab. Comput.
Kyoko Makino, Martin Berz
1999 J jnl
New Methods for High-Dimensional Verified Quadrature.
Reliab. Comput.
Martin Berz, Kyoko Makino
1998 J jnl
Computation and Application of Taylor Polynomials with Interval Remainder Bounds.
Reliab. Comput.
Martin Berz, Georg Hoffstätter
1998 J jnl
Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models.
Reliab. Comput.
Martin Berz, Kyoko Makino
1997 J jnl
Interval and Complexity Workshops Back-to-Back with 1997 ACM Symposium on Theory of Computing (STOC'97).
Reliab. Comput.
Luc Longpré, Martin Berz
1997 — conf
Large Scale Remote Graduate Instruction in Beam Physics.
WebNet
Martin Berz, Béla Erdélyi, Jens Hoefkens