Book section Open Access

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

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


JSON-LD (schema.org) Export

{
  "description": "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 answers in cases where computer algebra systems [CAS] do not. We extend upon Fateman's web-based table by including parametric limits of integration and queries with side conditions. This record was migrated from the OpenDepot repository service in June, 2017 before shutting down.", 
  "license": "http://creativecommons.org/licenses/by-nc/2.0/", 
  "creator": [
    {
      "affiliation": "University of St Andrew", 
      "@type": "Person", 
      "name": "Adams, A.A."
    }, 
    {
      "affiliation": "University of St Andrew", 
      "@type": "Person", 
      "name": "Gottliebsen, H."
    }, 
    {
      "affiliation": "University of St Andrew", 
      "@type": "Person", 
      "name": "Linton, S.A."
    }, 
    {
      "affiliation": "University of St Andrew", 
      "@type": "Person", 
      "name": "Martin, U."
    }
  ], 
  "headline": "VSDITLU: a verified symbolic definite integral table look-up.", 
  "image": "https://zenodo.org/static/img/logos/zenodo-gradient-round.svg", 
  "datePublished": "1999-01-01", 
  "contributor": [], 
  "url": "https://zenodo.org/record/810871", 
  "keywords": [], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.810871", 
  "@id": "https://doi.org/10.5281/zenodo.810871", 
  "@type": "ScholarlyArticle", 
  "name": "VSDITLU: a verified symbolic definite integral table look-up."
}
42
5
views
downloads
All versions This version
Views 4242
Downloads 55
Data volume 521.2 kB521.2 kB
Unique views 4242
Unique downloads 55

Share

Cite as