scientific article; zbMATH DE number 1140678

MaRDI QIDQ4385443zbMATH OpenFDO

Authors Bernd I. Dahn, Andreas Wolf

Publication date 13 April 1998

zbMATH Keywords

interactive deductive systemsnatural language presentations of proofs

Mathematics Subject Classification ID

Recommendations

• Presenting machine-found proofs
• scientific article; zbMATH DE number 4164180
• A natural language explanation for formal proofs
• scientific article; zbMATH DE number 3922016

Cited in

(10)

• Unnatural language processing. An empirical study of multimodal proof styles
• A formal proof generator from semi-formal proof documents
• Knowledge-based proof planning
• System description: Tramp. Transformation of machine-found proofs into natural deduction proofs at the assertion level
• An extensible proof text editor
• Extracting text from proofs
• A natural language explanation for formal proofs
• Reconstructing proofs at the assertion level
• Integration of automated and interactive theorem proving in ILF
• ILF-SETHEO

Describes a project that uses

Uses Software

• SETHEO

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 Q4385443)