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

DOI10.1007/978-3-642-03456-5_1zbMath1258.68170OpenAlexW1507456968MaRDI QIDQ3644710

Robert L. 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)

Uses Software

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

Cites Work

• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Innovations in computational type theory using Nuprl
• A course in constructive algebra
• Polynomial and abstract subrecursive classes
• The axioms of constructive geometry
• Reliable and Efficient Computational Geometry Via Controlled Perturbation
• Tarski's System of Geometry
• Essays in Constructive Mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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