AlphaGeometry 25, Xcas 40 (international math olympiads)
AlphaGeometry 25, Xcas 40 (international math olympiads)
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
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
Re: alpha geometry
Version 1 following the statement
@oim2009p2
Version 2 using the less obvious AlphaGeometry construction
oim 2009 p2
@oim2009p2
Version 2 using the less obvious AlphaGeometry construction
oim 2009 p2