ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close