Cylindrical Algebraic Decomposition - an Introduction
1995 (English)Report (Other academic)
In this report we give an introduction to a constructive way of treating systems of polynomial equations and inequalities. We present a method called cylindrical algebraic decomposition (CAD) discovered 1973 by Collins. The method constructs a decomposition of Rn such that a given set of polynomials have constant sign on each component. All concepts needed to understand the algorithm is presented, e.g., polynomial remainder sequences, subresultants, principal subresultant coefficients, Sturm chains and algebraic number representations.
Place, publisher, year, edition, pages
Linköping: Linköping University , 1995. , 38 p.
LiTH-ISY-R, ISSN 1400-3902 ; 1807
Inequalities4a Real polynomial systems, Semi-algebraic sets, Real algebra, Cylindrical algebraic decomposition
Databehandling Allmänt Matematik Statistisk Metod
IdentifiersURN: urn:nbn:se:liu:diva-55291ISRN: LiTH-ISY-R-1807OAI: oai:DiVA.org:liu-55291DiVA: diva2:315832