Michael F. Singer

Found. Comput. Math., 2022

2021

Telescopers for differential forms with one parameter.

[BibT_eX]

[DOI]

CoRR, 2021

Separability Problems in Creative Telescoping.

[BibT_eX]

[DOI]

Proceedings of the ISSAC '21: International Symposium on Symbolic and Algebraic Computation, 2021

2020

Walks in the quarter plane: Genus zero case.

[BibT_eX]

[DOI]

J. Comb. Theory A, 2020

On Differentially Algebraic Generating Series for Walks in the Quarter Plane.

[BibT_eX]

[DOI]

Charlotte Hardouin

CoRR, 2020

Some structural results on D<sup><i>n</i></sup>-finite functions.

[BibT_eX]

[DOI]

Antonio Jiménez-Pastor

Veronika Pillwein

Adv. Appl. Math., 2020

2016

Desingularization of Ore operators.

[BibT_eX]

[DOI]

Manuel Kauers

J. Symb. Comput., 2016

2014

Parallel telescoping and parameterized Picard-Vessiot theory.

[BibT_eX]

[DOI]

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

2013

Desingularization explains order-degree curves for ore operators.

[BibT_eX]

[DOI]

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

2012

On the Summability of Bivariate Rational Functions

[BibT_eX]

[DOI]

CoRR, 2012

Residues and Telescopers for Rational Functions

[BibT_eX]

[DOI]

CoRR, 2012

Residues and telescopers for bivariate rational functions.

[BibT_eX]

[DOI]

Adv. Appl. Math., 2012

Telescopers for rational and algebraic functions via residues.

[BibT_eX]

[DOI]

Manuel Kauers

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

2010

An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations.

[BibT_eX]

[DOI]

Ruyong Feng

Min Wu

J. Symb. Comput., 2010

Liouvillian solutions of linear difference-differential equations.

[BibT_eX]

[DOI]

Ruyong Feng

Min Wu

J. Symb. Comput., 2010

2008

Liouvillian Solutions of Difference-Differential Equations

[BibT_eX]

[DOI]

Ruyong Feng

Min Wu

CoRR, 2008

2007

Introduction to the Galois Theory of Linear Differential Equations

[BibT_eX]

[DOI]

CoRR, 2007

2006

A recursive method for determining the one-dimensional submodules of Laurent-Ore modules.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006

2002

Linear Differential Operators for Polynomial Equations.

[BibT_eX]

[DOI]

J. Symb. Comput., 2002

2000

Computing the Galois group of a polynomial using linear differential equations.

[BibT_eX]

[DOI]

Olivier Cormier

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

1999

Solving Difference Equations in Finite Terms.

[BibT_eX]

[DOI]

P. A. Hendricks

J. Symb. Comput., 1999

Computing Galois Groups of Completely Reducible Differential Equations.

[BibT_eX]

[DOI]

Elie Compoint

J. Symb. Comput., 1999

East Coast Computer Algebra Day '99 (April 24, 1999): abstracts of invited talks and presented posters.

[BibT_eX]

[DOI]

Hoon Hong

Erich L. Kaltofen

SIGSAM Bull., 1999

1996

Testing reducibility of linear differential operators: A group theoretic perspective.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 1996

1995

On Computing Algebraic Functions Using Logarithms and Exponentials.

[BibT_eX]

[DOI]

Andrew Chi-Chih Yao

SIAM J. Comput., 1995

Necessary conditions for liouvillian solutions of (third order) linear differential equations.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 1995

1994

Computational Complexity of Sparse Rational Interpolation.

[BibT_eX]

[DOI]

Marek Karpinski

SIAM J. Comput., 1994

1993

Liouvillian and Algebraic Solutions of Second and Third Order Linear Differential Equations.

[BibT_eX]

[DOI]

J. Symb. Comput., 1993

Galois Groups of Second and Third Order Linear Differential Equations.

[BibT_eX]

[DOI]

J. Symb. Comput., 1993

On a Third Order Differential Equation whose Differential Galois Group is the Simple Group of 168 Elements.

[BibT_eX]

[DOI]

Proceedings of the Applied Algebra, 1993

1992

Liouvillian Solutions of Third Order Linear Differential Equations: New Bounds and Necessary Conditions.

[BibT_eX]

[DOI]

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

1991

Liouvillian Solutions of Linear Differential Equations with Liouvillian Coefficients.

[BibT_eX]

[DOI]

J. Symb. Comput., 1991

Differential equations and computer algebra.

[BibT_eX]

Computational mathematics and applications, Academic Press, ISBN: 978-0-12-645950-0, 1991

1990

Fast Parallel Algorithms for Sparse Multivariate Polynomial Interpolation over Finite Fields.

[BibT_eX]

[DOI]

Marek Karpinski

SIAM J. Comput., 1990

Formal Solutions of Differential Equations.

[BibT_eX]

[DOI]

J. Symb. Comput., 1990

Interpolation of Sparse Rational Functions Without Knowing Bounds on Exponents

[BibT_eX]

[DOI]

Marek Karpinski

Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990

1988

Liouvillian First Integrals of Differential Equations.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Algebraic Computation, 1988

1986

Elementary and Liouvillian Solutions of Linear Differential Equations.

[BibT_eX]

[DOI]

James H. Davenport

J. Symb. Comput., 1986

1985

An Extension of Liouville's Theorem on Integration in Finite Terms.

[BibT_eX]

[DOI]

B. David Saunders

Bob F. Caviness

SIAM J. Comput., 1985

1981

Elementary first integrals of differential equations.

[BibT_eX]

[DOI]

Myra Jean Prelle

Proceedings of the Symposium on Symbolic and Algebraic Manipulation, 1981

1978

The Model Theory of Ordered Differential Fields.

[BibT_eX]

[DOI]