Gröbner Bases — Theory Refinement in the Mizar System

Lecture Notes in Computer Science - Mathematical Knowledge Management ◽

10.1007/11618027_20 ◽

2006 ◽

pp. 299-314 ◽

Cited By ~ 3

Author(s):

Christoph Schwarzweller

Keyword(s):

Gröbner Bases ◽

Grobner Bases ◽

Theory Refinement

Download Full-text

A Reachability Test for Systems over Polynomial Rings using Gröbner Bases

1993 American Control Conference ◽

10.23919/acc.1993.4792842 ◽

1993 ◽

Cited By ~ 1

Author(s):

L.C.G.J.M. Habets

Keyword(s):

Gröbner Bases ◽

Grobner Bases ◽

Polynomial Rings

Download Full-text

The 50th Anniversary of Gröbner Bases

10.2969/aspm/07710000 ◽

2018 ◽

Keyword(s):

Gröbner Bases ◽

50Th Anniversary ◽

Grobner Bases

Download Full-text

Gröbner bases for operads

Duke Mathematical Journal ◽

10.1215/00127094-2010-026 ◽

2010 ◽

Vol 153 (2) ◽

pp. 363-396 ◽

Cited By ~ 55

Author(s):

Vladimir Dotsenko ◽

Anton Khoroshkin

Keyword(s):

Gröbner Bases ◽

Grobner Bases

Download Full-text

Signature-based algorithms for Gröbner bases over tate algebras

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ◽

10.1145/3373207.3404035 ◽

2020 ◽

Author(s):

Xavier Caruso ◽

Tristan Vaccon ◽

Thibaut Verron

Keyword(s):

Gröbner Bases ◽

Grobner Bases

Download Full-text

Computation of free non-commutative gröbner bases over Z with Singular:Letterplace

Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation ◽

10.1145/3373207.3404052 ◽

2020 ◽

Cited By ~ 1

Author(s):

Viktor Levandovskyy ◽

Tobias Metzlaff ◽

Karim Abou Zeid

Keyword(s):

Gröbner Bases ◽

Grobner Bases

Download Full-text

Some theoretical problems when solving systems of polynomial equations using Gröbner bases

ACM SIGSAM Bulletin ◽

10.1145/122520.122523 ◽

1991 ◽

Vol 25 (2) ◽

pp. 24-27 ◽

Cited By ~ 1

Author(s):

S. Alasdair Buchanan

Keyword(s):

Gröbner Bases ◽

Grobner Bases ◽

Polynomial Equations ◽

Systems Of Polynomial Equations

Download Full-text

Partial Gröbner Bases for Multiobjective Integer Linear Optimization

SIAM Journal on Discrete Mathematics ◽

10.1137/070698051 ◽

2009 ◽

Vol 23 (2) ◽

pp. 571-595 ◽

Cited By ~ 8

Author(s):

Víctor Blanco ◽

Justo Puerto

Keyword(s):

Linear Optimization ◽

Gröbner Bases ◽

Grobner Bases ◽

Integer Linear Optimization

Download Full-text

Gröbner bases over fields with valuations

Mathematics of Computation ◽

10.1090/mcom/3321 ◽

2018 ◽

Vol 88 (315) ◽

pp. 467-483 ◽

Cited By ~ 7

Author(s):

Andrew J. Chan ◽

Diane Maclagan

Keyword(s):

Gröbner Bases ◽

Grobner Bases

Download Full-text

Using noncommutative Gröbner bases in solving partially prescribed matrix inverse completion problems

Linear Algebra and its Applications ◽

10.1016/s0024-3795(01)00382-2 ◽

2001 ◽

Vol 338 (1-3) ◽

pp. 171-199 ◽

Cited By ~ 1

Author(s):

F. Dell Kronewitter

Keyword(s):

Gröbner Bases ◽

Grobner Bases ◽

Matrix Inverse ◽

Completion Problems

Download Full-text

Cellular reductions of the Pommaret-Seiler resolution for Quasi-stable ideals

ACM Communications in Computer Algebra ◽

10.1145/3511528.3511537 ◽

2021 ◽

Vol 55 (3) ◽

pp. 102-106

Author(s):

Rodrigo Iglesias ◽

Eduardo Sáenz de Cabezón

Keyword(s):

Algebraic Geometry ◽

Commutative Algebra ◽

Gröbner Bases ◽

Grobner Bases ◽

Combinatorial Properties ◽

Pommaret Bases ◽

Involutive Bases

Involutive bases were introduced in [6] as a type of Gröbner bases with additional combinatorial properties. Pommaret bases are a particular kind of involutive bases with strong relations to commutative algebra and algebraic geometry[11, 12].

Download Full-text