Skip to main navigation
Skip to search
Skip to main content
Eindhoven University of Technology research portal Home
Help & FAQ
English
Nederlands
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press / Media
Facilities / Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
Surreal numbers in Coq
L.E. Mamane
Mathematics and Computer Science
Student thesis
:
Master
Date of Award
31 Aug 2003
Original language
English
Supervisor
Rob Nederpelt
(Supervisor 1)
Cite this
Standard
Surreal numbers in Coq
Mamane, L. E. (Author).
31 Aug 2003
Student thesis
:
Master
Documents
full text
File
:
application/pdf, 5.25 MB
Type
:
Thesis