VSDITLU: A Verifiable Symbolic Definite Integral Table Look-Up
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 112-126
- https://doi.org/10.1007/3-540-48660-7_8
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- VSDITLU: A Verifiable Symbolic Definite Integral Table Look-UpPublished by Springer Nature ,1999
- A combination of nonstandard analysis and geometry theorem proving, with application to Newton's PrincipiaPublished by Springer Nature ,1998
- Theorem Proving with the Real NumbersPublished by Springer Nature ,1998
- Integration in PVS: Tables, types, and model checkingPublished by Springer Nature ,1997
- Symbolic Integration IPublished by Springer Nature ,1997
- Introduction to MaplePublished by Springer Nature ,1996
- Combining theorem proving and symbolic mathematical computingPublished by Springer Nature ,1995
- Combining symbolic computation and theorem proving: Some problems of RamanujanLecture Notes in Computer Science, 1994
- Extending the HOL theorem prover with a computer algebra system to reason about the realsPublished by Springer Nature ,1994
- Automated Deduction — CADE-12Published by Springer Nature ,1994