The Model Theory of Ordered Differential Fields. - Michael F. Singer (J. Symb. Log., 1978)

Elementary first integrals of differential equations. - Myra Jean Prelle; Michael F. Singer (SYMSACC, 1981)

An Extension of Liouville's Theorem on Integration in Finite Terms. - Michael F. Singer; B. David Saunders; Bob F. Caviness (SIAM J. Comput., 1985)

Elementary and Liouvillian Solutions of Linear Differential Equations. - James H. Davenport; Michael F. Singer (J. Symb. Comput., 1986)

Liouvillian First Integrals of Differential Equations. - Michael F. Singer (ISSAC, 1988)

Interpolation of Sparse Rational Functions Without Knowing Bounds on Exponents - Dima Grigoriev; Marek Karpinski; Michael F. Singer (FOCS, 1990)

Formal Solutions of Differential Equations. - Michael F. Singer (J. Symb. Comput., 1990)

Fast Parallel Algorithms for Sparse Multivariate Polynomial Interpolation over Finite Fields. - Dima Grigoriev; Marek Karpinski; Michael F. Singer (SIAM J. Comput., 1990)

Differential equations and computer algebra. - Michael F. Singer (Academic Press, 1991)

Liouvillian Solutions of Linear Differential Equations with Liouvillian Coefficients. - Michael F. Singer (J. Symb. Comput., 1991)

Liouvillian Solutions of Third Order Linear Differential Equations: New Bounds and Necessary Conditions. - Michael F. Singer; Felix Ulmer (ISSAC, 1992)

On a Third Order Differential Equation whose Differential Galois Group is the Simple Group of 168 Elements. - Michael F. Singer; Felix Ulmer (AAECC, 1993)

Galois Groups of Second and Third Order Linear Differential Equations. - Michael F. Singer; Felix Ulmer (J. Symb. Comput., 1993)

Liouvillian and Algebraic Solutions of Second and Third Order Linear Differential Equations. - Michael F. Singer; Felix Ulmer (J. Symb. Comput., 1993)

Computational Complexity of Sparse Rational Interpolation. - Dima Grigoriev; Marek Karpinski; Michael F. Singer (SIAM J. Comput., 1994)

Necessary conditions for liouvillian solutions of (third order) linear differential equations. - Michael F. Singer; Felix Ulmer (Appl. Algebra Eng. Commun. Comput., 1995)

On Computing Algebraic Functions Using Logarithms and Exponentials. - Dima Grigoriev; Michael F. Singer; Andrew Chi-Chih Yao (SIAM J. Comput., 1995)

Testing reducibility of linear differential operators: A group theoretic perspective. - Michael F. Singer (Appl. Algebra Eng. Commun. Comput., 1996)

East Coast Computer Algebra Day '99 (April 24, 1999): abstracts of invited talks and presented posters. - Hoon Hong; Erich L. Kaltofen; Michael F. Singer (SIGSAM Bull., 1999)

Computing Galois Groups of Completely Reducible Differential Equations. - Elie Compoint; Michael F. Singer (J. Symb. Comput., 1999)

Solving Difference Equations in Finite Terms. - P. A. Hendricks; Michael F. Singer (J. Symb. Comput., 1999)

Computing the Galois group of a polynomial using linear differential equations. - Olivier Cormier; Michael F. Singer; Felix Ulmer (ISSAC, 2000)

Linear Differential Operators for Polynomial Equations. - Olivier Cormier; Michael F. Singer; Barry M. Trager; Felix Ulmer (J. Symb. Comput., 2002)

A recursive method for determining the one-dimensional submodules of Laurent-Ore modules. - Ziming Li 002; Michael F. Singer; Min Wu 003; Dabin Zheng (ISSAC, 2006)

Introduction to the Galois Theory of Linear Differential Equations - Michael F. Singer (CoRR, 2007)

Liouvillian Solutions of Difference-Differential Equations - Ruyong Feng; Michael F. Singer; Min Wu 003 (CoRR, 2008)

Liouvillian solutions of linear difference-differential equations. - Ruyong Feng; Michael F. Singer; Min Wu 003 (J. Symb. Comput., 2010)

An algorithm to compute Liouvillian solutions of prime order linear difference-differential equations. - Ruyong Feng; Michael F. Singer; Min Wu 003 (J. Symb. Comput., 2010)

Telescopers for rational and algebraic functions via residues. - Shaoshi Chen; Manuel Kauers; Michael F. Singer (ISSAC, 2012)

Residues and telescopers for bivariate rational functions. - Shaoshi Chen; Michael F. Singer (Adv. Appl. Math., 2012)

Residues and Telescopers for Rational Functions - Shaoshi Chen; Michael F. Singer (CoRR, 2012)

On the Summability of Bivariate Rational Functions - Shaoshi Chen; Michael F. Singer (CoRR, 2012)

Desingularization explains order-degree curves for ore operators. - Shaoshi Chen; Maximilian Jaroschek; Manuel Kauers; Michael F. Singer (ISSAC, 2013)

Parallel telescoping and parameterized Picard-Vessiot theory. - Shaoshi Chen; Ruyong Feng; Ziming Li 002; Michael F. Singer (ISSAC, 2014)

Desingularization of Ore operators. - Shaoshi Chen; Manuel Kauers; Michael F. Singer (J. Symb. Comput., 2016)

Some structural results on Dn-finite functions. - Antonio Jiménez-Pastor; Veronika Pillwein; Michael F. Singer (Adv. Appl. Math., 2020)

On Differentially Algebraic Generating Series for Walks in the Quarter Plane. - Charlotte Hardouin; Michael F. Singer (CoRR, 2020)

Walks in the quarter plane: Genus zero case. - Thomas Dreyfus; Charlotte Hardouin; Julien Roques; Michael F. Singer (J. Comb. Theory A, 2020)

Separability Problems in Creative Telescoping. - Shaoshi Chen; Ruyong Feng; Pingchuan Ma 008; Michael F. Singer (ISSAC, 2021)

Telescopers for differential forms with one parameter. - Shaoshi Chen; Ruyong Feng; Ziming Li 002; Michael F. Singer; Stephen M. Watt (CoRR, 2021)

Sparse Interpolation in Terms of Multivariate Chebyshev Polynomials. - Evelyne Hubert; Michael F. Singer (Found. Comput. Math., 2022)

On deciding transcendence of power series. - Alin Bostan; Bruno Salvy; Michael F. Singer (CoRR, 2025)