Kartheek Chandu, Mikel Stanich, et al.
ISCAS 2012
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.
Kartheek Chandu, Mikel Stanich, et al.
ISCAS 2012
Patrizia Gianni, Mika Seppälä, et al.
Journal of Symbolic Computation
Koundinya Vajjha, Barry Trager, et al.
ITP 2022
P. Gianni, B.M. Trager
Applicable Algebra in Engineering, Communications and Computing