中国科学院重庆绿色智能技术研究院机构知识库

QQ客服 官方微博 反馈留言

	Cylindrical algebraic decomposition in the RegularChains library
	Chen, Changbo1; Moreno Maza, Marc2
	2014
摘要	Cylindrical algebraic decomposition (CAD) is a fundamental tool in computational real algebraic geometry and has been implemented in several software. While existing implementations are all based on Collins' projection-lifting scheme and its subsequent ameliorations, the implementation of CAD in the RegularChains library is based on triangular decomposition of polynomial systems and real root isolation of regular chains. The function in the RegularChains library for computing CAD is called CylindricalAlgebraicDecompose. In this paper, we illustrate by examples the functionality, the underlying theory and algorithm, as well the implementation techniques of CylindricalAlgebraicDecompose. An application of it is also provided. © 2014 Springer-Verlag.
语种	英语
DOI	10.1007/978-3-662-44199-2_65
会议(录)名称	4th International Congress on Mathematical Software, ICMS 2014
页码	425-433
收录类别	EI
会议地点	Seoul, Korea, Republic of
会议日期	August 5, 2014 - August 9, 2014