Sophie Bernard, Cyril Cohen, Assia Mahboubi, Pierre-Yves Strub, Unsolvability of the Quintic Formalized in Dependent Type Theory, ITP 2021 - 12th International Conference on Interactive Theorem Proving, Jun 2021, Rome / Virtual, France (hal:hal-03136002)
Henri Lombardi, Assia Mahboubi, Théories géométriques pour l’algèbre des nombres réels sans test de signe ni axiome de choix dépendant (arXiv:2406.15218)
Last revised on July 18, 2024 at 16:42:47. See the history of this page for a list of all contributions to it.