scientific article; zbMATH DE number 1341611

MaRDI QIDQ4263160zbMATH OpenFDO

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

Publication date 17 February 2000

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

(3)

• Hidden verification for computational mathematics
• MBase: Representing knowledge and context for the integration of mathematical software systems
• Applications of real number theorem proving in PVS

Describes a project that uses

Uses Software

• VSDITLU
• Automath
• PVS
• AXIOM

This page was built for publication:

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