The Theorema Environment for Interactive Proof Development

DOI10.1007/11591191_19MaRDI QIDQ5387844zbMATH OpenOpenAlexFDO

Authors Florina Piroi, Temur Kutsia

Publication date 27 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11591191_19

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1497747
• TPS: A hybrid automatic-interactive system for developing proofs
• Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0
• scientific article; zbMATH DE number 1254011
• Theo: An interactive proof development system

Cited in

(11)

• Mathscape and molecular integrals
• Mathematical theory exploration in Theorema: reduction rings
• Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0
• Theorema 2.0: A System for Mathematical Theory Exploration
• Collaborative Interactive Theorem Proving with Clide
• The Abella Interactive Theorem Prover (System Description)
• scientific article; zbMATH DE number 4072441 (Why is no real title available?)
• scientific article; zbMATH DE number 1497747 (Why is no real title available?)
• scientific article; zbMATH DE number 1497750 (Why is no real title available?)
• The Alf proof editor and its proof engine
• Theo: An interactive proof development system

Describes a project that uses

Uses Software

• Theorema
• Proof General
• Nuprl

This page was built for publication: The Theorema Environment for Interactive Proof Development

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5387844)