An interactive calculus theorem-prover for continuity properties

DOI10.1016/S0747-7171(89)80041-0zbMATH Open0679.68174OpenAlexW2104307228MaRDI QIDQ1823014FDOQ1823014

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

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

zbMATH Keywords

symbolic computationREDUCEinteractive theorem-proverVERIFY

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Analytica -- an experiment in combining theorem proving and symbolic computation
• A formalization of properties of continuous functions on closed intervals
• 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

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)