scientific article; zbMATH DE number 3938594

MaRDI QIDQ3709919zbMATH OpenFDO

Authors W. W. Bledsoe

Publication date 1984

zbMATH Keywords

survey

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Recommendations

• scientific article; zbMATH DE number 1100750
• Analytica --- an experiment in combining theorem proving and symbolic computation
• Automated theorem provers: a practical tool for the working mathematician?
• Computer theorem proving in mathematics
• scientific article; zbMATH DE number 3880145

Cited in

(11)

• Set theory in first-order logic: Clauses for Gödel's axioms
• A structure-preserving clause form translation
• Analytica --- an experiment in combining theorem proving and symbolic computation
• IMPS: An interactive mathematical proof system
• Automated theorem proving for special functions: the next phase
• Automatic proofs and counterexamples for some ortholattice identities
• Topological syllogistic with continuous and closed functions
• scientific article; zbMATH DE number 3982555 (Why is no real title available?)
• scientific article; zbMATH DE number 1222425 (Why is no real title available?)
• scientific article; zbMATH DE number 1100750 (Why is no real title available?)
• Automatic discovery of irrationality proofs and irrationality measures

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