Iscalc: An Interactive Symbolic Computation Framework (System Description)

DOI10.1007/978-3-031-38499-8_33MaRDI QIDQ6492772

Unnamed Author, Bohua Zhan, Runqing Xu, Unnamed Author

Publication date: 26 April 2024

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• Unnamed Item
• A heuristic prover for real inequalities
• MetiTarski: An automatic theorem prover for real-valued special functions
• A Skeptic's approach to combining HOL and Maple
• Analytica --- an experiment in combining theorem proving and symbolic computation
• Verified interactive computation of definite integrals
• The Lean 4 theorem prover and programming language
• Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL
• Automated and readable simplification of trigonometric expressions
• A bi-directional extensible interface between Lean and Mathematica
• The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems. Can We Trust in Them?
• Formalization of real analysis: a survey of proof assistants and libraries
• Verified Real Asymptotics in Isabelle/HOL

This page was built for publication: Iscalc: An Interactive Symbolic Computation Framework (System Description)