Géoproof Le projet GEOPROOF est une application de géométrie dynamique avec des caractéristiques relatives à la preuve.
Télécharger maintenant

Géoproof Classement & Résumé

Géoproof Mots clés

dynamique Géométrie Géométrie dynamique l'application de la géométrie preuves théores Géoproof

Géoproof La description

Le projet GeOproof est une application de géométrie dynamique avec des caractéristiques relatives à la preuve. Le projet GeOproof est une application de géométrie dynamique avec des caractéristiques relatives à la preuve.La peut communiquer avec l'assistant de preuve de la Coq pour effectuer des preuves de théorèmes automatiques et interactives. Le projet consistant à produire un logiciel d'épreuve interactif pour la géométrie.Geoproof peut communiquer avec l'assistant de preuve de la Coq à Effectuez des preuves automatiques et interactives de théorèmes de géométrie. Le géoproof est développé principalement par Julien Narboux d'un projet appelé drggeocaml initié par Nicolas Franoi. Voici quelques caractéristiques essentielles de «géoproof»: · Les calculs sont effectués à l'aide de la précision arbitraire grâce à la bibliothèque de Creel de Jean-Christophe Fillitre. · Certains théorèmes peuvent être vérifiés à l'aide des méthodes de prouvage des théorématiques automatisées mises en uvre par John Harrison. · Le géoproof peut communiquer avec Coqide (une interface utilisateur pour Coq). L'utilisateur peut construire une construction à l'aide de la géoproof et la formule correspondante est automatiquement traduite par la syntaxe de Coq.

Géoproof Logiciels associés