scientific article; zbMATH DE number 2152635
zbMATH Open1068.68058MaRDI QIDQ4664201FDOQ4664201
Authors: D. Mackenzie
Publication date: 5 April 2005
Title of this publication is not available (Why is that?)
Recommendations
verificationautomated theorem provingsociology of mathematicsrole of mathematical proofs in computer science
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Methodology of mathematics (00A35) History of mathematics in the 20th century (01A60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of computer science (68-03) Specification and verification (program logics, model checking, etc.) (68Q60) History of mathematical logic and foundations (03-03) Mechanization of proofs and logical operations (03B35) General topics in the theory of computing (68Q01)
Cited In (10)
- Additional extension of the mathematical model for BCG immunotherapy of bladder cancer and its validation by auxiliary tool
- The metamorphoses of the calculus. An amazing history of mathematics
- Computing and the cultures of proving
- Title not available (Why is that?)
- In Math, computers don't lie. Or do they
- Formal proof
- How reliable is a computer-based proof?
- Correctness, explanation and intention
- Title not available (Why is that?)
- Title not available (Why is that?)
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 Q4664201)