Factorization of Differential Systems in Characteristic p

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 2003, Pages 58-65

  Cluzeau, Thomas ^a  

^a Laboratoire d'Arithmétique   (France)

Author keywords

Characteristic p; Differential Systems; Eigenring; Factorization; P curvature

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; EIGENVALUES AND EIGENFUNCTIONS; THEOREM PROVING;

CHARACTERISTIC P; DIFFERENTIAL SYSTEMS; EIGENRING; FACTORIZATION; P-CURVATURE;

DIFFERENTIAL EQUATIONS;

EID: 1542330058     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/860854.860875     Document Type: Conference Paper

References (24)

1. M. A. Barkatou. On the reduction of matrix pseudo-linear equations. Technical Report RR 1040, Rapport de Recherche de l'institut IMAG, 2001.
2. M. A. Barkatou and E. Pflügel. On the equivalence problem of linear differential systems and its application for factoring completely reducible systems. In Proceedings of ISSAC'98, ACM Press, pages 268-275, 1998.
3. D. V. Chudnovsky and G. V. Chudnovsky. Applications of Padé approximations to the Grothendieck conjecture on linear equations. In Lecture Notes in Mathematics, Number Theory, volume 1135, pages 52-100. 1985.
4. R. C. Churchill and J. J. Kovacic. Cyclic vectors. In Differential Algebra and Related Topics, Proceedings of the International Workshop, Rutgers University, Newark, November 2-3 2002. River Edge, NJ, World Scientific Publishing Co.
5. T. Cluzeau and M. van Hoeij. A modular algorithm to compute the exponential solutions of a linear differential operator. In preparation, 2003.
6. F. R. Gantmacher. Théorie des matrices, Tome 1. Dunot, Paris, 1966.
7. J. von zur Gathen and J. Gerhart. Modern Computer Algebra. Cambridge University Press, 1999.
8. p(t). These proceedings.
9. D. Y. Grigoriev. Complexity of irreducibility testing for a system of linear ordinary differential equations. In Proceedings of ISSAC'98, pages 225-230, 1998.
10. T. Honda. Algebraic differential equations. Symp. Math., 24:169-204, 1981.
11. M. van Hoeij. Rational solutions of the mixed differential equation and its application to factorization of differential operators. In Proceedings of ISSAC'96, ACM Press, 1996.
12. M. van Hoeij. Factorization of differential operators with rational functions coefficients. Journal Of Symbolic Computation, 24:537-561, 1997.
13. M. van Hoeij. Formal solutions and factorization of differential operators with power series coefficients. Journal Of Symbolic Computation, 24:1-30, 1997.
14. M. van Hoeij. Factoring polynomials and the knapsack problem. Journal of Number Theory, 95:167-189, 2002.
15. N. Jacobson. Basic Algebra I, Second Edition. W.H. Freeman and Compagny, New York, 1985.
16. N. Jacobson. Basic Algebra II. W.H. Freeman and Compagny, San Francisco, 1980.
17. N. Katz. Nilpotent connections and the monodromy theorem: Applications of a result of Turritin. Technical Report 39, Publ. Math. I. H. E. S., 1970.
18. N. Katz. A conjecture in the arithmetic theory of differential equations. Bull. Soc. Math. France, 110:203-239, 1982.
19. T. Mulders and A. Storjohann. On lattice reduction for polynomial matrices. Journal of Symbolic Computation, 35(4):377-401, 2003.
20. M. van der Put. Differential equations in characteristic p. Compositio Mathematica, 97:227-251, 1995.
21. M. van der Put. Reduction modulo p of differential equations. Indag. Math.N.S., 7(3):367-387. 1996.
22. M. van der Put. Modular methods for factoring differential operators. Unpublished manuscript (Preliminary Version), 1997.
23. M. van der Put. Grothendieck's conjecture for the rish equation y′ = ay + b. Indag. Mathem., 12(1):113-124, 2001.
24. M. van der Put and M. F. Singer. Galois Theory of Linear Differential Equations, volume 328. Grundlehren der mathematischen Wissenschaften, Springer, 2003.