Linear differential and difference systems: EGδ- and EGσ- eliminations

Abramov, S.A., Rational Solutions of Linear Difference and Q-difference Equations with Polynomial Coefficients, Programming Comput. Software, 1995, vol. 21, no. 6, pp. 273–278.

Abramov, S.A., Elementy komp’yuternoi algebry lineinykh obyknovennykh differentsial’nykh, raznostnykh i q-raznostnykh operatorov (Elements of Computer Algebra of Linear Ordinary Differential, Difference, and q-Difference Operators), Moscow: MTsNMO, 2012.

Abramov, S.A., Gheffar, A., and Khmelnov, D.E., Rational Solutions of Linear Difference Equations: Universal Denominators and Denominator Bounds, Programming Comput. Software, 2011, vol. 37, no. 2, pp. 78–86.

Abramov, S.A. and Khmelnov, D.E., On Singular Points of Solutions of Linear Differential Systems with Polynomial Coefficients, J. of Math. Sciences, 2012, vol. 185, no. 3, pp. 347–359

Abramov, S.A. and Khmelnov, D.E., Denominators of Rational Solutions of Linear Difference Systems of an Arbitrary Order, Programming Comput. Software, 2012, vol. 38, no. 2, pp. 84–91.

Arnold, V.I., Dynamics, Statistics, and Projective Geometry of Galois Fields, Cambridge University Press, 2011.

Gel’fond, A.O, Ischislenie konechnykh raznostei (Finite Difference Calculus), Moscow: Nauka, 1967.

Kac, V. and Cheung, P., Quantum Analysis, New York: Springer, 2002.

Coddingthon, E.A. and Levinson, N., Theory of Ordinary Differential Equations, New York: McGraw-Hill, 1955.

Khmelnov, D.E., Search for Polynomial Solutions of Linear Functional Systems by Means of Induced Recurrences, Programming Comput. Software, 2004, vol. 30, no. 2, pp. 61–67.

Andrews, G.E., The Theory of Partitions, Reading, Mass.: Addison-Wesley, 1976.

Abramov, S.A., EG-Eliminations, J. Difference Equations Appl., 1999, vol. 5, pp. 393–433.

Abramov, S.A. and Barkatou, M., Rational Solutions of First Order Linear Difference Systems, Proc. of ISSAC’98, 1995, pp. 290–295.

Abramov, S.A., Barkatou, M., van Hoeij, M., and Petkovšek, M., Subanalytic Solutions of Linear Difference Equations and Multidimensional Hypergeometric Sequences, J. Symbolic Computation, 2011, vol. 46, pp. 1205–1228.

Abramov, S.A. and Bronstein, M., On Solutions of Linear Functional Systems, Proc. of ISSAC’2001, ACM, 2001, pp. 1–6.

Abramov, S.A. and Bronstein, M., Linear Algebra for Skew-Polynomial Matrices, Rapport de Recherche INRIA, RR-4420, March 2002. http://www.inria.fr/RRRT/RR-4420.html .

Abramov, S.A., Bronstein, M., and Petkovšek, M., On Polynomial Solutions of Linear Operator Equations, Proc. of ISSAC’95, 1995, pp. 290–295.

Abramov, S.A., Bronstein, M., and Khmelnov, D.E., Regularization of Linear Recurrence Systems, Trans. Lyapunov Inst., 2003, vol. 4, pp. 158–171.

Abramov, S.A., Bronstein, M., and Khmelnov, D.E., On Regular and Logarithmic Solutions of Ordinary Linear Differential Systems, Proc. of CASC’05, 2005, pp. 1–12.

Abramov, S.A., Gheffar, A., and Khmelnov, D.E., Factorization of Polynomials and GCD Computations for Finding Universal Denominators, Proc. of CASC’2010, 2010, pp. 4–18.

Abramov, S.A., Gheffar, A., and Khmelnov, D.E., Rational Solutions of Linear Difference Equations Revisited, Proc. of CASTR’11, 2011, pp. 5–19.

Abramov, S.A. and Khmelnov, D.E., A Note on Computing the Regular Solutions of Linear Differential Systems, Proc. of RWCA’04, 2004, pp. 13–27.

Abramov, S.A. and Khmelnov, D.E., Desingularization of Leading Matrices of Systems of Linear Ordinary Differential Equations with Polynomial Coefficients, Int. Conf. “Differential Equations and Related Topics”, dedicated to I.G. Petrovskii, Book of Abstracts, 2011, p. 5.

Abramov, S.A. and Khmelnov, D.E., On Valuations of Meromorphic Solutions of Arbitrary-Order Linear Difference Systems with Polynomial Coefficients, Proc. of ISSAC’12, 2012, pp. 12–19.

Abramov, S. and Petkovšek, M., Special Power Series Solutions of Linear Differential Equations, Proc. of FPSAC’96, 1996, pp. 1–7.

Abramov, S.A., Petkovšek, M., and Ryabenko, A., Special Formal Series Solutions of Linear Operator Equations, Discrete Math., 1997, vol. 210, pp. 1–8.

Andrews, G.E., q-Series: Their Development and Application in Analysis, Number Theory, Combinatorics, Physics, and Computer Algebra, CBMS Regional Conf. Series, 1986, no. 66.

Barkatou, M., Contribution à l’étude des équations différentielles et aux différences dans le champ complexe, PhD Thesis, INPG, Grenoble France, 1989.

Barkatou, M., Rational Solutions of Matrix Difference Equations: Problem of Equivalence and Factorization, Proc. of ISSAC’99, 1999, pp. 277–282.

Barkatou, M.A., On Rational Solutions of Systems of Linear Differential Equations, J. Symbolic Computation, 1999, vol. 28, pp. 547–567.

Barkatou, M.A, El Bacha, C., and Cluzeau, T., Simple Forms of Higher-order Linear Differential Systems and Their Applications in Computing Regular Solutions, J. Symbolic Computation, 2011, vol. 46, pp. 633–658.

Barkatou, M.A., El Bacha, C., and Pflügel, E., Simultaneously Row- and Column-reduced Higher-order Linear Differential Systems, Proc. of ISSAC’10, 2010, pp. 45–52.

Barkatou, M. and Pflügel, E., An Algorithm Computing the Regular Formal Solutions of a System of Linear Differential Equations, J. Symbolic Computation, 1999, vol. 28, pp. 569–587.

Beckermann, B., Cheng, H., and Labahn, G., Fraction-free Row Reduction of Matrices of Skew Polynomials, Proc. of ISSAC’02, 2002, pp. 8–15.

Beckermann, B., Cheng, H., and Labahn, G., Fraction-free Row Reduction of Matrices of Ore Polynomials, J. Symbolic Computation, 2006, vol. 41, pp. 513–543.

Cope, F.T., Formal Solutions of Irregular Differential Eequations, Am. J. Math., 1936, vol. 58, pp. 130–149.

Davies, P., Cheng, H., and Labahn, G., Computing Popov Form of General Ore Polynomial Matrices, Proc. of Milestones in Computer Algebra (MICA), 2008, pp. 149–156.

Frobenius, G., Über die Integration der linearen Differentialgleichungen mit veränder Koefficienten, J. für die reine und angewandte Mathematik, 1873, vol. 76, pp. 214–235.

Gheffar, A. and Abramov, S., Valuations of Rational Solutions of Linear Difference Equations at Irreducible Polynomials, Adv. Appl. Math., 2011, pp. 352–364.

Heffter, L., Einleitung in die Theorie der linearen Differentialgleichungen, Leipzig: Teubner, 1894.

Hilali, A. and Wazner, A., Formes super-irréductibles des systèmes différentiels linéaires, Num. Math., 1987, vol. 50, pp. 429–449.

van Hoeij, M., Rational Solutions of Linear Difference Equations, Proc. of ISSAC’98, 1998, pp. 120–123.

van der Hoeven, J., Fast Evaluation of Holonomic Functions near and in Regular Singularities, J. Symbolic Computation, 2001, vol. 31, pp. 717–743.

McClellan, M., The Exact Solution of Systems of Linear Equations with Polynomial Coefficients, J. ACM, 1973, vol. 20, pp. 563–588.

Mulders, T. and Storjohann, A., Rational Solutions of Singular Linear Systems, Proc. of ISSAC’00, 2000, pp. 242–249.

Ore, O., Theory of Non-commutative Polynomials, Annals Math., 1933, vol. 34, pp. 480–508.

Poole, E., Introduction to the Theory of Linear Differential Equations, New York: Dover, 1960.

Quere, M.P. and Villard, G., An Algorithm for the Reduction of Linear DAE, Proc. of ISSAC’1995, 1995, pp. 223–231.

Maple online help: http://www.maplesoft.com/support/help/