Version Bêta 4.2.0.
Cette version est en cours de développement.
Geometrix 4.2(bêta) 29/09/2016
L'utilisation d'un troisième langage de programmation (YAP) , de
nouveaux réglages du moteur d'inférences principal et de nouvelles
heuristiques ont permis d'obtenir une accélération considérable du
moteur d'inférences. La différence de performance est très sensible à
partir de figures comportant plus de 5 points. Le gain en performance
est généralement d'un facteur 2 ou 3. Au delà de 11 ou 12 points
l'accélération augmente d'un facteur 10 par rapport à l'ancienne
version.
Géométrix fonctionne sous Linux à condition d'installer et d'utiliser Wine.
Une interface très légèrement modifiée a permis d'offrir à l'élève une
deuxième façon de procéder au cours de la rédaction de sa
démonstration. Géométrix n'intervient quasiment pas lors de
la démonstration rédigée par l'élève. Ce n'est que lorsque l'élève le
demande que Géométrix corrige sa démonstration en offrant un editeur
qui lui permet de revenir sur chacun des pas et de les modifier ou de
les corriger a posteriori. Cette façon de procéder m'a été suggérée par
Le Professeur Martin Acosta (Universidad Industrial de Bogota )
 Geometrix 4.2 (bêta) 29/09/2016
|
Geometrix