Alexey Lvov, Luis A. Lastras-Montaño, et al.
Formal Methods in System Design
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.
Alexey Lvov, Luis A. Lastras-Montaño, et al.
Formal Methods in System Design
P. Gianni, B.M. Trager
Applicable Algebra in Engineering, Communications and Computing
E. Fortuna, P. Gianni, et al.
Journal of Symbolic Computation
Patrizia Gianni, Mika Seppälä, et al.
Journal of Symbolic Computation