Conference paper
Singular value decomposition for polynomial systems
Robert M. Corless, P. Gianni, et al.
ISSAC 1995
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.
Robert M. Corless, P. Gianni, et al.
ISSAC 1995
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
Kartheek Chandu, Mikel Stanich, et al.
ISCAS 2012