Te Herenga Waka—Victoria University of Wellington
→
Library Home
→
ResearchArchive Home
→
Wellington Faculty of Science · Te Wahanga Putaiao
→
School of Mathematics and Statistics · Te Kura Mātai Tatauranga
→
Browsing School of Mathematics and Statistics · Te Kura Mātai Tatauranga by Subject

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

Now showing items 1-1 of 1

A Mechanical Verification of the Independence of Tarski's Euclidean Axiom

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 ...