liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Cylindrical Algebraic Decomposition - an Introduction
Linköping University, Department of Electrical Engineering, Automatic Control. Linköping University, The Institute of Technology.
1995 (English)Report (Other academic)
Abstract [en]

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
Keyword [en]
Inequalities4a Real polynomial systems, Semi-algebraic sets, Real algebra, Cylindrical algebraic decomposition
Keyword [sv]
Databehandling Allmänt Matematik Statistisk Metod
National Category
Control Engineering
URN: urn:nbn:se:liu:diva-55291ISRN: LiTH-ISY-R-1807OAI: diva2:315832
Available from: 2010-04-29 Created: 2010-04-29 Last updated: 2014-08-26Bibliographically approved

Open Access in DiVA

Cylindrical Algebraic Decomposition - an Introduction(360 kB)60 downloads
File information
File name FULLTEXT02.pdfFile size 360 kBChecksum SHA-512
Type fulltextMimetype application/pdf
fulltext(1340 kB)209 downloads
File information
File name FULLTEXT01.psFile size 1340 kBChecksum SHA-512
Type fulltextMimetype application/postscript

By organisation
Automatic ControlThe Institute of Technology
Control Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 269 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 116 hits
ReferencesLink to record
Permanent link

Direct link