Author:
Alvandi Parisa,Chen Changbo,Maza Marc Moreno
Publisher
Springer International Publishing
Reference28 articles.
1. Alonso, M.E., Mora, T., Niesi, G., Raimondo, M.: An algorithm for computing analytic branches of space curves at singular points. In: Proc. of the 1992 International Workshop on Mathematics Mechanization, pp. 135–166 (1992)
2. Boulier, F., Lazard, D., Ollivier, F., Petitot, M.: Representation for the radical of a finitely generated differential ideal. In: Proc. of ISSAC 1995, pp. 158–166 (1995)
3. Boulier, F., Lemaire, F., Moreno Maza, M.: Well known theorems on triangular systems and the D5 principle. In: Proc. of Transgressive Computing 2006, Granada, Spain, pp. 79–91 (2006)
4. Chen, C., Davenport, J.H., May, J.P., Moreno Maza, M., Xia, B., Xiao, R.: Triangular decomposition of semi-algebraic systems. J. Symb. Comput. 49, 3–26 (2013)
5. Lecture Notes in Computer Science;C. Chen,2007
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Algorithms for multivariate laurent series;ACM Communications in Computer Algebra;2022-06
2. On the Extended Hensel Construction and its application to the computation of real limit points;Journal of Symbolic Computation;2020-05
3. Irredundant Triangular Decomposition;Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation;2018-07-11
4. On the Extended Hensel Construction and its Application to the Computation of Limit Points;Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation;2017-07-23
5. Real limit points of quasi-componenets of regular chains;ACM Communications in Computer Algebra;2017-02-22