scientific article; zbMATH DE number 1954188

MaRDI QIDQ4415224zbMATH OpenFDO

Authors Manfred Kerber, Martin Pollet

Publication date 28 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2557/25570716.htm

Mathematics Subject Classification ID

Recommendations

• Designing mathematical libraries based on minimal requirements for theorems
• Computer theorem proving in mathematics
• On the shape of mathematical arguments
• Mathematical concepts in computer proofs
• Type theory and proof processing systems

Cited in

(6)

• Formalization and specification of geometric knowledge objects
• Automating change of representation for proofs in discrete mathematics (extended version)
• Designing mathematical libraries based on minimal requirements for theorems
• scientific article; zbMATH DE number 4164730 (Why is no real title available?)
• A MATHEMATICAL THEORY OF DESIGN Representation of Design Artifacts (Part I)
• A role for representation theorems

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