Long-term stability of the Tevatron by verified global optimization
Authors:
- Martin BerzMBMartin Berz
- Kyoko MakinoKMKyoko Makino
- Youn-Kyung KimYKYoun-Kyung Kim
- 1 March 2006
- journal article
- Published by Elsevier in Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment
- Vol. 558 (1) , 1-10
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSYThe Journal of Logic and Algebraic Programming, 2005
- New approaches for the validation of transfer maps using remainder-enhanced differential algebraNuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, 2003
- Efficient Control of the Dependency Problem Based on Taylor Model MethodsReliable Computing, 1999
- Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor ModelsReliable Computing, 1998
- The cluster problem in multivariate global optimizationJournal of Global Optimization, 1994
- Testing Unconstrained Optimization SoftwareACM Transactions on Mathematical Software, 1981