Workshop paper
General Probability in Coq
Avraham Shinnar, Barry Trager
DSN 2022
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.
Avraham Shinnar, Barry Trager
DSN 2022
E. Fortuna, P. Gianni, et al.
Journal of Symbolic Computation
P. Gianni, B.M. Trager
Applicable Algebra in Engineering, Communications and Computing
Alexey Lvov, Luis A. Lastras-Montaño, et al.
Formal Methods in System Design