AlphaGeometry 25, Xcas 40 (international math olympiads)

Répondre
parisse
Messages : 5743
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :
Contacter parisse

Re: alpha geometry

Message par parisse » lun. janv. 22, 2024 9:02 pm

oim2021p4
Haut
parisse
Messages : 5743
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :
Contacter parisse

Re: alpha geometry

Message par parisse » mar. janv. 23, 2024 11:32 am

oim 2020 p1
Haut
parisse
Messages : 5743
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :
Contacter parisse

Re: alpha geometry

Message par parisse » mar. janv. 23, 2024 4:34 pm

oim 2009 p4
Haut
parisse
Messages : 5743
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :
Contacter parisse

Re: AlphaGeometry 25, Xcas 40 (international math olympiads)

Message par parisse » mer. janv. 24, 2024 9:40 pm

oim2005p1
Haut
parisse
Messages : 5743
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :
Contacter parisse

Re: AlphaGeometry 25, Xcas 40 (international math olympiads)

Message par parisse » jeu. janv. 25, 2024 7:34 am

oim 2001 p1
Haut
parisse
Messages : 5743
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :
Contacter parisse

Re: AlphaGeometry 25, Xcas 40 (international math olympiads)

Message par parisse » jeu. janv. 25, 2024 4:28 pm

oim 2001 p5
Haut
parisse
Messages : 5743
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :
Contacter parisse

Re: AlphaGeometry 25, Xcas 40 (international math olympiads)

Message par parisse » jeu. janv. 25, 2024 9:56 pm

oim 2014 p3
Haut
parisse
Messages : 5743
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :
Contacter parisse

Re: AlphaGeometry 25, Xcas 40 (international math olympiads)

Message par parisse » ven. janv. 26, 2024 1:15 pm

oim 2006 p1
Haut
parisse
Messages : 5743
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :
Contacter parisse

Re: AlphaGeometry 25, Xcas 40 (international math olympiads)

Message par parisse » lun. janv. 29, 2024 1:02 pm

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
Haut
parisse
Messages : 5743
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :
Contacter parisse

Re: AlphaGeometry 25, Xcas 40 (international math olympiads)

Message par parisse » mar. janv. 30, 2024 8:06 am

@oim2023p2
Haut
parisse
Messages : 5743
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :
Contacter parisse

Re: AlphaGeometry 25, Xcas 40 (international math olympiads)

Message par parisse » mar. janv. 30, 2024 6:02 pm

@oim2023p6
Haut
alb
Messages : 1320
Inscription : ven. août 28, 2009 3:34 pm

Re: AlphaGeometry 25, Xcas 40 (international math olympiads)

Message par alb » ven. févr. 02, 2024 4:57 pm

Pour oim2000p6
La première ligne renvoie GIAC_ERROR: projection(A2,A3,A1) Erreur: Type Argument Incorrect
Haut
parisse
Messages : 5743
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :
Contacter parisse

Re: AlphaGeometry 25, Xcas 40 (international math olympiads)

Message par parisse » ven. févr. 02, 2024 7:40 pm

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).
Haut
alb
Messages : 1320
Inscription : ven. août 28, 2009 3:34 pm

Re: AlphaGeometry 25, Xcas 40 (international math olympiads)

Message par alb » ven. févr. 02, 2024 9:46 pm

Ça marche :-)
Haut
Répondre

Revenir à « Géométrie »