Algorithms for Testing Membership in Univariate Quadratic Modules over the Reals.

Weifeng Shang, Chenqi Mou, Deepak Kapur

Browse the full ISSAC paper archive.