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
• scientific article; zbMATH DE number 1104364
• 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
• scientific article; zbMATH DE number 1614717 (Why is no real title available?)
• scientific article; zbMATH DE number 1696759 (Why is no real title available?)
• scientific article; zbMATH DE number 2185656 (Why is no real title available?)
• scientific article; zbMATH DE number 1104364 (Why is no real title available?)
• 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)