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

Part of book or chapter of book OPEN
Adams, A.A.; Gottliebsen, H.; Linton, S.A.; Martin, U.;
(1999)

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 theo... View more
Share - Bookmark

  • Download from
    ZENODO via ZENODO (Part of book or chapter of book, 1999)
  • Cite this publication