Cyrille Chenavier

According to our database, Cyrille Chenavier authored at least 11 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Confluence of algebraic rewriting systems.

Cyrille Chenavier, Benjamin Dupont, Philippe Malbos

Math. Struct. Comput. Sci., August, 2022

2021

Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems.

Cyrille Chenavier, Christophe Cordero, Samuele Giraudo

Exp. Math., 2021

2020

Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions.

Cyrille Chenavier, Maxime Lucas

CoRR, 2020

Compatible rewriting of noncommutative polynomials for proving operator identities.

Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

Normal forms of matrix words for stability analysis of discrete-time switched linear systems.

Cyrille Chenavier, Rosane Ushirobira, Laurentiu Hetel

Proceedings of the 18th European Control Conference, 2020

2019

A lattice formulation of the noncommutative F4 procedure.

Cyrille Chenavier

Int. J. Algebra Comput., 2019

Topological rewriting systems applied to standard bases and syntactic algebras.

Cyrille Chenavier

CoRR, 2019

2018

Reduction operators and completion of rewriting systems.

Cyrille Chenavier

J. Symb. Comput., 2018

2017

Syzygies among reduction operators.

Cyrille Chenavier

CoRR, 2017

A lattice formulation of the F4 completion procedure.

Cyrille Chenavier

CoRR, 2017

2016

Le treillis des opérateurs de réduction : applications aux bases de Gröbner non commutatives et en algèbre homologique. (The lattice of reduction operators: applications to noncommutative Gröbner bases and homological algebra).

Cyrille Chenavier

PhD thesis, 2016