Combining symbolic computation and theorem proving: Some problems of Ramanujan

DOI10.1007/3-540-58156-1_55zbMath1433.68541OpenAlexW1835022414MaRDI QIDQ5210811

Xudong Zhao, Edmund M. Clarke

Publication date: 21 January 2020

Published in: Automated Deduction — CADE-12 (Search for Journal in Brave)

Full work available at URL: https://figshare.com/articles/journal_contribution/Combining_Symbolic_Computation_and_Theorem_Proving_Some_Problems_of_Ramanujan/6604205

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

Towards the Mathematics Software Bus

Cites Work

• Unnamed Item
• Unnamed Item
• Analytica --- an experiment in combining theorem proving and symbolic computation
• An interactive calculus theorem-prover for continuity properties