scientific article; zbMATH DE number 927286

MaRDI QIDQ4892490zbMATH OpenFDO

Authors Arjeh M. Cohen

Publication date 15 September 1996

zbMATH Keywords

field specific software

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• Computer-assisted discovery and proof
• Mathematical proofs in the computer age
• Computer-assisted proofs in analysis
• Computers as a novel mathematical reality. I: A personal account
• Computing and the cultures of proving

Cited in

(10)

• Computer-assisted discovery and proof
• scientific article; zbMATH DE number 4098591 (Why is no real title available?)
• Software integration and computer proofs
• Mathematical proofs in the computer age
• Mixing computations and proofs
• Computer Science Logic
• Computing and the cultures of proving
• How to calculate proofs: bridging the cultural divide
• Computers as a novel mathematical reality. I: A personal account
• How reliable is a computer-based proof?

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