Skip to contents

  1. Kreuzer, Martin [Author]; Robbiano, Lorenzo [Author]

    Computational commutative algebra

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2000-

  2. Bronstein, Manuel [Editor] ; Symbolic Rewriting Techniques Workshop 1995 Ascona

    Symbolic rewriting techniques : [contains invited and contributed papers to the Symbolic Rewriting Techniques Workshop, which was held in the Centro Stefano Franscini in Ascona, Switzerland, from April 30 to May 4, 1995]

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Basel; Boston; Berlin: Birkhäuser, 1998

    Published in: Progress in computer science and applied logic ; 15

  3. Schmidt, Natalia [Author]; Zimmermann, Karl-Heinz [Author] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Eingebettete Systeme

    Graver bases and universal gröbner bases for linear codes

    Articles
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2015

    Published in: International journal of pure and applied mathematics ; 98(2015), 4, Seite 419-441

  4. Junges, Sebastian [Other]

    On Gröbner bases in the context of satisfiability-modulo-theories solving over the real numbers (extended version)

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Aachen: RWTH Aachen, Department of Computer Science, 2013

    Published in: Aachener Informatik-Berichte ; 2013,8