Patrizia Gianni, Barry Trager, et al.
Journal of Symbolic Computation
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.
Patrizia Gianni, Barry Trager, et al.
Journal of Symbolic Computation
Kartheek Chandu, Mikel Stanich, et al.
CI-DPHA 2013
Kartheek Chandu, Mikel Stanich, et al.
ISCAS 2012
Patrizia Gianni, Mika Seppälä, et al.
Journal of Symbolic Computation