๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

New results on verified global optimization

โœ Scribed by S. Berner

Book ID
105514187
Publisher
Springer Vienna
Year
1996
Tongue
English
Weight
1003 KB
Volume
57
Category
Article
ISSN
0010-485X

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Long-term stability of the Tevatron by v
Long-term stability of the Tevatron by verified global optimization
โœ Martin Berz; Kyoko Makino; Youn-Kyung Kim ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 429 KB

The tools used to compute high-order transfer maps based on differential algebraic (DA) methods have recently been augmented by methods that also allow a rigorous computation of an interval bound for the remainder. In this paper we will show how such methods can also be used to determine rigorous bo