AlphaGeometry 25, Xcas 40 (international math olympiads)
Re: AlphaGeometry 25, Xcas 40 (international math olympiads)
This problem was the hardest for me to get a complete solution. The synthetic geometry solution proposed on the IMO site is not straightforward, and unless I missed something, they do not explain how to construct a figure satisfying the constraints.
oim2018p6
oim2018p6
Re: AlphaGeometry 25, Xcas 40 (international math olympiads)
Pour oim2000p6
La première ligne renvoie GIAC_ERROR: projection(A2,A3,A1) Erreur: Type Argument Incorrect
La première ligne renvoie GIAC_ERROR: projection(A2,A3,A1) Erreur: Type Argument Incorrect
Re: AlphaGeometry 25, Xcas 40 (international math olympiads)
Il faut purger le cache pour recharger giacwasm.js et vérifier qu'on utilise bien la version wasm (je n'ai plus la machine où je compilais la version asmjs). J'ai en effet modifié la commande projection pour pouvoir écrire directement projection(A,B,C) au lieu de projection(droite(A,B),C).