Koundinya Vajjha, Avraham Shinnar, et al.
CPP 2021
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.
Koundinya Vajjha, Avraham Shinnar, et al.
CPP 2021
E. Fortuna, P. Gianni, et al.
Journal of Symbolic Computation
Kartheek Chandu, Mikel Stanich, et al.
ISCAS 2012
Alexey Lvov, Luis A. Lastras-Montaño, et al.
Formal Methods in System Design