Context Aware Calculation and Deduction

DOI10.1007/978-3-540-73086-6_3zbMath1202.68375OpenAlexW1532559807MaRDI QIDQ5428257

Makarius Wenzel, Amine Chaieb

Publication date: 28 November 2007

Published in: Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73086-6_3

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

Formal Proof of the Group Law for Edwards Elliptic Curves, Reasoning about memory layouts, Formal power series, The Isabelle Framework, A case-study in algebraic manipulation using mechanized reasoning tools, A generic and executable formalization of signature-based Gröbner basis algorithms, Local Theory Specifications in Isabelle/Isar, Formalization of Wu’s Simple Method in Coq

Uses Software

• Isabelle
• Isabelle/HOL