Numerical method for real root isolation of semi-algebraic system and its applications

2013/03/22 by Ji, Zhenyi, Wu, Wenyuan, Li, Yi +1
#FOS: Computer and information sciences #FOS: Mathematics #Numerical Analysis (math.NA) #Symbolic Computation (cs.SC)

paper · doi:10.48550/arxiv.1303.5503

Abstract

In this paper, based on the homotopy continuation method and the interval Newton method, an efficient algorithm is introduced to isolate the real roots of semi-algebraic system. Tests on some random examples and a variety of problems including transcendental functions arising in many applications show that the new algorithm reduces the cost substantially compared with the traditional symbolic approaches.

Related

• Real Root Isolation of Polynomial Equations Based on Hybrid Computation
• Computing Real Roots of Real Polynomials
• From Approximate Factorization to Root Isolation with Application to Cylindrical Algebraic Decomposition
• When Newton meets Descartes: A Simple and Fast Algorithm to Isolate the Real Roots of a Polynomial
• Univariate real root isolation in an extension field