Recent publications
-
Shuffle polygraphic resolutions for operads,
(with Isaac Ren), Journal of the London Mathematical Society, Vol. 107, Issue 1, pp. 61-122, 2023.
DOI, arXiv, HAL
-
Algebraic coherent confluence and higher globular Kleene algebras,
(with Cameron Calk, Eric Goubault, and Georg Struth), Logical Methods in Computer Science, Vol. 18, Issue 4, pp. 9:1–9:43, 2022.
DOI, arXiv, HAL
-
Coherent confluence modulo relations and double groupoids,
(with Benjamin Dupont), Journal of Pure and Applied Algebra, Vol. 226, Issue 10, 107037, 2022.
DOI, arXiv, HAL
-
Confluence of algebraic rewriting systems, (with Cyrille Chenavier and Benjamin Dupont), Mathematical Structures in Computer Science, Vol. 32, Issue 7, 870-897, 2022
DOI, arXiv, HAL
-
Chinese syzygies by insertions, (with Nohra Hage), Semigroup Forum, Vol. 104, pp. 88-108, 2022.
DOI, arXiv, HAL
-
Abstract strategies and coherence, (with Cameron Calk and Eric Goubault), 19th International Conference on
Relational and Algebraic Methods in Computer Science (RAMICS 2021), Lecture Notes in Computer Science, Springer, Vol. 13027, pp. 108-125, 2021.
DOI, HAL
-
Completion in operads via essential syzygies, (with Isaac Ren), Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation (ISSAC 2021), Association for Computing Machinery, pp. 305-312, 2021.
DOI, HAL
-
Maurice Janet’s algorithms on systems of linear partial differential equations, (with Kenji Iohara), Archive for History of Exact Sciences, Vol. 75, pp. 43–81, 2021.
DOI, arXiv, HAL
Editorial
Announcements
-
-
-
Diplôme Universitaire Sciences et Usages du Numérique,
ouvert en formation initiale et continue.
Lectures notes
Further
Member of
