Author:
Grigoriev Dima,Schwarz Fritz
Publisher
Springer International Publishing
Reference19 articles.
1. Basu, S., Pollack, R., Roy, M.-F.: Algorithms in real algebraic geometry. Springer, Berlin (2006)
2. Chistov, A.: An algorithm of polynomial complexity for factoring polynomials, and determination of the components of a variety in a subexponential time. J. Soviet Math. 34, 1838–1882 (1986)
3. Chistov, A., Grigoriev, D.: Complexity of quantifier elimination in the theory of algebraically closed fields. In: Chytil, M.P., Koubek, V. (eds.) Mathematical Foundations of Computer Science 1984. LNCS, vol. 176, pp. 17–31. Springer, Heidelberg (1984)
4. Gao, X.S., Zhang, M.: Decomposition of ordinary differential polynomials. Appl. Alg. Eng. Commun. Comput. 19, 1–25 (2008)
5. Golubitsky, O., Kondratieva, M., Ovchinnikov, A., Szanto, A.: A bound for orders in differential Nullstellensatz. J. Algebra 322, 3852–3877 (2009)