Computers, reasoning and mathematical practice

MaRDI QIDQ4263839zbMATH OpenFDO

Authors Ursula Martin Webb

Publication date 22 September 1999

zbMATH Keywords

computer aided reasoning

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Recommendations

• scientific article; zbMATH DE number 3860434
• scientific article; zbMATH DE number 4125356
• Mathematics at the computer
• scientific article; zbMATH DE number 3264869

Cited in

(7)

• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
• scientific article; zbMATH DE number 1722693 (Why is no real title available?)
• scientific article; zbMATH DE number 4148033 (Why is no real title available?)
• Software Engineering for Mathematics
• scientific article; zbMATH DE number 3907807 (Why is no real title available?)
• Preface to the special issue: Interactive theorem proving and the formalization of mathematics
• Automated theorem provers: a practical tool for the working mathematician?

Describes a project that uses

Uses Software

• AXIOM

This page was built for publication: Computers, reasoning and mathematical practice

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