RealTriangularize

Maple function RealTriangularize: compute all the solutions of a semi-algebraic system.

References in zbMATH (referenced in 1 article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Han, Jingjun: A simple quantifier-free formula of positive semidefinite cyclic ternary quartic forms (2014)