Author:
Arai Noriko H.,Matsuzaki Takuya,Iwane Hidenao,Anai Hirokazu
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The DEWCAD project;ACM Communications in Computer Algebra;2021-09
2. Using Machine Learning to Improve Cylindrical Algebraic Decomposition;Mathematics in Computer Science;2019-04-03
3. On Multivariate Hermitian Quadratic Forms;Mathematics in Computer Science;2018-10-12
4. On Continuity of the Roots of a Parametric Zero Dimensional Multivariate Polynomial Ideal;Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation;2018-07-11
5. Language Processing of Mathematical Problem Text;Kagaku tetsugaku;2017-12-20