AlphaGeometry 25, Xcas 40 (international math olympiads)

[parisse]

For English solutions, skip this message.

J'ai rédigé un petit texte sur la comparaison AlphaGeometry/Xcas ici https://www-fourier.univ-grenoble-alpes ... hageo.html.
La solution qui suit est commentée en français, elle correspond à la première construction commentée dans l'article de Nature de AlphaGeometry. Il y a plus loin une solution en anglais de oim2015 (dans l'ordre chronologique des problèmes).
OIM 2015

[parisse]

oim2000p1

[parisse]

oim2000p6

[parisse]

oim 2002 p2

[parisse]

oim2003p4

[parisse]

oim2004p1

[parisse]

@oim2004p5

[parisse]

oim2005p5

[parisse]

@oim2007p4

[parisse]

oim 2007 p2

[parisse]

oim 2008 p1

[parisse]

oim 2008 p6

[parisse]

Version 1 following the statement
@oim2009p2

Version 2 using the less obvious AlphaGeometry construction
oim 2009 p2

[parisse]

oim 2010 p2

[parisse]

oim 2010 p4