Author:
Chen Changbo,Maza Marc Moreno
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Practical Approximate Quantifier Elimination for Non-linear Real Arithmetic;Lecture Notes in Computer Science;2024-09-11
2. On Minimal and Minimum Cylindrical Algebraic Decompositions;Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation;2024-07-16
3. Criteria for Hopf Bifurcations with Fixed Multiplicities;Proceedings of the 2021 on International Symposium on Symbolic and Algebraic Computation;2021-07-18
4. Machine Learning to Improve Cylindrical Algebraic Decomposition in Maple;Communications in Computer and Information Science;2020
5. Computing Limits of Real Multivariate Rational Functions;Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation;2016-07-20