Author:
Bradford Russell,Davenport James H.,England Matthew,McCallum Scott,Wilson David
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Poly-algorithmic Approach to Quantifier Elimination;2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2023-09-11
2. Lazard-style CAD and Equational Constraints;Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation;2023-07-24
3. Cylindrical algebraic decomposition with equational constraints;Journal of Symbolic Computation;2020-09
4. Using Machine Learning to Improve Cylindrical Algebraic Decomposition;Mathematics in Computer Science;2019-04-03
5. Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition;Lecture Notes in Computer Science;2019