On the forgotten theorem of Mr. Vincent
暂无分享,去创建一个
[1] Rüdiger Loos,et al. Polynomial real root isolation by differentiation , 1976, SYMSAC '76.
[2] A. Seidenberg. A NEW DECISION METHOD FOR ELEMENTARY ALGEBRA , 1954 .
[3] A. Tarski. A Decision Method for Elementary Algebra and Geometry , 2023 .
[4] N. Obreshkov. Verteilung und Berechnung der Nullstellen reeller Polynome , 1963 .
[5] George E. Collins. The SAC-1 system: An introduction and survey , 1971, SYMSAC '71.
[6] W. G. Horner,et al. A new method of solving numerical equations of all orders, by continuous approximation , 1815 .
[7] George E. Collins,et al. Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .