Eléments de géométrie mécanique

Eléments de géométrie mécanique examine deux grandes classes de géométrie : la
géométrie synthétique, construite sur la notion de point, à partir de laquelle
Euclide a développé son projet, et la géométrie des corps, construite sur la
notion de sphère, que l'on pourrait appeler géométrie de la perception. Après
l'examen des méthodes de déduction automatique en géométrie, on montre comment
mécaniser la notion de preuve géométrique en raisonnant directement sur les
figures. Un intérêt tout particulier est accordé à la résolution de
contraintes géométriques qui est un problème essentiel en informatique.