Grobner Bases As Characteristic Sets

Geometric And Combinatorial Aspects Of Commutative Algebra ◽

10.1201/9780203908013.ch8 ◽

2001 ◽

Author(s):

Giuseppa Carra Ferro

Keyword(s):

Gröbner Bases ◽

Grobner Bases ◽

Characteristic Sets

Download Full-text

Characteristic Sets and Gröbner Bases in Geometry Theorem Proving

Algebraic Techniques ◽

10.1016/b978-0-12-046370-1.50008-5 ◽

1989 ◽

pp. 33-92 ◽

Cited By ~ 2

Author(s):

SHANG-CHING CHOU ◽

WILLIAM F. SCHELTER ◽

JIN-GEN YANG

Keyword(s):

Theorem Proving ◽

Gröbner Bases ◽

Grobner Bases ◽

Characteristic Sets ◽

Geometry Theorem Proving

Download Full-text

On the Connection Between Ritt Characteristic Sets and Buchberger–Gröbner Bases

Mathematics in Computer Science ◽

10.1007/s11786-016-0279-8 ◽

2016 ◽

Vol 10 (4) ◽

pp. 479-492 ◽

Cited By ~ 8

Author(s):

Dongming Wang

Keyword(s):

Gröbner Bases ◽

Grobner Bases ◽

Characteristic Sets

Download Full-text

A case study of Grid Computing and computer algebra: parallel Gröbner Bases and Characteristic Sets

The Journal of Supercomputing ◽

10.1007/s11227-007-0103-y ◽

2007 ◽

Vol 41 (1) ◽

pp. 53-62

Author(s):

Iyad A. Ajwa

Keyword(s):

Grid Computing ◽

Computer Algebra ◽

Gröbner Bases ◽

Grobner Bases ◽

Characteristic Sets

Download Full-text

An algorithm for constructing gröbner bases from characteristic sets and its application to geometry

Algorithmica ◽

10.1007/bf01840382 ◽

1990 ◽

Vol 5 (1-4) ◽

pp. 147-154 ◽

Cited By ~ 5

Author(s):

Shang-Ching Chou ◽

William F. Schelter ◽

Jin-Gen Yang

Keyword(s):

Gröbner Bases ◽

Grobner Bases ◽

Characteristic Sets

Download Full-text

Automated geometric reasoning: Dixon resultants, Gröbner bases, and characteristic sets

Automated Deduction in Geometry - Lecture Notes in Computer Science ◽

10.1007/bfb0022716 ◽

1997 ◽

pp. 1-36 ◽

Cited By ~ 4

Author(s):

Deepak Kapur

Keyword(s):

Gröbner Bases ◽

Grobner Bases ◽

Geometric Reasoning ◽

Characteristic Sets

Download Full-text

On W-characteristic sets of lexicographic Gröbner bases

ACM Communications in Computer Algebra ◽

10.1145/3338637.3338647 ◽

2019 ◽

Vol 52 (4) ◽

pp. 142-144

Author(s):

Chenqi Mou ◽

Dongming Wang

Keyword(s):

Gröbner Bases ◽

Grobner Bases ◽

Characteristic Sets

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