Présentation de Yuclid et Newclid 3.0 ; les systèmes responsables de notre succès sur le Problème 2 et contribuant à notre performance de niveau Médaille d'Or à l'IMO. Nous sommes impatients de voir comment les chercheurs et les mathématiciens vont les utiliser dans leur propre travail alors que nous poursuivons notre quête pour le MSI /1
2,77K