AlphaGeometry 25, Xcas 40 (international math olympiads)
Publié : jeu. janv. 18, 2024 7:07 am
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