17th International Workshop on Computer Algebra in Scientific Computing (CASC)
会议论文集名称:
Lecture Notes in Computer Science
会议时间:
SEP 14-18, 2015
会议地点:
Aachen, GERMANY
会议主办单位:
[Jin, Kai] Cent China Normal Univ, Sch Math & Stat, Wuhan, Peoples R China.^[Cheng, Jin-San;Gao, Xiao-Shan] Chinese Acad Sci, AMSS, Key Lab Math Mech, Beijing, Peoples R China.
会议赞助商:
Deutsche Forschungsgemeinschaft, Additive, Hornecker Software Entwicklung & IT Dienstleistungen, Maplesoft, Kassel Univ, Inst Math, RWTH Aachen Univ, Dept Math
In this paper, we present a symbolic algorithm to compute the topology of a plane curve. The algorithm mainly involves resultant computations and real root isolation for univariate polynomials. The novelty of this paper is that we use a technique of interval polynomials to solve the system {ƒ(α, y) =∂f/∂y (α, y) = 0} and at the same time, get the simple roots of f (α, y) = 0 on the αfiber. It greatly improves the efficiency of the lifting step since we need not compute the simple roots of f (α, y) = 0 any more. After the topology is computed, we use...