Referenced Items are not available for this document.
This paper presents a set of tools for mechanical reasoning of numerical bounds using interval arithmetic. The tools implement two techniques for reducing decorrelation: interval splitting and Taylor's series expansions. Although the tools are designed for the proof assistant system PVS, expertise on PVS is not required. The ultimate goal of the tools is to provide guaranteed proofs of numerical properties with a minimal human-theorem prover interaction.
Published in:
Computer Arithmetic, 2005. ARITH-17 2005. 17th IEEE Symposium on
Date of Conference: 27-29 June 2005
- Page(s):
- 188 - 195
- ISSN :
- 1063-6889
- Print ISBN:
- 0-7695-2366-8
- INSPEC Accession Number:
- 8642515
- Digital Object Identifier :
- 10.1109/ARITH.2005.25
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
