Théry, Laurent, 19..-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Théry, Laurent
VIAF ID: 216399062 (Personal)
Permalink: http://viaf.org/viaf/216399062
Preferred Forms
-
100 1 _
‡a
Théry, Laurent,
‡d
19..-....
-
100 1 _
‡a
Théry, Laurent
Works
| Title | Sources |
|---|---|
| Combinatorial approach for the automation in Coq of formal proofs in incidence projective geometry. |
|
| Composants mathématiques pour la théorie des groupes |
|
| Deep Inference for Graphical Theorem Proving |
|
| Inférence Profonde pour la Démonstration Graphique de Théorèmes. |
|
| Investigations in Computer-Aided Mathematics : Experimentation, Computation, and Certification |
|
| Mathematical components for group theory. |
|
| Urbaniste : un artiste ou un technicien ? Qui sont-ils ? Que font-ils ? Combien sont-ils ? 24 000 ? Quel pouvoir ? Et dans le monde ? Et demain ? |
|
