VSDITLU: A verifiable symbolic definite integral table look-up

DOI10.1007/3-540-48660-7_8MaRDI QIDQ4263160zbMATH OpenFDO

Authors A. A. Adams, Hanne Gottliebsen, Steve Linton, Ursula Martin Webb, S. A. Linton

Publication date 17 February 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48660-7_8

zbMATH Keywords

symbolic definite integral table lookup

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 1254244
• Digital look up tables and real number theorem proving
• Definite integration of parametric rational functions: Applying a DITLU
• An integral theorem prover and the role of proof planning

Cited in

(4)

• Hidden verification for computational mathematics
• scientific article; zbMATH DE number 1254244 (Why is no real title available?)
• Applications of real number theorem proving in PVS
• MBase: Representing knowledge and context for the integration of mathematical software systems

Describes a project that uses

Uses Software

• Automath
• AXIOM
• PVS
• VSDITLU

This page was built for publication: VSDITLU: A verifiable symbolic definite integral table look-up

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4263160)