9 citations · 17 across the 9 of their papers we have counts for
12 papers
Schreyer resolution of modules over formal power series
Cyrille Chenavier, Thomas Cluzeau, Adya Musson-Leymarie
Standard bases of modules over algebras of formal power series play the same role as Gröbner bases of modules over polynomial algebras. In this article, we first prove the analogue…
Topological closure of formal power series ideals and application to topological rewriting theory
Cyrille Chenavier, Thomas Cluzeau, Adya Musson-Leymarie
We investigate formal power series ideals and their relationship to topological rewriting theory. Since commutative formal power series algebras are Zariski rings, their ideals are…
Strategies for linear rewriting systems: link with parallel rewriting and involutive divisions
Cyrille Chenavier, Maxime Lucas
We study rewriting systems whose underlying set of terms is equipped with a vector space structure over a given field. We introduce parallel rewriting relations, which are rewritin…
Confluence of algebraic rewriting systems
Cyrille Chenavier, Benjamin Dupont, Philippe Malbos
Convergent rewriting systems on algebraic structures give methods to solve decision problems, to prove coherence results, and to compute homological invariants. These methods are b…
Compatible rewriting of noncommutative polynomials for proving operator identities
Cyrille Chenavier, Clemens Hofstadler, Clemens G. Raab +1
The goal of this paper is to prove operator identities using equalities between noncommutative polynomials. In general, a polynomial expression is not valid in terms of operators,…
Topological rewriting systems applied to standard bases and syntactic algebras
Cyrille Chenavier
We propose a functional description of rewriting systems on topological vector spaces. We introduce the topological confluence property as an approximation of the confluence proper…