Javascript must be enabled for the correct page display

Mechanised theorem proving: exponents 3 and 4 of Fermat's last theorem using Isabelle

Oosterhuis, R. (2007) Mechanised theorem proving: exponents 3 and 4 of Fermat's last theorem using Isabelle. Master's Thesis / Essay, Mathematics.

[img]
Preview
Text
Roelof_Oosterhuis_doctoraal.pdf - Published Version

Download (955kB) | Preview

Abstract

This thesis describes a formalisation of a proof of the cases n = 3 and 4 of Fermat’s last theorem (FLT), using the proof assistant Isabelle. The formalisation of the general FLT, stating that for all natural numbers n > 2 and all integers x, y, z we have.

Item Type: Thesis (Master's Thesis / Essay)
Supervisor:
Supervisor nameSupervisor E mail
Top, JUNSPECIFIED
Degree programme: Mathematics
Thesis type: Master's Thesis / Essay
Language: English
Date Deposited: 15 Feb 2018 07:28
Last Modified: 17 Apr 2019 09:56
URI: http://fse.studenttheses.ub.rug.nl/id/eprint/8392

Actions (login required)

View Item View Item