[1]MISHRA B. Algorithmic algebra [M].New York: Spring-Verlag, 1993: 71-130.[2]吴文俊.初等几何判定问题与机械化证明[J].中国科学,1977,7(6):507-516.[3]杨路,张景中,侯晓容.非线性代数方程组与定理机器证明[M].上海:上海科技教育出版社,1996:95-101.[4]YANG L, HOU X R. Gather-and-shift: a symbolic method for solving polynomial systems [C]// Proceedings of the First Asian Technology Conference in Mathematics. Singapore: [s.n.], 1995: 771-780.[5]KAPUR D, SAXENA T, YANG L. Algebraic and geometric reasoning using Dixon resultants [C]// Proceedings of the 1994 International Symposium on Symbolic and Algebraic Computation. New York: ACM Press, 1994: 99-107.[6]LI T Y, SAVER T, YORKE J A. The random product homotopy and deficient polynomial systems [J]. Numerische Mathematik, 1987, 51(5): 482-500.[7]KOU J S, LI Y T, WANG X H. Efficient continuation Newton-like method for solving systems of non-linear equations [J]. Applied Mathematics and Computation, 2006, 174(2): 846-853.[8]NEDZHIBOV G H. An acceleration of iterative processes for solving nonlinear equations [J]. Applied Mathematics and Computation, 2005, 168(1): 320-332.[9]TRAUB J F. Iterative methods for the solution of equations [M]. New York: AMS Chelsea Publishing, 1982.[10]DECKER D W, KELLEY C T. Convergence acceleration of Newton's method at singular points [J]. SIAM Journal on Numerical Analysis, 1982, 19(1): 219-229.[11]LEYKIN A, VERSCHELDE J, ZHAO A L. Newton's method with deflation for isolated singularities of polynomial systems [J]. Theoretical Computer Science, 2006, 359(1/2/3): 111-122.[12]DAYTON B H, ZENG Z G. Computing the multiplicity structure in solving polynomial systems [C]// Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation. New York: ACM Press, 2005: 116-123.[13]DAYTON B H, LI T Y, ZENG Z G. Multiple zeros of nonlinear systems [J]. Mathematics of Computation, 2011, 80(276): 2143-2168.[14]LI N, ZHI L H. Computing isolated singular solutions of polynomial systems: case of breadth one [J]. SIAM Journal on Numerical Analysis, 2011, 50(1): 354-372.[15]LI N, ZHI L H. Compute the multiplicity structure of an isolated singular solution: case of breadth one [J]. Journal of Symbolic Computation, 2012, 47(6): 700-710.[16]MOURRAIN B. Isolated points, duality and residues [J]. Journal of Pure and Applied Algebra, 1997, 117-118: 469-493.[17]WU X L, ZHI L H. Computing the multiplicity structure from geometric involutive form [C]// Proceedings of the Twenty-First International Symposium on Symbolic and Algebraic Computation. New York: ACM Press, 2008: 325-332.[18]ZENG Z G. The closedness subspace method for computing the multiplicity structure of a polynomial system [C]// Proceedings of the 2009 Interactions of Classical and Numerical Algebraic Geometry. New York: AMS, 2009: 347-362. |