Javascript must be enabled for the correct page display

Evaluation of Isabelle with a proof of the Perfect Number Theorem

IJbema, M. (2009) Evaluation of Isabelle with a proof of the Perfect Number Theorem. Bachelor's Thesis, Mathematics.

[img]
Preview
Text
Mark_IJbema_WB_2009.pdf - Published Version

Download (411kB) | Preview

Abstract

In this bachelor's thesis I will discuss my research on proof assistent Isabelle. Using the Perfect Number Theorem as test case, I tried to find out how usable Isabelle is.

Item Type: Thesis (Bachelor's Thesis)
Degree programme: Mathematics
Thesis type: Bachelor's Thesis
Language: English
Date Deposited: 15 Feb 2018 07:29
Last Modified: 15 Feb 2018 07:29
URI: http://fse.studenttheses.ub.rug.nl/id/eprint/8730

Actions (login required)

View Item View Item