Repository landing page

We are not able to resolve this OAI Identifier to the repository landing page. If you are the repository manager for this record, please head to the Dashboard and adjust the settings.
oaioai:HAL:hal-01489200v2

A Lattice Formulation of the F 4 Completion Procedure

Authors
Publication date
1 January 2019
Publisher
'World Scientific Pub Co Pte Lt'
Doi

    Abstract

    International audienceWe 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 F4 procedure. Our procedure is based on the lattice structure of reduction operators which provides a lattice description of the confluence property. We relate reduction operators to noncommutative Gröbner bases, we show the Diamond Lemma for reduction operators and we deduce the lattice interpretation of the F4 procedure. Finally, we illustrate our procedure with a complete example

    Similar works

    Full text

    thumbnail-image

    Hal-Diderot

    redirect
    oaioai:HAL:hal-01489200v2
    Last time updated on 10/04/2018

    This paper was published in Hal-Diderot.

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.