References
Aubry P., Lazard D., Maza M.M.: On the theories of triangular sets. J. Symb. Comput. 28, 105–124 (1999)
Bostan, A., Chyzak, F., Ollivier, F., Salvy, B., Schost, É., Sedoglavic, A.: Fast computation of power series solutions of systems of differential equations. In: SODA’07, ACM-SIAM Symposium on Discrete Algorithms, pp. 1012–1021 (2007)
Boulier, F.: The BLAD libraries (2004). http://www.lifl.fr/~boulier/BLAD
Boulier, F., Lemaire, F.: A computer scientist point of view on Hilbert’s differential theorem of zeros. Appl. Algebra Eng. Commun. Comput. (submitted) (2007). http://hal.archives-ouvertes.fr/hal-00170091
Boulier, F., Lemaire, F.: Computing canonical representatives of regular differential ideals. In: ISSAC’00: Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, pp. 38–47. ACM Press, New York (2000). http://hal.archives-ouvertes.fr/hal-00139177
Boulier, F., Lemaire, F., Maza, M.M.: Well known theorems on triangular systems and the D 5 principle. In: Proceedings of Transgressive Computing, pp. 79–91, Granada, Spain, 2006. http://hal.archives-ouvertes.fr/hal-00137158
Buium, A., Cassidy, P.: Differential Algebraic Geometry and Differential Algebraic Groups: From Algebraic Differential Equations to Diophantine Geometry, pp. 567–636. American Mathematical Society, Providence (1998)
Denef J., Lipshitz L.: Power series solutions of algebraic differential equations. Mathematische Annalen. 267, 213–238 (1984)
Hubert, É.: Factorization free decomposition algorithms in differential algebra. J. Symb. Comput. 29:4–5, 641–662 (2000)
Hubert, É.: Notes on triangular sets and triangulation-decomposition algorithm II: Differential Systems. Symbolic and Numerical Scientific Computing 2001, pp. 40–87 (2003)
Hubert, É., Roux, N.L.: Computing power series solutions of a nonlinear PDE system. In: Proceedings of ISSAC 2003, pp. 148–155 (2003)
Li Z., Wang D.: Coherent, regular and simple systems in zero decompositions of partial differential systems. Syst. Sci. Math. Sci. 12, 43–60 (1999)
Maza, M.M., Rioboo, R.: Polynomial gcd computations over towers of algebraic extensions. In: Proceedings of AAECC11, pp. 365–382. Springer, Heidelberg (1995)
Péladan-Germa, A.: Testing Equality in Differential Ring Extensions Defined by PDE’s and Limit Conditions, AAECC, vol. 13, 4, pp. 257–288 (2002)
Petitot, M.: Quelques méthodes de Calcul Formel appliquées à l’étude des équations différentielles, Mémoire d’habilitation à diriger des recherches, Université Lille I, LIFL, 59655 Villeneuve d’Ascq, France, February 1999
Rust, C.J., Reid, G.J., Wittkopf, A.D.: Existence and uniqueness theorems for formal power series solutions of analytic differential systems. In: Proceedings of ISSAC 1999, Vancouver, Canada (1999)
Sadik B.: Une note sur les algorithmes de décomposition en algèbre différentielle. C. R. Acad. Sci., Paris 330, 641–646 (2000)
van der Waerden B.L.: Algebra. 7th edn. Springer, Berlin (1966)
Zariski, O., Samuel, P.: Graduate Texts in Mathematics, vols. 28 and 29, Springer, Heidelberg
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Boulier, F. Foreword to the article: Computing representations for radicals of finitely generated differential ideals. AAECC 20, 5–6 (2009). https://doi.org/10.1007/s00200-009-0089-1
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00200-009-0089-1