comprehensive gröbner systems Recently Published Documents

A Survey on Algorithms for Computing Comprehensive Gröbner Systems and Comprehensive Gröbner Bases

Journal of Systems Science and Complexity ◽

10.1007/s11424-019-8357-z ◽

2019 ◽

Vol 32 (1) ◽

pp. 234-255 ◽

Author(s):

Dong Lu ◽

Yao Sun ◽

Dingkang Wang

Keyword(s):

Gröbner Bases ◽

Grobner Bases ◽

Comprehensive Gröbner systems in PBW algebras, Bernstein–Sato ideals and holonomic D-modules

Journal of Symbolic Computation ◽

10.1016/j.jsc.2017.11.010 ◽

2018 ◽

Vol 89 ◽

pp. 146-170 ◽

Author(s):

Katsusuke Nabeshima ◽

Katsuyoshi Ohara ◽

Shinichi Tajima

Keyword(s):

D Modules ◽

Solving Parametric Ideal Membership Problems and Computing Integral Numbers in a Ring of Convergent Power Series Via Comprehensive Gröbner Systems

Mathematics in Computer Science ◽

10.1007/s11786-018-0354-4 ◽

2018 ◽

Vol 13 (1-2) ◽

pp. 185-194 ◽

Author(s):

Katsusuke Nabeshima ◽

Shinichi Tajima

Keyword(s):

Power Series ◽

Convergent Power Series ◽

Ideal Membership ◽

Comprehensive Gröbner Systems ◽

Membership Problems

Comprehensive Gröbner Systems and Bases

The Gröbner Cover - Algorithms and Computation in Mathematics ◽

10.1007/978-3-030-03904-2_3 ◽

2018 ◽

pp. 41-66

Author(s):

Antonio Montes

Keyword(s):

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '17 ◽

Parametric Greatest Common Divisors using Comprehensive Gröbner Systems

10.1145/3087604.3087621 ◽

2017 ◽

Cited By ~ 2

Author(s):

Kosaku Nagasaka

Keyword(s):

Comprehensive Gröbner Systems ◽

Greatest Common Divisors

Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '16 ◽

Comprehensive Gröbner Systems in Rings of Differential Operators, Holonomic D-modules and B-functions

10.1145/2930889.2930918 ◽

2016 ◽

Author(s):

Katsusuke Nabeshima ◽

Katsuyoshi Ohara ◽

Shinichi Tajima

Keyword(s):

Differential Operators ◽

D Modules ◽

Rings Of Differential Operators ◽

Solving the perspective-three-point problem using comprehensive Gröbner systems

Journal of Systems Science and Complexity ◽

10.1007/s11424-015-4310-y ◽

2016 ◽

Vol 29 (5) ◽

pp. 1446-1471 ◽

Author(s):

Jie Zhou ◽

Dingkang Wang

Keyword(s):

Point Problem ◽

On QE Algorithms over an Algebraically Closed Field Based on Comprehensive Gröbner Systems

Mathematics in Computer Science ◽

10.1007/s11786-015-0237-x ◽

2015 ◽

Vol 9 (3) ◽

pp. 267-281 ◽

Cited By ~ 2

Author(s):

Ryoya Fukasaku ◽

Shutaro Inoue ◽

Yosuke Sato

Keyword(s):

Closed Field ◽

Algebraically Closed Field ◽

Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '15 ◽

Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems

10.1145/2755996.2756646 ◽

2015 ◽

Cited By ~ 9

Author(s):

Ryoya Fukasaku ◽

Hidenao Iwane ◽

Yosuke Sato

Keyword(s):

Quantifier Elimination ◽