Author:
Fukasaku Ryoya,Iwane Hidenao,Sato Yosuke
Publisher
Springer International Publishing
Reference15 articles.
1. Becker, E., Wörmann, T.: On the trace formula for quadratic forms. In: Recent Advances in Real Algebraic Geometry and Quadratic Forms, Berkeley, CA, 1990/1991; San Francisco, CA, 1991, pp. 271–291. Contemporary Mathematics, vol. 155, American Mathematical Society Providence, RI (1994)
2. The first prototype CGS real QE program released (2015). http://www.mi.kagu.tus.ac.jp/~fukasaku/issac2015
3. The latest prototype CGS real QE program released (2016). http://www.mi.kagu.tus.ac.jp/~fukasaku/CGSQE2016
4. Chen, C., Maza, M.M.: Quantifier elimination by cylindrical algebraic decomposition based on regular chains. In: Proceedings of International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), pp. 91–98. ACM (2014)
5. Lecture Notes in Computer Science;GE Collins,1975
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. On Parametric Border Bases;Mathematical Aspects of Computer and Information Sciences;2020
2. A Survey on Algorithms for Computing Comprehensive Gröbner Systems and Comprehensive Gröbner Bases;Journal of Systems Science and Complexity;2019-02
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. On Real Roots Counting for Non-radical Parametric Ideals;Mathematical Aspects of Computer and Information Sciences;2017