Registro:

Referencias:

• Cartan, É., (1945) Les Systèmes Différentiels Extérieurs et Leurs Applications Géométriques, , Hermann
• Clebsch, A., Über die simultane Integration linearer partieller Differentialgleichungen (1866) J. Reine Angew. Math., 65, pp. 257-268
• D'Alfonso, L., Jeronimo, G., Solernó, P., Effective differential Nullstellensatz for ordinary DAE systems with constant coefficients (2014) J. Complexity, 30 (5), pp. 588-603
• Dieudonné, J., (1969) Foundations of Modern Analysis, 1. , Academic Press
• Dubé, T., The structure of polynomial ideals and Gröbner bases (1990) SIAM J. Comput., 19 (4), pp. 750-775
• Frobenius, G., Über das Pfaffsche Probleme (1877) J. Reine Angew. Math., 82, pp. 230-315
• Giusti, M., Some effectivity problems in polynomial ideal theory (1984) Lecture Notes in Comput. Sci., 174, pp. 159-171. , EUROSAM 84, Cambridge, 1984
• Golubitsky, O., Kondratieva, M., Ovchinnikov, A., Szanto, A., A bound for orders in differential Nullstellensatz (2009) J. Algebra, 322 (11), pp. 3852-3877
• Guillemin, V., Sternberg, S., An algebraic model of transitive differential geometry (1964) Bull. Amer. Math. Soc., 70 (1), pp. 16-47
• Gustavson, R., Kondratieva, M., Ovchinnikov, A., (2014) New Effective Differential Nullstellensatz, , http://arxiv.org/abs/1411.1000, preprint
• Hawkins, T., Frobenius, Cartan, and the problem of Pfaff (2005) Arch. Hist. Exact Sci., 59 (4), pp. 381-436
• Hrushovski, E., Pillay, A., Effective bounds for the number of transcendental points on subvarieties of semi-abelian varieties (2000) Amer. J. Math., 122 (3), pp. 439-450
• Jacobi, C.G.J., Über die Pfaffsche Methode, eine gewöhnliche lineare Differentialgleichung zwischen 2n variabein durch ein System von n Gleichungen zu integriren (1827) J. Reine Angew. Math., 2, pp. 347-384
• Jelonek, Z., On the effective Nullstellensatz (2005) Invent. Math., 162 (1), pp. 1-17
• Kolchin, E., (1973) Differential Algebra and Algebraic Groups, , Academic Press New York
• Krick, T., Logar, A., An algorithm for the computation of the radical of an ideal in the ring of polynomials (1991) Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 539, pp. 195-205. , New Orleans, LA, 1991 Lecture Notes in Comput. Sci
• Krick, T., Logar, A., Membership problem, representation problem and the computation of the radical for one-dimensional ideals (1991) Effective Methods in Algebraic Geometry, 94, pp. 203-216. , Castiglioncello, 1990 Progr. Math
• Kuranishi, M., On É. Cartan's prolongation theorem of exterior differential systems (1957) Amer. J. Math., 79, pp. 1-47
• Laplagne, S., An algorithm for the computation of the radical of an ideal (2006) ISSAC 2006, pp. 191-195. , ACM
• Matsuda, M., Cartan-Kuranishi's prolongation of differential systems combined with that of Lagrange and Jacobi (1967) Publ. Res. Inst. Math. Sci., 3, pp. 69-84
• Möller, M., Mora, F., Upper and lower bounds for the degree of Groebner bases (1984) Lecture Notes in Comput. Sci., 174, pp. 172-183. , EUROSAM 84, Cambridge, 1984
• Pfaff, J.F., Methodus generalis, aequationes differentiarum particularum, necnon aequationes differentiales vulgares, utrasque primi ordinis inter quotcumque variabiles, complete integrandi (1818) Abhandlungen der Königlichen Akademie der Wissenschaften zu Berlin 1814-1815, pp. 76-136
• Pierce, D., Pillay, A., A note on the axioms for differentially closed fields of characteristic zero (1998) J. Algebra, 1, pp. 108-115
• Pommaret, J.-F., (1978) Systems of Partial Differential Equations and Lie Pseudogroups, , Gordon and Breach
• Seiler, W., (1994) Analysis and Application of the Formal Theory of Partial Differential Equations, , Ph.D. thesis of the School of Physics and Material, Lancaster Univ., and Institut für Algorithmen und Kognitive Systems, Univ. Karlsruhe
• Singer, I., Sternberg, S., The infinite groups of Lie and Cartan. I: the transitive groups (1965) J. Anal. Math., 15, pp. 101-114
• Spencer, D., A type of formal exterior differentiation associated with pseudogroups (1961) Scr. Math., 26, pp. 101-106

Citas:

---------- APA ----------

---------- CHICAGO ----------

---------- MLA ----------

---------- VANCOUVER ----------