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]
@inproceedings{ShangMK22, title = {Algorithms for Testing Membership in Univariate Quadratic Modules over the Reals}, author = {Weifeng Shang and Chenqi Mou and Deepak Kapur}, year = {2022}, doi = {10.1145/3476446.3536176}, url = {https://doi.org/10.1145/3476446.3536176}, researchr = {https://researchr.org/publication/ShangMK22}, cites = {0}, citedby = {0}, pages = {429-437}, booktitle = {ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4 - 7, 2022}, editor = {Marc Moreno Maza and Lihong Zhi}, publisher = {ACM}, isbn = {978-1-4503-8688-3}, }