Cyrille Chenavier

13 papers B 1Journal 10Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Topological closure of formal powers series ideals and application to topological rewriting theory.
J. Symb. Comput.
Cyrille Chenavier, Thomas Cluzeau, Adya Musson-Leymarie
2022 J jnl
Confluence of algebraic rewriting systems.
Math. Struct. Comput. Sci.
Cyrille Chenavier, Benjamin Dupont, Philippe Malbos
2021 J jnl
Quotients of the Magmatic Operad: Lattice Structures and Convergent Rewrite Systems.
Exp. Math.
Cyrille Chenavier, Christophe Cordero, Samuele Giraudo
2020 B conf
Compatible rewriting of noncommutative polynomials for proving operator identities.
ISSAC
Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
2020 J jnl
Compatible rewriting of noncommutative polynomials for proving operator identities.
CoRR
Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab, Georg Regensburger
2020 — conf
Normal forms of matrix words for stability analysis of discrete-time switched linear systems.
ECC
Cyrille Chenavier, Rosane Ushirobira, Laurentiu Hetel
2020 J jnl
Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions.
CoRR
Cyrille Chenavier, Maxime Lucas
2019 J jnl
A lattice formulation of the noncommutative F4 procedure.
Int. J. Algebra Comput.
Cyrille Chenavier
2019 J jnl
Topological rewriting systems applied to standard bases and syntactic algebras.
CoRR
Cyrille Chenavier
2018 J jnl
Reduction operators and completion of rewriting systems.
J. Symb. Comput.
Cyrille Chenavier
2017 J jnl
A lattice formulation of the F4 completion procedure.
CoRR
Cyrille Chenavier
2017 J jnl
Syzygies among reduction operators.
CoRR
Cyrille Chenavier
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