Interval analysis and verification of mathematical models
Publisher
Springer Netherlands
Reference35 articles.
1. Alefeld, G. and J. Herzberger, Introduction to Interval Calculations. Academic Press, New York (1983). 2. Bánhelyi, B., T. Csendes, and B.M. Garay, Optimization and the Miranda approach in detecting horseshoe-type chaos by computer. International Journal of Bifurcation and Chaos, 17, 735–748 (2007). 3. Bánhelyi, B., T. Csendes, B.M. Garay, and L. Hatvani, A computer-assisted proof for Sigma_3-chaos in the forced damped pendulum equation. SIAM Journal on Applied Dynamical Systems, 7, 843–867 (2008). 4. Bleher, J.H., S.M Rump U. Kulisch M. Metzger, Ch. Ullrich, and W. Walter, FORTRAN-SC. A study of a FORTRAN extension for engineering/scientific computation with access to ACRITH, Computing, 39, 93–110 1987 5. Csallner, A.E., T. Csendes, and A.B. Kocsis, Reliable numerical computation in civil engineering. Numerical Algorithms, 37, 85–91 (2004).
|
|