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.
Seminars
- 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.