Tipi

MaRDI QIDQ21140swMATHFDO

Official website http://arxiv.org/pdf/1204.0901v2.pdf

Cited in

(5)

• Complete independence of an axiom system for central translations
• The simplest axiom system for hyperbolic geometry revisited, again
• LPL software
• Prolegomena to any theory of proof simplicity
• Eliciting implicit assumptions of Mizar proofs by property omission

This page was built for software: Tipi