Cohen, Cyril, 1985-...
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 305403169 (Personal)
Permalink: http://viaf.org/viaf/305403169
Preferred Forms
-
100 1 _
‡a
Cohen, Cyril,
‡d
1985-...
Works
| Title | Sources |
|---|---|
| Formalisation des nombres algébriques : construction et théorie du premier ordre |
|
| Formalisations en Coq pour la décision de problèmes en géométrie algébrique réelle |
|
| Formalized algebraic numbers : construction and first-order theory. |
|
| Outils pour la formalisation en analyse classique : une étude de cas en théorie du contrôle |
|
