References in zbMATH (referenced in 25 articles , 2 standard articles )

Showing results 1 to 20 of 25.
Sorted by year (citations)

1 2 next

  1. Wang, Dingkang; Wang, Hesong; Xiao, Fanghui: An extended GCD algorithm for parametric univariate polynomials and application to parametric Smith normal form (2020)
  2. Fukasaku, Ryoya; Iwane, Hidenao; Sato, Yosuke: On multivariate Hermitian quadratic forms (2019)
  3. Lu, Dong; Sun, Yao; Wang, Dingkang: A survey on algorithms for computing comprehensive Gröbner systems and comprehensive Gröbner bases (2019)
  4. Nabeshima, Katsusuke; Ohara, Katsuyoshi; Tajima, Shinichi: Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic (D)-modules (2018)
  5. Dehghani Darmian, Mahdi; Hashemi, Amir: Parametric FGLM algorithm (2017)
  6. Kapur, Deepak: Comprehensive Gröbner basis theory for a parametric polynomial ideal and the associated completion algorithm (2017)
  7. Zhou, Jie; Wang, Dingkang; Sun, Yao: Automated reducible geometric theorem proving and discovery by Gröbner basis method (2017)
  8. Chen, Zhenghong; Tang, Xiaoxian; Xia, Bican: Generic regular decompositions for parametric polynomial systems (2015)
  9. Fukasaku, Ryoya; Inoue, Shutaro; Sato, Yosuke: On QE algorithms over an algebraically closed field based on comprehensive Gröbner systems (2015)
  10. Kredel, Heinz: Parametric solvable polynomial rings and applications (2015)
  11. Kredel, Heinz: Comprehensive Gröbner bases in a Java computer algebra system (2014)
  12. Montes, Antonio; Recio, Tomás: Generalizing the Steiner-Lehmus theorem using the Gröbner cover (2014)
  13. Shibuta, Takafumi; Tajima, Shinichi: An algorithm for computing the truncated annihilating ideals for an algebraic local cohomology class (2014)
  14. Tang, XiaoXian; Chen, ZhengHong; Xia, BiCan: Generic regular decompositions for generic zero-dimensional systems (2014)
  15. Kapur, Deepak; Sun, Yao; Wang, Dingkang: An efficient algorithm for computing a comprehensive Gröbner system of a parametric polynomial system (2013)
  16. Nabeshima, Katsusuke: On the computation of parametric Gröbner bases for modules and syzygies (2010)
  17. Kredel, Heinz: Comprehensive Gröbner bases in a Java computer algebra system (2009)
  18. Nabeshima, Katsusuke: PGB: a package for computing parametric polynomial systems (2009)
  19. Nagasaka, Kosaku: A study on Gröbner basis with inexact input (2009)
  20. Sato, Yosuke; Suzuki, Akira: Computation of inverses in residue class rings of parametric polynomial ideals (2009)

1 2 next