We discuss computation of approximate Grobner bases at finite precision. We show how this can be used to deduce exact results for polynomial greatest common divisors and factorization. In particular we indicate an algorithm for factoring multivariate polynomials over the closure algebraic of the rationals.
机构:
Lanzhou Jiaotong Univ, Sch Math & Phys, Lanzhou 730070, Peoples R ChinaLanzhou Jiaotong Univ, Sch Math & Phys, Lanzhou 730070, Peoples R China
Wang, Jinwei
Zhu, Zhicheng
论文数: 0引用数: 0
h-index: 0
机构:
Lanzhou Jiaotong Univ, Sch Math & Phys, Lanzhou 730070, Peoples R ChinaLanzhou Jiaotong Univ, Sch Math & Phys, Lanzhou 730070, Peoples R China
Zhu, Zhicheng
Gao, Xing
论文数: 0引用数: 0
h-index: 0
机构:
Lanzhou Univ, Sch Math & Stat, Key Lab Appl Math & Complex Syst, Lanzhou 730000, Peoples R ChinaLanzhou Jiaotong Univ, Sch Math & Phys, Lanzhou 730070, Peoples R China