A Dynamic Poincaré Principle

DOI10.1007/11812289_5MaRDI QIDQ5756775zbMATH OpenOpenAlexFDO

Authors Manfred Kerber

Publication date 5 September 2007

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

Full work available at URL https://doi.org/10.1007/11812289_5

Mathematics Subject Classification ID

Methodology of mathematics (00A35) Mechanization of proofs and logical operations (03B35)

Recommendations

• On Formal Proofs
• A science of reasoning: Extended abstract
• Autarkic computations in formal proofs
• Types for Proofs and Programs
• Proving and programming

Cited in

(1)

• Dynamical principle

This page was built for publication: A Dynamic Poincaré Principle

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