Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthew England. Real quantifier elimination by cylindrical algebraic decomposition, and improvements by machine learning. In Ioannis Z. Emiris, Lihong Zhi, editors, ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Kalamata, Greece, July 20-23, 2020. pages 13, ACM, 2020. [doi]

This author has not been identified. Look up 'Matthew England' in Google

runs on WebDSL