Geometry theorem proving by Gröbner bases

Shuichi Moritsugu; Chisato Arai

doi:10.1145/1504347.1504366

Geometry theorem proving by Gröbner bases

ACM Communications in Computer Algebra ◽

10.1145/1504347.1504366 ◽

2009 ◽

Vol 42 (3) ◽

pp. 158-159

Author(s):

Shuichi Moritsugu ◽

Chisato Arai

Keyword(s):

Theorem Proving ◽

Gröbner Bases ◽

Grobner Bases ◽

Geometry Theorem Proving

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

Geometry theorem proving in vector spaces by means of Gröbner bases

Proceedings of the 1993 international symposium on Symbolic and algebraic computation - ISSAC '93 ◽

10.1145/164081.164144 ◽

1993 ◽

Cited By ~ 8

Author(s):

Sabine Stifter

Keyword(s):

Theorem Proving ◽

Gröbner Bases ◽

Grobner Bases ◽

Vector Spaces ◽

Geometry Theorem Proving

Download Full-text

Gröbner Bases Applied to Geometric Theorem Proving and Discovering

Gröbner Bases and Applications ◽

10.1017/cbo9780511565847.016 ◽

1998 ◽

pp. 281-302 ◽

Cited By ~ 13

Author(s):

Dongming Wang

Keyword(s):

Theorem Proving ◽

Gröbner Bases ◽

Grobner Bases ◽

Geometric Theorem

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

Geometry theorem proving using Hilbert's Nullstellensatz

Proceedings of the fifth ACM symposium on Symbolic and algebraic computation - SYMSAC '86 ◽

10.1145/32439.32479 ◽

1986 ◽

Cited By ~ 39

Author(s):

Deepak Kapur

Keyword(s):

Theorem Proving ◽

Geometry Theorem Proving

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