Fields of interest
Algebraic rewriting: Higherdimensional rewriting, (non)commutative Gröbner bases, Janet bases.
Homological algebra. Algebraic coherence. Homotopical conditions of finite convergence.
Placticlike structures. Crystal structures.
Persistent homology. Topological Data Analysis.
History of mathematics: symbolic computation in the 20th century.
Publications
Repository of eprints and bibliographic databases :
ArXiv,
Hal,
MathSciNet,
zbMATH
GScholar.

Rewriting in internal monoids, in preparation.

Shuffle polygraphic resolutions for operads, (with Isaac Ren), in preparation.

Higherdimensional cartesian normalization strategies, (with Samuel Mimram), in preparation.

String of columns rewriting and placticlike data structures, (with Nohra Hage), in preparation.

Algebraic coherent confluence and higherdimensional globular Kleene algebras, (with Cameron Calk, Eric Goubault, and Georg Struth), 2020, submitted, arXiv:2006.16129.

Algebraic polygraphs modulo and linear rewriting, (with Cyrille Chenavier and Benjamin Dupont), 2020, arXiv:2004.14361.

Coherence of monoids by insertions and Chinese syzygies, (with Nohra Hage), 2019, submitted, arXiv:1901.09879, hal02015084.

Coherent confluence modulo relations and double groupoids, (with Benjamin Dupont), 2018, submitted, arXiv:1810.08184, hal01898868.

Coherence of string rewriting systems by decreasingness, (with Clément Alleaume), submitted, 2017, arXiv:1612.09193, hal01676936.

Maurice Janet’s algorithms on systems of linear partial differential equations, (with Kenji Iohara), Archive for History of Exact Sciences, to appear, 2020,
arXiv:1911.09703, hal02375192.

Timereversal homotopical properties of concurrent systems, (with Cameron Calk and Eric Goubault), Homology, Homotopy and Applications, Vol. 22, No. 2, pp. 3157, 2020.
arXiv:1812.05062, hal02015088.

From analytical mechanical problems to rewriting theory through M. Janet, (with Kenji Iohara), in Two algebraic byways from differential equations: Gröbner Bases and Quivers, Algorithms and Computation in Mathematics, vol. 28, Springer, 2020.
arXiv:1801.00053, hal01673715.

Noncommutative linear rewriting: applications and generalizations, in Two algebraic byways from differential equations: Gröbner Bases and Quivers, Algorithms and Computation in Mathematics, vol. 28, Springer, 2020.
hal01718880.

Convergent presentations and polygraphic resolutions of associative algebras, (with Yves Guiraud and Eric Hoffbeck), Mathematische Zeitschrift, Vol. 293, Issue 1–2, pp. 113–179, 2019.
arXiv:1406.0815, hal01006220v3.

Polygraphs of finite derivation type, (with Yves Guiraud), Mathematical Structures in Computer Science, Vol. 28, Issue 2, pp. 155201, 2018.
arXiv:1402.2587, hal00932845.

Knuth's coherent presentations of plactic monoids of type A, (with Nohra Hage), Algebras and Representation Theory, Vol. 20, Issue 5, pp. 1259–1288, 2017.
hal01359677, long version: arXiv:1609.01460.

Homological Computations for Term Rewriting Systems, (with Samuel Mimram), 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), LIPIcs. Leibniz Int. Proc. Inform., Vol. 52, pp. 27:127:17, 2016.
hal01678175.

Coherent presentations of Artin monoids, (with Stéphane Gaussent and Yves Guiraud), Compositio Mathematica, Vol. 151, No. 5, pp. 957998, 2015.
arXiv:1203.5358, hal00682233.

Eigenvalue method with symmetry and vibration analysis of cyclic structure, (with Aurélien Grolet and Fabrice Thouverez), 16th International Workshop on Computer Algebra in Scientific Computing (CASC 2014), Lecture Notes in Computer Science, SpringerVerlag, Vol. 8660, pp. 121137, 2014.
hal02084948.

A Homotopical Completion Procedure with Applications to Coherence of Monoids, (with Yves Guiraud and Samuel Mimram), 24th International Conference on Rewriting Techniques and Applications (RTA 2013), LIPIcs. Leibniz Int. Proc. Inform., Vol. 21, pp. 223238, 2013.
hal00818253.

Identities among relations for higherdimensional rewriting systems, (with Yves Guiraud) Séminaires et Congrès, Société Mathématique de France, Vol. 26, pp. 145161, 2013.
arXiv:0910.4538, hal00426228.

Higherdimensional normalisation strategies for acyclicity, (with Yves Guiraud), Advances in Mathematics, Vol. 231, No. 3–4, pp. 2294–2351, 2012.
arXiv:1011.0558, hal00531242.

Coherence in monoidal track categories, (with Yves Guiraud), Mathematical Structures in Computer Science, Vol. 22, Issue 6, pp. 931969, 2012.
arXiv:1004.1055, hal00470795.

Higherdimensional categories with finite derivation type, (with Yves Guiraud), Theory and Applications of Categories, Vol. 22, No. 18, pp. 420478, 2009.
arXiv:0810.1442, hal00326974.

Rewriting Systems and HochschildMitchell Homology, Electronic Notes in Theoretical Computer Science, Vol. 81, Elsevier, 2003.

Modelling through humancomputer interactions and mathematical discourse, (with G. M. da Nóbrega and J. Sallantin), Applied Logic Series, Vol. 25, pp. 293311, 2002.

The Blob: A Basic Topological Concept for "Hardwarefree" Distributed Computation, (with Frédéric Gruau) Lecture Notes in Computer Science, SpringerVerlag, Vol. 2509, pp. 151163, 2002.
Archives
Announcements
Journées LHC  Logique, homotopie, catégories, 2019, 1617 octobre 2019, Lyon.
Workshop Higherdimensional Rewriting and Applications 2018, HDRA 2018, September 7, Oxford, United Kingdom.
Workshop Higherdimensional Rewriting and Applications 2017, HDRA 2017, September 89, Oxford, United Kingdom.
6th International Workshop on Confluence, IWC 2017, September 8th 2017, Oxford, United Kingdom.
Conférence Catégories pour la théorie de l'homotopie et la réécriture, du 25 au 29 septembre 2017, CIRM, Marseille.
Workshop Higherdimensional Rewriting and Applications 2016, HDRA 2016, June 2526, Porto, Portugal.
KobeLyon Summer School On Quivers : Computational Aspects and Geometric Applications, July 2131, 2015, Kobe, Japan.
Workshop Higherdimensional Rewriting and Applications 2015, HDRA 2015, June 2829, Warsaw, Poland.
Conference Homotopy in Concurrency and Rewriting, June 911, 2015, Palaiseau.
Workshop Algebras, Operads and Rewriting, September 30 – October 3, 2014, SaintÉtienne.
Session thématique Mathematical Structures of Computation, 13 janvier  14 février 2014, Lyon.
Conférence Algebra and computation, 20 janvier  24 janvier 2014, Lyon.
École d'hiver Algebra and computation, 27 février  2 mars 2012, CIRM, Marseille, dans le cadre de la session Logic and interactions 2012, CIRM, Marseille, 30 Janvier  2 Mars 2012.
Conférence Operads and Rewriting, 24 Novembre 2011, Lyon.
Groupe de travail Invariants algébriques en informatique (20092010).
Rencontre ANR INVAL, Lyon, 2526 septembre 2008.
Rencontre ANR INVAL, Strasbourg, 9 novembre 2006.
Groupe de travail Frontières (2006).
Rencontre Simplicial and Cubical Sets and Knowledge Evolution in Distributed Systems, 34 mai 2004, Paris.
Projects.
Projet ANR Catégories, Homotopie et Réécriture.
Projet Formalisation du calcul algebrique.
Applied and Computational Algebraic Topology.