Démonstration automatique

Eléments de géométrie mécanique / Philippe BALBIANI

Titre : Eléments de géométrie mécanique Type de document : texte imprimé Auteurs : Philippe BALBIANI ; Vincent DUGAT ; Luis FARIÑAS DEL CERRO ; Anne LOPEZ Editeur : Hermès Science Publications Année de publication : 1994 Importance : 168 p. ISBN/ISSN/EAN : 978-2-86601-420-9 Note générale : Table des matières. Avant-propos. Conclusion. Bibliographie. Annexe. Catégories : :Théorèmes:Démonstration automatique Géométrie Programmation géométrique Théorèmes Index. décimale : 516 Géométrie Résumé : Les visages de la géométrie. Des méthodes de déduction automatique pour la géométrie. Résolutions d'équations par la réecriture. Problème d'unification géométrique.

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00000741	516 BAL	Ouvrage	BIBLIOTHÈQUE - ACCÈS LIBRE	500 - Sciences - Mathématiques	Disponible