J.H. Davenport, P. Gianni, et al.
ISSAC 1991
Given a real algebraic surface S in RP3, we propose a procedure to determine the topology of S and to compute non-trivial topological invariants for the pair (RP3,S) under the hypothesis that the real singularities of S are isolated. In particular, starting from an implicit equation of the surface, we compute the number of connected components of S, their Euler characteristics and the labeled 2-adjacency graph of the surface.
J.H. Davenport, P. Gianni, et al.
ISSAC 1991
P. Gianni, B.M. Trager
Applicable Algebra in Engineering, Communications and Computing
Kartheek Chandu, Mikel Stanich, et al.
ISCAS 2012
E. Fortuna, P. Gianni, et al.
Journal of Symbolic Computation