Computing the topology of real algebraic surfaces

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 2002, Pages 92-100

  Fortuna, Elisabetta ^a   Gianni, Patrizia ^a   Parenti, Paola ^a   Traverso, Carlo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; FUNCTIONS; PARTIAL DIFFERENTIAL EQUATIONS; POLYNOMIALS; THEOREM PROVING; TOPOLOGY;

AXIOM; DIFFERENTIABLE FUNCTION; HESSIAN FORM; HOMEOMORPHIC; MORSE THEORY; POLYNOMIAL EQUATION;

BOOLEAN ALGEBRA;

EID: 0036045925     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/780506.780518     Document Type: Conference Paper

References (22)

1. Algebraic decomposition of regular curves
2. A polynomial-time algorithm for the topological type of a real algebraic curve
3. On the theories of triangular sets
4. An elimination algorithm for the computation of all zeros of a system of multivariate polynomial equations
5. Computing roadmaps of semi-algebraic sets on a variety
6. Algorithms for the shape of semialgebraic sets. A new approach
7. On algorithms for real algebraic plane curves
8. Gröbner bases and primary decomposition of polynomial ideals
9. Shape determination for real curves and surfaces
10. Symbolic recipes for real solutions
11. Construction of roadmaps in semi-algebraic sets
12. Single exponential path finding in semi-algebraic sets. II. The general case
13. Computation of the topology of a real curve
14. Achievements in the topology of real algebraic varieties in the last six years
15. Hilbert's sixteenth problem
16. Advances and problems in algebraic computation