Building Mathematics-Based Software Systems to Advance Science and Create Knowledge

DOI10.1007/978-3-642-03456-5_1MaRDI QIDQ3644710zbMATH OpenOpenAlexFDO

Authors Robert Constable

Publication date 12 November 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-03456-5_1

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Other constructive mathematics (03F65)

Recommendations

• On developing mathematical software
• Publication:4733282
• Software Engineering for Mathematics
• Towards the Mathematics Software Bus
• Knowledge-based interoperability for mathematical software systems
• scientific article; zbMATH DE number 622673

Cites work

• scientific article; zbMATH DE number 3887061 (Why is no real title available?)
• scientific article; zbMATH DE number 3119278 (Why is no real title available?)
• scientific article; zbMATH DE number 3859117 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 1259143 (Why is no real title available?)
• scientific article; zbMATH DE number 1368469 (Why is no real title available?)
• scientific article; zbMATH DE number 1822263 (Why is no real title available?)
• scientific article; zbMATH DE number 6472648 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• A course in constructive algebra
• Constructive analysis with witnesses
• Essays in Constructive Mathematics
• Innovations in computational type theory using Nuprl
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Polynomial and abstract subrecursive classes
• Reliable and Efficient Computational Geometry Via Controlled Perturbation
• Tarski's System of Geometry
• The axioms of constructive geometry

Cited in

(4)

• DEVELOPMENT OF SPECIAL MATHEMATICAL SOFTWARE USING COMBINATORIAL NUMBERS AND LATTICE STRUCTURE ANALYSIS
• The axioms of constructive geometry
• Towards the Mathematics Software Bus
• scientific article; zbMATH DE number 139703 (Why is no real title available?)

Describes a project that uses

Uses Software

• Automath
• Nuprl
• Theorema
• LEDA
• Coq
• CGAL

This page was built for publication: Building Mathematics-Based Software Systems to Advance Science and Create Knowledge

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