scientific article; zbMATH DE number 500942

MaRDI QIDQ4279075zbMATH OpenFDO

Authors Ricardo Caferra, Michel Herment, Nicolas Zabel

Publication date 10 March 1994

zbMATH Keywords

graphic proof editoruser-oriented theorem proving

Mathematics Subject Classification ID

Recommendations

• A generic graphic framework for combining inference tools and editing proofs and formulae
• scientific article; zbMATH DE number 1629953
• A graphical user interface for formal proofs in geometry
• Functional design and implementation of graphical user interfaces for theorem provers
• Integration of automated and interactive theorem proving in ILF

Cited in

(6)

• A method for simultaneous search for refutations and models by equational constraint solving
• A generic graphic framework for combining inference tools and editing proofs and formulae
• Visualising reasoning: what ATP can learn from CP
• Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
• The Alf proof editor and its proof engine
• A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics

This page was built for publication:

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