平面代数剖分样本点临界点算法  

CRITICAL POINT ALGORITHM FOR FINDING SAMPLE POINTS OF PLANAR ALGBRAIC DECOMPOSITION

作　　者：侯晓荣[1] 严爱国[1] 黄黎[1] 

机构地区：[1]中科院成都计算机应用研究所,成都610041

出　　处：《四川大学学报（自然科学版）》2001年第3期346-349,共4页Journal of Sichuan University(Natural Science Edition)

基　　金：国家"973"基金项目 !(NKBSRFG19980 30 6 )

摘　　要：侯晓荣给出了寻求平面代数剖分样本点的临界点算法 ,这较惯用的柱形代数分解 (CAD)算法 ,其效率较高 .基于侯晓荣的算法 ,作者对有无界分支的情形 ,采用了球极变换 ,将其转化为有界分支 ,再利用临界点算法来求样本点 .Hou Xiao rong proposed the critical point method to find the sample points of planar algebraic decomposition,which is more efficient than the traditional algorithm for cylindrical algebraic decomposition(CAD). Based on Hou Xiao rong’s idea, as for the problem of components of the curve at infinity, this paper also implemented the same algorithm using the sphere pole transformation and the method of critical point.

关 键 词：代数曲线 代数剖分 样本点 CAD算法 正定性 临界点 球极变换 平面 

分 类 号：O151.26[理学—数学]