Interval Testing Strategies Applied to COSY’s Interval and Taylor Model Arithmetic-Reference-Cited by-同舟云学术

Interval Testing Strategies Applied to COSY’s Interval and Taylor Model Arithmetic

Published:2004 Issue: Volume: Page:91-106
ISSN:0302-9743
Container-title:Numerical Software with Result Verification
language:
Short-container-title:

Author:

Corliss George F.,Yu Jun

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24738-8_5

Reference16 articles.

1. Berz, M.: COSY INFINITY Version 8 reference manual. Technical Report MSUCL–1088, National Superconducting Cyclotron Laboratory, Michigan State University, East Lansing, MI 48824 (1997)

2. Berz, M.: COSY INFINITY web page (2000), cosy.pa.msu.edu

3. Corliss, G.F.: Performance of self-validating quadrature. In: Keast, P., Fairweather, G. (eds.) Proceedings of the NATO Advanced Workshop on Numerical Integration: Recent Developments, Software, and Applications, pp. 239–259. Reidel, Boston (1987)

4. Corliss, G.F.: Comparing software packages for interval arithmetic, 1993. Presented at SCAN 1993, Vienna (September 1993)

5. Dixon, L.C.W., Szegö, G.P.: Towards Global Optimization 2. North-Holland, Amsterdam (1978)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Communicating Functional Expressions from Mathematica to C-XSC;Mathematical Software – ICMS 2010;2010

2. Mathematica Connectivity to Interval Libraries filib++ and C-XSC;Numerical Validation in Current Hardware Architectures;2009

3. Fundamentals of Interval Computing;Advanced Information and Knowledge Processing;2008

4. COSY INFINITY Version 9;Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment;2006-03

5. Interval Subroutine Library Mission;Reliable Implementation of Real Number Algorithms: Theory and Practice