Subdefinite Computations and Symbolic Transformations in the UniCalc Solver.

Alexander L. Semenov, Alexander B. Babichev, Alexander S. Leshchenko

Browse the full AISC paper archive.