The SCEAS System
| |||||||

## Search the dblp DataBase
Martin Berz:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Martin Berz, Kyoko Makino
**Performance of Taylor Model Methods for Validated Integration of ODEs.**[Citation Graph (0, 0)][DBLP] PARA, 2004, pp:65-73 [Conf] - Martin Berz, Béla Erdélyi, Jens Hoefkens
**Large Scale Remote Graduate Instruction in Beam Physics.**[Citation Graph (0, 0)][DBLP] WebNet, 1997, pp:- [Conf] - Nathalie Revol, Kyoko Makino, Martin Berz
**Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY.**[Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2005, v:64, n:1, pp:135-154 [Journal] - Martin Berz, Jens Hoefkens
**Verified High-Order Inversion of Functional Depedencies and Interval Newton Methods.**[Citation Graph (0, 0)][DBLP] Reliable Computing, 2001, v:7, n:5, pp:379-398 [Journal] - Martin Berz, Georg Hoffstätter
**Computation and Application of Taylor Polynomials with Interval Remainder Bounds.**[Citation Graph (0, 0)][DBLP] Reliable Computing, 1998, v:4, n:1, pp:83-97 [Journal] - Martin Berz, Kyoko Makino
**Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models.**[Citation Graph (0, 0)][DBLP] Reliable Computing, 1998, v:4, n:4, pp:361-369 [Journal] - Martin Berz, Kyoko Makino
**New Methods for High-Dimensional Verified Quadrature.**[Citation Graph (0, 0)][DBLP] Reliable Computing, 1999, v:5, n:1, pp:13-22 [Journal] - Jens Hoefkens, Martin Berz
**Verification of Invertibility of Complicated Functions over Large Domains.**[Citation Graph (0, 0)][DBLP] Reliable Computing, 2002, v:8, n:1, pp:67-82 [Journal] - Jens Hoefkens, Martin Berz, Kyoko Makino
**Controlling the Wrapping Effect in the Solution of ODEs for Asteroids.**[Citation Graph (0, 0)][DBLP] Reliable Computing, 2003, v:9, n:1, pp:21-41 [Journal] - Luc Longpré, Martin Berz
**Interval and Complexity Workshops Back-to-Back with 1997 ACM Symposium on Theory of Computing (STOC'97).**[Citation Graph (0, 0)][DBLP] Reliable Computing, 1997, v:3, n:4, pp:453-457 [Journal] - Kyoko Makino, Martin Berz
**Efficient Control of the Dependency Problem Based on Taylor Model Methods.**[Citation Graph (0, 0)][DBLP] Reliable Computing, 1999, v:5, n:1, pp:3-12 [Journal] **Computing Validated Solutions of Implicit Differential Equations.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |