Cyrille Chenavier

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Topological closure of formal power series ideals and application to topological rewriting theory (available as arXiv preprint)	N/A	Paper
Topological closure of formal powers series ideals and application to topological rewriting theory Journal of Symbolic Computation	2025-02-07	Paper
Confluence of algebraic rewriting systems Mathematical Structures in Computer Science	2023-02-28	Paper
Quotients of the magmatic operad: lattice structures and convergent rewrite systems Experimental Mathematics	2021-12-16	Paper
Compatible rewriting of noncommutative polynomials for proving operator identities Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation	2021-01-22	Paper
Topological rewriting systems applied to standard bases and syntactic algebras Journal of Algebra	2020-02-13	Paper
A lattice formulation of the noncommutative \(F_4\) procedure International Journal of Algebra and Computation	2019-03-27	Paper
Syzygies among reduction operators Journal of Pure and Applied Algebra	2018-10-10	Paper
Generalizations of the associative operad and convergent rewrite systems	2018-08-19	Paper
Reduction operators and completion of rewriting systems Journal of Symbolic Computation	2017-08-24	Paper
Confluence algebras and acyclicity of the Koszul complex Algebras and Representation Theory	2016-06-14	Paper

Research outcomes over time

This page was built for person: Cyrille Chenavier