Solution of a Hydrodynamic Lubrication Problem with Maple. - Robert M. Corless; David J. Jeffrey (J. Symb. Comput., 1990)

Well ... it isn't quite that simple. - Robert M. Corless; David J. Jeffrey (SIGSAM Bull., 1992)

Integration to Obtain Expressions Valid on Domains of Maximum Extent. - David J. Jeffrey (ISSAC, 1993)

The evaluation of trigonometric integrals avoiding spurious discontinuities. - David J. Jeffrey; Albert D. Rich (ACM Trans. Math. Softw., 1994)

On the LambertW function. - Robert M. Corless; Gaston H. Gonnet; D. E. G. Hare; David J. Jeffrey; Donald E. Knuth (Adv. Comput. Math., 1996)

The unwinding number. - Robert M. Corless; David J. Jeffrey (SIGSAM Bull., 1996)

Function evaluation on branch cuts. - Albert D. Rich; David J. Jeffrey (SIGSAM Bull., 1996)

A Sequence of Series for the Lambert W Function. - Robert M. Corless; David J. Jeffrey; Donald E. Knuth (ISSAC, 1997)

Integration of the Signum, Piecewise and Related Functions. - David J. Jeffrey; George Labahn; Martin von Mohrenschildt; Albert D. Rich (ISSAC, 1997)

The Turing factorization of a rectangular matrix. - Robert M. Corless; David J. Jeffrey (SIGSAM Bull., 1997)

Scientific Computing: One Part of the Revolution. - Robert M. Corless; David J. Jeffrey (J. Symb. Comput., 1997)

Two Perturbation Calculations in Fluid Mechanics Using Large-Expression Management. - Robert M. Corless; David J. Jeffrey; Michael B. Monagan; Pratibha (J. Symb. Comput., 1997)

Rectifying Transformations for the Integration of Rational Trigonometric Functions. - David J. Jeffrey (J. Symb. Comput., 1997)

Recursive Integration of Piecewise-Continuous Functions. - David J. Jeffrey; Albert D. Rich (ISSAC, 1998)

Graphing elementary Riemann surfaces. - Robert M. Corless; David J. Jeffrey (SIGSAM Bull., 1998)

Approximate polynomial decomposition. - Robert M. Corless; Mark Giesbrecht; David J. Jeffrey; Stephen M. Watt (ISSAC, 1999)

Reasoning about the Elementary Functions of Complex Analysis. - Robert M. Corless; James H. Davenport; David J. Jeffrey; Gurjeet Litt; Stephen M. Watt (AISC, 2000)

"According to Abramowitz and Stegun" or arccoth needn't be uncouth. - Robert M. Corless; David J. Jeffrey; Stephen M. Watt; James H. Davenport (SIGSAM Bull., 2000)

The Wright omega Function. - Robert M. Corless; David J. Jeffrey (AISC, 2002)

Reasoning about the Elementary Functions of Complex Analysis. - Russell J. Bradford; Robert M. Corless; James H. Davenport; David J. Jeffrey; Stephen M. Watt (Ann. Math. Artif. Intell., 2002)

Polynomial transformations of Tschirnhaus, Bring and Jerrard. - Victor S. Adamchik; David J. Jeffrey (SIGSAM Bull., 2003)

Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems. - Wenqin Zhou; David J. Jeffrey; Gregory J. Reid; Chad Schmitke; John McPhee 001 (IWMM/GIAE, 2004)

Not seeing the roots for the branches: multivalued functions in computer algebra. - David J. Jeffrey; Arthur C. Norman (SIGSAM Bull., 2004)

The Art of Formula. - David J. Jeffrey (Algorithmic Algebra and Logic, 2005)

Stokes-Flow Problem Solved Using Maple. - Pratibha; David J. Jeffrey (International Conference on Computational Science (3), 2005)

An Algebraic Method for Analyzing Open-Loop Dynamic Systems. - Wenqin Zhou; David J. Jeffrey; Gregory J. Reid (International Conference on Computational Science (3), 2005)

Affine transformations of algebraic numbers. - David J. Jeffrey; Pratibha; K. B. Roach (ISSAC, 2005)

A note on Laplace's equation inside a cylinder. - Silvana Ilie; David J. Jeffrey (Appl. Math. Lett., 2005)

An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial. - Songxin Liang; David J. Jeffrey (AISC, 2006)

Hierarchical Representations with Signatures for Large Expression Management. - Wenqin Zhou; Jacques Carette; David J. Jeffrey; Michael B. Monagan (AISC, 2006)

Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact. - Songxin Liang; David J. Jeffrey (ASCM, 2007)

The solution of s exp(s) = a is not always the lambert w function of a. - Robert M. Corless; Hui Ding; David J. Jeffrey (ISSAC, 2007)

Rule-Based Simplification in Vector-Product Spaces. - Songxin Liang; David J. Jeffrey (Calculemus/MKM, 2007)

The complete root classification of a parametric polynomial on an interval. - Songxin Liang; David J. Jeffrey; Marc Moreno Maza (ISSAC, 2008)

Automatic computation of the travelling wave solutions to nonlinear PDEs. - Songxin Liang; David J. Jeffrey (Comput. Phys. Commun., 2008)

Fraction-free matrix factors: new forms for LU and QR factors. - Wenqin Zhou; David J. Jeffrey (Frontiers Comput. Sci. China, 2008)

A Knowledge Repository for Indefinite Integration Based on Transformation Rules. - Albert D. Rich; David J. Jeffrey (Calculemus/MKM, 2009)

A package for solving parametric polynomial systems. - Jürgen Gerhard; D. J. Jeffrey; Guillaume Moroz (ACM Commun. Comput. Algebra, 2009)

New travelling wave solutions to modified CH and DP equations. - Songxin Liang; David J. Jeffrey (Comput. Phys. Commun., 2009)

An efficient analytical approach for solving fourth order boundary value problems. - Songxin Liang; David J. Jeffrey (Comput. Phys. Commun., 2009)

Automatic computation of the complete root classification for a parametric polynomial. - Songxin Liang; David J. Jeffrey (J. Symb. Comput., 2009)

Reducing Expression Size Using Rule-Based Integration. - David J. Jeffrey; Albert D. Rich (AISC/MKM/Calculemus, 2010)

Series Transformations to Improve and Extend Convergence. - G. A. Kalugin; D. J. Jeffrey (CASC, 2010)

LU factoring of non-invertible matrices. - D. J. Jeffrey (ACM Commun. Comput. Algebra, 2010)

Approximate solutions to a parameterized sixth order boundary value problem. - Songxin Liang; David J. Jeffrey (Comput. Math. Appl., 2010)

A conjecture concerning a completely monotonic function. - Ekaterina Shemyakova; S. I. Khashin; D. J. Jeffrey (Comput. Math. Appl., 2010)

An analytical approach for solving nonlinear boundary value problems in finite domains. - Songxin Liang; David J. Jeffrey (Numer. Algorithms, 2011)

OJAX++: Demonstrating the next generation of Virtual Research Environments. - David J. Jeffrey; Judith Wusteman (Electron. Libr., 2012)

Algorithm 917: Complex Double-Precision Evaluation of the Wright ω Function. - Piers W. Lawrence; Robert M. Corless; David J. Jeffrey (ACM Trans. Math. Softw., 2012)

Software Implementation of Numerical Algorithms in Arbitrary Precision. - Zinovi L. Krougly; David J. Jeffrey; Dina Tsarapkina (SYNASC, 2013)

Common Factors in Fraction-Free Matrix Reduction. - Johannes Middeke; Ahmed Almohaimeed; David J. Jeffrey (SYNASC, 2013)

Indefinite integration as term rewriting: Integrals containing tangent. - Junrui Hu; Y. Hou; Albert D. Rich; David J. Jeffrey (Program. Comput. Softw., 2013)

Multivalued Elementary Functions in Computer-Algebra Systems. - David J. Jeffrey (AISC, 2014)

Exploring Rounding Errors in Matlab Using Extended Precision. - Dina Tsarapkina; David J. Jeffrey (ICCS, 2014)

The asymptotic analysis of some interpolated nonlinear recurrence relations. - Robert M. Corless; David J. Jeffrey; Fei Wang (ISSAC, 2014)

Branch Differences and Lambert W. - D. J. Jeffrey; Julia E. Jankowski (SYNASC, 2014)

Some definite integrals containing the Tree T function. - Robert M. Corless; Junrui Hu; David J. Jeffrey (ACM Commun. Comput. Algebra, 2014)

Fraction-Free Factoring Revisited. - Johannes Middeke; David J. Jeffrey (ACM Commun. Comput. Algebra, 2014)

Computation of Stirling Numbers and Generalizations. - Silvana Ilie; David J. Jeffrey; Robert M. Corless; X. Zhang (SYNASC, 2015)

Lagrange Inversion and Lambert W. - David J. Jeffrey; G. A. Kalugin; Nick Murdoch (SYNASC, 2015)

RUBI and integration as term re-writing: integrals containing tangent. - David J. Jeffrey; Albert D. Rich; Junrui Hu (ACM Commun. Comput. Algebra, 2015)

Unwinding paths on the Riemann sphere for continuous integrals of rational functions. - Robert H. C. Moir; Robert M. Corless; David J. Jeffrey (ACM Commun. Comput. Algebra, 2015)

Matrix factoring by fraction-free reduction. - Johannes Middeke; David J. Jeffrey (CoRR, 2016)

Computation of Some Integer Sequences in Maple. - W. L. Fan; D. J. Jeffrey; Erik Postma (CASC, 2017)

Stirling Numbers, Lambert W and the Gamma Function. - David J. Jeffrey; Nick Murdoch (MACIS, 2017)

Rapidly Convergent Integrals and Function Evaluation. - Heba al Kafri; David J. Jeffrey; Robert M. Corless (MACIS, 2017)

Properties and Computation of the Functional Inverse of Gamma. - K. Amenyo Folitse; David J. Jeffrey; Robert M. Corless (SYNASC, 2017)

Rational Orthonormal Matrices. - Nasir Khattak; D. J. Jeffrey (SYNASC, 2017)

Branch Structure and Implementation of Lambert W. - David J. Jeffrey (Math. Comput. Sci., 2017)

Rational Householder Transformations. - Ana Carolina Camargos Couto; David J. Jeffrey (SYNASC, 2018)

Comprehensive anti-derivatives and parametric continuity. - Robert M. Corless; David J. Jeffrey; David R. Stoutemyer (ACM Commun. Comput. Algebra, 2018)

Comprehensive LU Factors of Polynomial Matrices. - Ana C. Camargos Couto; Marc Moreno Maza; David Linder; David J. Jeffrey; Robert M. Corless (MACIS, 2019)

Using Maple to Make Manageable Matrices. - Ana C. Camargos Couto; David J. Jeffrey (MC, 2019)

Bernoulli's Problem xy=yx and Maple. - Toufic J. Ayoub; Kishore Basu; David J. Jeffrey (MC, 2020)

Recent results on the Lambert W function. - Toufic J. Ayoub; Kishore Basu; D. J. Jeffrey (SYNASC, 2020)

Parametric Linear Algebra in Maple: Reduced Row Echelon Form. - Siyuan Deng; Greg Reid; D. J. Jeffrey (SYNASC, 2021)

Tree $T$ and Lambert $W$. - D. J. Jeffrey (SYNASC, 2021)

An unwinding number pair for continuous expressions of integrals. - Robert H. C. Moir; Robert M. Corless; David J. Jeffrey (J. Symb. Comput., 2021)

Problems, Puzzles, and Challenges. - David J. Jeffrey (Maple Trans., 2021)

Common Factors in Fraction-Free Matrix Decompositions. - Johannes Middeke; David J. Jeffrey; Christoph Koutschan (Math. Comput. Sci., 2021)

Subresultant Chains Using Bézout Matrices. - Mohammadali Asadi; Alexander Brandt; David J. Jeffrey; Marc Moreno Maza (CASC, 2022)

Working with Families of Inverse Functions. - David J. Jeffrey; Stephen M. Watt (CICM, 2022)

A Fractal Eigenvector. - Neil J. Calkin; Eunice Y. S. Chan; Robert M. Corless; David J. Jeffrey; Piers W. Lawrence (Am. Math. Mon., 2022)

Non-principal Branches of Lambert W. A Tale of 2 Circles. - Jacob Imre; David J. Jeffrey (CASC, 2023)

Teaching Linear Algebra in a Mechanized Mathematical Environment. - Robert M. Corless; David J. Jeffrey; Azar Shakoori (CICM, 2023)

The Inverse of the Complex Gamma Function. - D. J. Jeffrey; Stephen M. Watt (SYNASC, 2023)

Two-cycles in the Infinite Exponential Tower. - Robert M. Corless; David J. Jeffrey; Johan Joby (Maple Trans., 2023)

Towering Fractals. - Johan Joby; David J. Jeffrey; Robert M. Corless (Maple Trans., 2023)

Riemann Surfaces, Branch Cuts and Charisma. - David J. Jeffrey (SCSS, 2024)

Software for indefinite integration. - Arthur C. Norman; David J. Jeffrey (SCSS (Work in Progress), 2024)

Some Family Relations for Rational Orthogonal Matrices. - Johannes Middeke; David J. Jeffrey (SYNASC, 2024)

Comprehensive LU Decomposition and True Path. - Aishat Olagunju; Marc Moreno Maza; David J. Jeffrey (SYNASC, 2024)

An Abstraction-Preserving Block Matrix Implementation in Maple. - Stephen M. Watt; David J. Jeffrey (SYNASC, 2024)

Puzzles. - David J. Jeffrey (Maple Trans., 2024)

Getting the third degree. - David J. Jeffrey; Victoria Quance; Micaela Vancea (Maple Trans., 2024)

Applications of Rational Orthogonal Matrices. - Johannes Middeke; David J. Jeffrey; Aishat Olagunju (Math. Comput. Sci., 2024)

Bidiagonal factoring of Stirling matrices. - Robert M. Corless; David J. Jeffrey; Qingze Li (Maple Trans., 2025)