Author:
Chen Changbo,Maza Marc Moreno,Xia Bican,Yang Lu
Cited by
45 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions;Lecture Notes in Computer Science;2024
2. Lazard-style CAD and Equational Constraints;Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation;2023-07-24
3. New Heuristic to Choose a Cylindrical Algebraic Decomposition Variable Ordering Motivated by Complexity Analysis;Computer Algebra in Scientific Computing;2022
4. Implementing arithmetic over algebraic numbers A tutorial for Lazard's lifting scheme in CAD;2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2021-12
5. The DEWCAD project;ACM Communications in Computer Algebra;2021-09