Chapitre D'ouvrage
Année : 2018
Julien Narboux : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01779452
Soumis le : jeudi 26 avril 2018-15:49:37
Dernière modification le : jeudi 11 avril 2024-13:08:14
Dates et versions
Licence
Copyright (Tous droits réservés)
Identifiants
- HAL Id : hal-01779452 , version 1
Citer
Julien Narboux, Predrag Janicic, Jacques Fleuriot. Computer-assisted Theorem Proving in Synthetic Geometry. Meera Sitharam; Audrey St. John; Jessica Sidman. Handbook of Geometric Constraint Systems Principles, Chapman and Hall/CRC , inPress, Discrete Mathematics and Its Applications, 1498738915. ⟨hal-01779452⟩
Collections
152
Consultations
0
Téléchargements