Oosterhuis, R. (2007) Mechanised theorem proving: exponents 3 and 4 of Fermat's last theorem using Isabelle. Master's Thesis / Essay, Mathematics.
|
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 name: | Top, J |
| 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: | https://fse.studenttheses.ub.rug.nl/id/eprint/8392 |
Actions (login required)
 |
View Item |