publication . Part of book or chapter of book . Other literature type . 1999

VSDITLU: a verified symbolic definite integral table look-up.

Adams, A.A.; Gottliebsen, H.; Linton, S.A.; Martin, U.;
Open Access
  • Published: 01 Jan 1999
  • Publisher: Springer-Verlag
Abstract
We present a verifiable symbolic definite integral table look-up: a system which matches a query, comprising a definite integral with parameters and side conditions, against an entry in a verifiable table and uses a call to a library of facts about the reals in the theorem prover PVS to aid in the transformation of the table entry into an answer. Our system is able to obtain correct answers in cases where standard techniques implemented in computer algebra systems fail. We present the full model of such a system as well as a description of our prototype implementation showing the efficacy of such a system: for example, the prototype is able to obtain correct ans...
Download fromView all 6 versions
ZENODO
Part of book or chapter of book . 1999
Provider: ZENODO
Zenodo
Other literature type . 1999
Provider: Datacite
Zenodo
Other literature type . 1999
Provider: Datacite
ZENODO
Part of book or chapter of book . 1999
Provider: ZENODO
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
publication . Part of book or chapter of book . Other literature type . 1999

VSDITLU: a verified symbolic definite integral table look-up.

Adams, A.A.; Gottliebsen, H.; Linton, S.A.; Martin, U.;