dblp.uni-trier.dewww.uni-trier.de

Martin Berz

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
12EENathalie Revol, Kyoko Makino, Martin Berz: Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY. J. Log. Algebr. Program. 64(1): 135-154 (2005)
2004
11EEMartin Berz, Kyoko Makino: Performance of Taylor Model Methods for Validated Integration of ODEs. PARA 2004: 65-73
2003
10EEJens Hoefkens, Martin Berz, Kyoko Makino: Computing Validated Solutions of Implicit Differential Equations. Adv. Comput. Math. 19(1-3): 231-253 (2003)
9EEJens Hoefkens, Martin Berz, Kyoko Makino: Controlling the Wrapping Effect in the Solution of ODEs for Asteroids. Reliable Computing 9(1): 21-41 (2003)
2002
8EEJens Hoefkens, Martin Berz: Verification of Invertibility of Complicated Functions over Large Domains. Reliable Computing 8(1): 67-82 (2002)
2001
7EEMartin Berz, Jens Hoefkens: Verified High-Order Inversion of Functional Depedencies and Interval Newton Methods. Reliable Computing 7(5): 379-398 (2001)
1999
6EEMartin Berz, Kyoko Makino: New Methods for High-Dimensional Verified Quadrature. Reliable Computing 5(1): 13-22 (1999)
5EEKyoko Makino, Martin Berz: Efficient Control of the Dependency Problem Based on Taylor Model Methods. Reliable Computing 5(1): 3-12 (1999)
1998
4EEMartin Berz, Georg Hoffstätter: Computation and Application of Taylor Polynomials with Interval Remainder Bounds. Reliable Computing 4(1): 83-97 (1998)
3EEMartin Berz, Kyoko Makino: Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models. Reliable Computing 4(4): 361-369 (1998)
1997
2 Martin Berz, Béla Erdélyi, Jens Hoefkens: Large Scale Remote Graduate Instruction in Beam Physics. WebNet 1997
1EELuc Longpré, Martin Berz: Interval and Complexity Workshops Back-to-Back with 1997 ACM Symposium on Theory of Computing (STOC'97). Reliable Computing 3(4): 453-457 (1997)

Coauthor Index

1Béla Erdélyi [2]
2Jens Hoefkens [2] [7] [8] [9] [10]
3Georg Hoffstätter [4]
4Luc Longpré [1]
5Kyoko Makino [3] [5] [6] [9] [10] [11] [12]
6Nathalie Revol [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)