Date of Award | 2011 |
---|---|
Original language | English |
Supervisor | Hans J.M. Sterk (Supervisor 1) |
Automated proof of theorems in geometries over division rings
Student thesis: Bachelor
Student thesis: Bachelor
Date of Award | 2011 |
---|---|
Original language | English |
Supervisor | Hans J.M. Sterk (Supervisor 1) |