Presenting inequations in mathematical proofs

DOI10.1016/S0020-0255(98)10094-4MaRDI QIDQ1818758zbMATH OpenFDO

Authors Detlef Fehrer, Helmut Horacek

Publication date 4 January 2000

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0020-0255(98)10094-4

zbMATH Keywords

deductive planningformal methods in software verification

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Structuring Mathematical Proofs
• scientific article; zbMATH DE number 4164180
• Presenting machine-found proofs
• scientific article; zbMATH DE number 1024410
• How to Write a Proof

Cites work

• \(\Omega\)\textsc{mega}: towards a mathematical assistant
• scientific article; zbMATH DE number 4164180 (Why is no real title available?)
• scientific article; zbMATH DE number 3756774 (Why is no real title available?)
• scientific article; zbMATH DE number 3254919 (Why is no real title available?)
• scientific article; zbMATH DE number 3349331 (Why is no real title available?)
• Presenting machine-found proofs
• Refutation graphs
• Toward mechanical methods for streamlining proofs

Cited in

(1)

• Presenting Herbrand models with linguistically motivated techniques

Describes a project that uses

Uses Software

• PROVERB
• Omega-MKRP
• OTTER

This page was built for publication: Presenting inequations in mathematical proofs

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