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.
Editeur : Hermes Science Publications
Publication : 1 juin 2008
Intérieur : Noir & blanc
Support(s) : Livre numérique eBook [PDF]
Contenu(s) : PDF
Protection(s) : Marquage social (PDF)
Taille(s) : 9,6 Mo (PDF)
Langue(s) : Français
Code(s) CLIL : 3051, 3052
EAN13 Livre numérique eBook [PDF] : 9782746234680
EAN13 (papier) : 9782866014209
4,99 €
3,49 €
4,49 € 2,99 €
23,99 € 9,99 €
Gérald Michiara, Jean-Yves Kruger
11,99 € 5,99 €
Gérald Michiara, Jean-Yves Kruger
11,99 € 5,99 €