3 papers
cs.LO2020
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…
math.RA2019
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…
math.KT2015
Confluence algebras and acyclicity of the Koszul complex
Cyrille Chenavier
The -Koszul algebras are -homogeneous algebras which satisfy an homological property. These algebras are characterised by their Koszul complex: an -homogeneous algebra is…