Výsledky vyhledávání - "Cyrille Chenavier"

Report

A lattice formulation of the F4 completion procedure

Autor: Cyrille, Chenavier

We write a procedure for constructing noncommutative Groebner bases. Reductions are done by particular linear projectors, called reduction operators. The operators enable us to use a lattice construction to reduce simultaneously each S-polynomial int

Externí odkaz: http://arxiv.org/abs/1703.02077

Zobrazit plný text záznamu

A lattice formulation of the noncommutative F4 procedure

Autor: Cyrille Chenavier

Publikováno v: International Journal of Algebra and Computation. 29:23-40

We introduce a new procedure for constructing noncommutative Gröbner bases using a lattice formulation of completion. This leads to a lattice description of the noncommutative [Formula: see text] procedure. Our procedure is based on the lattice stru

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::5797493f6708948c155871c867372904
https://doi.org/10.1142/s0218196718500613

Zobrazit plný text záznamu

Confluence of algebraic rewriting systems

Autor: Cyrille Chenavier, Benjamin Dupont, Philippe Malbos

Publikováno v: HAL

Convergent rewriting systems on algebraic structures give methods to solve decision problems, to prove coherence results, and to compute homological invariants. These methods are based on higher-dimensional extensions of the critical branching lemma

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::444dfd2708841a82029aeec46896d2e9
https://hal.science/hal-02945665v2

Zobrazit plný text záznamu

Compatible rewriting of noncommutative polynomials for proving operator identities

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

Publikováno v: ISSAC

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, since it may not be compatible with domains and codomains of the corre

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::64d09617bb04bf2d1b25a839a3b4573e
https://doi.org/10.1145/3373207.3404047

Zobrazit plný text záznamu

A geometric stabilization of planar switched systems

Autor: Giorgio Valmorbida, Rosane Ushirobira, Cyrille Chenavier

Publikováno v: IFAC 2020-21st IFAC World Congress
IFAC 2020-21st IFAC World Congress, Jul 2020, Berlin, Germany

International audience; In this paper, we investigate a particular class of switching functions between two linear systems in the plan. The considered functions are defined in terms of geometric constructions. More precisely, we introduce two criteri

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::76a70b5581677763eab3bfddd31f21d9
https://hal.science/hal-02366928v2/file/notes.pdf

Zobrazit plný text záznamu

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

Autor: Laurentiu Hetel, Rosane Ushirobira, Cyrille Chenavier

Publikováno v: ECC 2020-18th European Control Conference
ECC 2020-18th European Control Conference, May 2020, Saint Petersburg, Russia. ⟨10.23919/ECC51009.2020.9143862⟩
ECC 2020-18th European Control Conference, May 2020, Saint Petersburg, Russia. 2020
ECC

In this paper, we propose a new method for investigating the stability of discrete-time switched linear systems by means of linear algebra techniques. Exponential stability of such systems is equivalent to the existence of solutions of linear matrix

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1403cad5ef6c36120484dbe19f935982
https://hal.science/hal-02069712v3/document

Zobrazit plný text záznamu

Topological rewriting systems applied to standard bases and syntactic algebras

Autor: Cyrille Chenavier

Publikováno v: Journal of Algebra
Journal of Algebra, Elsevier, In press, 550, pp.410-431. ⟨10.1016/j.jalgebra.2019.12.007⟩
Journal of Algebra, In press, 550, pp.410-431. ⟨10.1016/j.jalgebra.2019.12.007⟩

International audience; We introduce topological rewriting systems as a generalisation of abstract rewriting systems, where we replace the set of terms by a topological space. Abstract rewriting systems correspond to topological rewriting systems for

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f9372aadb33dce2e0774313aec20a612
https://hal.archives-ouvertes.fr/hal-02355020

Zobrazit plný text záznamu

Syzygies among reduction operators

Autor: Cyrille Chenavier

Publikováno v: Journal of Pure and Applied Algebra
Journal of Pure and Applied Algebra, 2019, ⟨10.1016/j.jpaa.2018.04.017⟩
Journal of Pure and Applied Algebra, Elsevier, 2019, ⟨10.1016/j.jpaa.2018.04.017⟩

International audience; We introduce the notion of syzygy for a set of reduction operators and relate it to the notion of syzygy for presentations of algebras. We give a method for constructing a linear basis of the space of syzygies for a set of red

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d1863e1dc78c7dcc53fb2a786b6c67ba
https://hal.science/hal-01578555

Zobrazit plný text záznamu

Quotients of the magmatic operad: lattice structures and convergent rewrite systems

Autor: Samuele Giraudo, Cyrille Chenavier, Christophe Cordero

Publikováno v: Experimental Mathematics
Experimental Mathematics, Taylor & Francis, 2019, ⟨10.1080/10586458.2019.1577768⟩

We study quotients of the magmatic operad, that is the free nonsymmetric operad over one binary generator. In the linear setting, we show that the set of these quotients admits a lattice structure and we show an analog of the Grassmann formula for th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bcdbb7fa5a097c209d8a648b33ed47c7
http://arxiv.org/abs/1809.05083

Zobrazit plný text záznamu

Generalizations of the associative operad and convergent rewrite systems

Autor: Cyrille Chenavier, Samuele Giraudo, Christophe Cordero

Publikováno v: EasyChair Preprints.

The associative operad is the quotient of the magmatic operad by the operad congruence identifying the two binary trees of degree $2$. We introduce here a generalization of the associative operad depending on a nonnegative integer $d$, called $d$-com

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::05693257753b33305cd03c4bd437ec7f
https://doi.org/10.29007/mfnh

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání