An interactive calculus theorem-prover for continuity properties

DOI10.1016/S0747-7171(89)80041-0MaRDI QIDQ1823014zbMATH OpenOpenAlexFDO

Authors P. Suppes, S. Takahashi

Publication date 1989

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0747-7171(89)80041-0

zbMATH Keywords

symbolic computationREDUCEinteractive theorem-proverVERIFY

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• A heuristic prover for elementary analysis in \textit{Theorema}
• Analytica --- an experiment in combining theorem proving and symbolic computation
• scientific article; zbMATH DE number 3880145
• scientific article; zbMATH DE number 1259143
• A theorem prover for a computational logic

Cited in

(6)

• A formalization of properties of continuous functions on closed intervals
• Analytica -- an experiment in combining theorem proving and symbolic computation
• Now \(f\) is continuous (exercise!)
• Formalization of the integral calculus in the PVS theorem prover
• An integral theorem prover and the role of proof planning
• Combining symbolic computation and theorem proving: Some problems of Ramanujan

Describes a project that uses

Uses Software

• REDUCE

This page was built for publication: An interactive calculus theorem-prover for continuity properties

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