scientific article; zbMATH DE number 1341611

zbMATH Open0943.68152MaRDI QIDQ4263160FDOQ4263160

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

Publication date: 17 February 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

symbolic definite integral table lookup

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

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

Uses Software

• AXIOM
• PVS
• Automath
• VSDITLU

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)