Presentations of conferences papers

• Computation of Koszul homology and application to partial differential systems, SSSC 2022.
• Compatible rewriting of noncommutative polynomials for proving operator identities, ISSAC 2020.
  The video of the presentation is available here.
• A geometric stabilization of planar switched systems, IFAC Wolrd Congress 2020.
• Normal forms of matrix words for stability analysis of discrete-time switched linear systems, ECC 2020.

Other talks

• Topological closure of formal power series ideals and application to topological rewriting theory.
• Computation of Koszul homology and application to partial differential systems (long version of the SSSC 2022 presentation).
• Introduction to linear rewriting: Gröbner bases and reduction operators.
• Topological rewriting systems applied to standard bases and syntactic algebras.
• Presenting isomorphic finitely presented modules by equivalent matrices: a constructive approach.
• Reduction operators: completion, syzygies and Koszul duality.
• Quotients of the magmatic operad: lattice structures and convergent rewrite systems.
• Syzygies among reduction operators.