Weifeng Shang, Chenqi Mou, Deepak Kapur. Algorithms for Testing Membership in Univariate Quadratic Modules over the Reals. In Marc Moreno Maza, Lihong Zhi, editors, ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022. pages 429-437, ACM, 2022. [doi]
Abstract is missing.