Victoria University

Browsing School of Mathematics and Statistics · Te Kura Mātai Tatauranga by Subject "Parallels postulate"

ResearchArchive/Manakin Repository

Browsing School of Mathematics and Statistics · Te Kura Mātai Tatauranga by Subject "Parallels postulate"

Sort by: Order: Results:

  • Makarios, Timothy James McKenzie (Victoria University of Wellington, 2012)
    This thesis describes the mechanization of Tarski's axioms of plane geometry in the proof verification program Isabelle. The real Cartesian plane is mechanically verified to be a model of Tarski's axioms, thus verifying ...

Search ResearchArchive


Advanced Search

Browse

My Account

Statistics