期刊文献+

Multivariate Discriminant and Iterated Resultant

Multivariate Discriminant and Iterated Resultant
原文传递
导出
摘要 In this paper, we study the relationship between iterated resultant and multivariate discriminant. We show that, for generic form f(xn) with even degree d, if the polynomial is squarefreed after each iteration, the multivariate discriminant A(f) is a factor of the squarefreed iterated resulrant. In fact, we find a factor Hp(f, [x1 , xn]) of the squarefreed iterated resultant, and prove that the multivariate discriminant A(f) is a factor of Hp(f,[x1,... ,xn]). Moreover, we conjecture that Hp(f, [x1,..., xn]) =△(f) holds for generic form f, and show that it is true for generic trivariate form f(x, y, z). In this paper, we study the relationship between iterated resultant and multivariate discriminant. We show that, for generic form f(xn) with even degree d, if the polynomial is squarefreed after each iteration, the multivariate discriminant A(f) is a factor of the squarefreed iterated resulrant. In fact, we find a factor Hp(f, [x1 , xn]) of the squarefreed iterated resultant, and prove that the multivariate discriminant A(f) is a factor of Hp(f,[x1,... ,xn]). Moreover, we conjecture that Hp(f, [x1,..., xn]) =△(f) holds for generic form f, and show that it is true for generic trivariate form f(x, y, z).
作者 Jing Jun HAN
出处 《Acta Mathematica Sinica,English Series》 SCIE CSCD 2016年第6期659-667,共9页 数学学报(英文版)
基金 Supported by China Scholarship Council
关键词 Cylindrical algebraic decomposition semi-definiteness polynomial RESULTANT multivariate discriminant Cylindrical algebraic decomposition, semi-definiteness, polynomial, resultant, multivariate discriminant
  • 相关文献

参考文献14

  • 1Brown, C. W.: Improved projection for cylindrical algebraic decomposition. J. Symb. Comput., 32, 447-465(2001).
  • 2Buse, L., Mourrain, B.: Explicit factors of some iterated resultants and discriminants. Math. Comp., 78, 345-386 (2009).
  • 3Collins, G. E.: Quantifier elimination for real closed fields by cylindrical algebraic decompostion. In: Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, Springer, Berlin and Heidelberg, 1975, 134-183.
  • 4Cox, D. A., Little, J., O’Shea, D.: Using Algebraic Geometry, Grad. Texts in Math., 185, Springer-Verlag, New York, 2006.
  • 5Gelfand, I. M., Kapranov, M. M., Zelevinsky, A. V.: Discriminants, Resultants, and Multidimensional Determinants, Birkhauser, Boston, 1994.
  • 6Han, J. J., Dai, L. Y., Hoog, H., Xia, B. C.: Open weak cad and its applications. J. Symbolic Comput., accepted.
  • 7Han, J. J., Dai, L. Y., Xia, B. C.: Constructing fewer open cells by gcd computation in cad projection. In: Proc. ISSAC’ 2014, ACM, New York, 2014, 240-247.
  • 8Han, J. J., Jin, Z., Xia, B. C.: Proving inequalities and solving global optimization problems via simplified cad projection. J. Symbolic Comput., 72, 206-230 (2016).
  • 9Henrici, O.: On certain formula concerning the theory of discriminants; with applications to discriminants of discriminants, and to the theory of polar curves. Proc. Lond. Math. Soc., 1, 104-116 (1866).
  • 10Lazard, D., McCallum, S.: Iterated discriminants. J. Symbolic Comput., 44, 1176-1193 (2009).

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部