Algorithms for Testing Membership in Univariate Quadratic Modules over the Reals - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Weifeng Shang' in GoogleThis author has not been identified. Look up 'Chenqi Mou' in GoogleThis author has not been identified. Look up 'Deepak Kapur' in Google

runs on WebDSL