Géoproof pour Linux

Le projet consiste à produire un logiciel d'épreuve interactif pour la géométrie.
Télécharger maintenant

Géoproof pour Linux Classement & Résumé

Publicité

  • Rating:
  • Licence:
  • Freeware
  • Nom de l'éditeur:
  • Julien Narboux
  • Site Internet de l'éditeur:
  • Systèmes d'exploitation:
  • Linux
  • Taille du fichier:
  • 25.19MB

Géoproof pour Linux Mots clés


Géoproof pour Linux La description

Ce programme est un logiciel de géométrie interactif avec des caractéristiques relatives à la preuve. Le projet consiste à produire un logiciel d'épreuve interactif pour la géométrie. Le géoproof peut communiquer avec l'assistant de preuve de Coq pour effectuer des preuves automatiques et interactives de théorèmes de géométrie. Geoproof pour Linux est développé principalement par Julien Narboux d'un projet appelé drgueocaml initié par Nicolas François. Caractéristiques Liste de fonctions détaillées: -Les types d'objets géométriques: points, lignes, cercles, vecteurs et segments -Triché transformations: symétrie centrale, traduction et symétrie axiale - neuf façons de construire un point -five façons de construire une ligne -Three façons de construire un cercle -Text étiquettes avec des pièces dynamiques pouvant être les suivantes - Théorème prétomé à l'aide de


Géoproof pour Linux Logiciels associés

À propos de nous