Software Engineering for Mathematics

DOI10.1007/978-3-642-02614-0_4MaRDI QIDQ3637262zbMATH OpenOpenAlexFDO

Authors Georges Gonthier

Publication date 9 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02614-0_4

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1342253
• scientific article; zbMATH DE number 49520
• Computer theorem proving in mathematics
• scientific article; zbMATH DE number 1088216
• Mathematics and Software Verification

Cited in

(5)

• Towards the Mathematics Software Bus
• Building Mathematics-Based Software Systems to Advance Science and Create Knowledge
• scientific article; zbMATH DE number 53194 (Why is no real title available?)
• scientific article; zbMATH DE number 1088216 (Why is no real title available?)
• Mathematics and Software Verification

This page was built for publication: Software Engineering for Mathematics

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