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.
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
"On n'est pas dans le futurisme, mais dans un drame bourgeois ou un thriller atmosphérique"
L'auteur se glisse en reporter discret au sein de sa propre famille pour en dresser un portrait d'une humanité forte et fragile
Au Rwanda, l'itinéraire d'une femme entre rêve d'idéal et souvenirs destructeurs
Participez et tentez votre chance pour gagner des livres !
