Victoria University

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

ResearchArchive/Manakin Repository

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

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