Concepedia

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

Martin Berz, Kyoko Makino

Reliable Computing · 1998 · 305 citations · 4 references

DOI

Concepts

References

4

Computation and Application of Taylor Polynomials with Interval Remainder Bounds

Martin Berz, G. H. Hoffstätter · Reliable Computing · 1998 · 166 citations

, , +6

Rigorous analysis of nonlinear motion in particle accelerators

Kyoko Makino · 1998 · 112 citations · Full text

, , +15

5. Remainder Differential Algebras and Their Applications

Kyoko Makino, Martin Berz · 1996 · 88 citations

, , +12

COSY INFINITY version 7

Kyoko Makino, Martin Berz · AIP conference proceedings · 1997 · 14 citations

, , +8