An interactive calculus theorem-prover for continuity properties

DOI10.1016/S0747-7171(89)80041-0zbMath0679.68174OpenAlexW2104307228MaRDI QIDQ1823014

Shuzo Takahashi, Patrick Suppes

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)

Related Items

Combining symbolic computation and theorem proving: Some problems of Ramanujan

Uses Software

• REDUCE

Cites Work

• Unnamed Item
• Unnamed Item