Automated proof of theorems in geometries over division rings

B.J. Conijn

Mathematics and Computer Science

Student thesis: Bachelor

Date of Award	2011
Original language	English
Supervisor	Hans J.M. Sterk (Supervisor 1)

Cite this

Standard

Documents

Full text (352 KB)
File: application/pdf, 344 KB
Type: Thesis

'