Cyril Cohen
Original record- Institution
- École Polytechnique
- Year
- 2012
- Country
- France
- MGP identifier
- 191204
Dissertation: Formalized algebraic numbers: construction and first-order theory
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Assia MahboubiUniversité de Nice-Sophia Antipolis · 2006
- Benjamin WernerInstitution not recorded
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Anders Mörtberg | Chalmers Tekniska Högskola | 2014 | 1 |