| 2025 | CASC | Computation of Stirling Numbers for Complex Arguments. | Robert M. Corless, David J. Jeffrey, Qingze Li |
| 2025 | SYNASC | Factorial Powers. | Robert M. Corless, David J. Jeffrey, Qingze Li |
| 2025 | SYNASC | Fraction-Free Comprehensive LU Decomposition and Variants. | Aishat Olagunju, Marc Moreno Maza, David J. Jeffrey |
| 2024 | SYNASC | Some Family Relations for Rational Orthogonal Matrices. | Johannes Middeke, David J. Jeffrey |
| 2024 | SYNASC | Comprehensive LU Decomposition and True Path. | Aishat Olagunju, Marc Moreno Maza, David J. Jeffrey |
| 2024 | SYNASC | An Abstraction-Preserving Block Matrix Implementation in Maple. | Stephen M. Watt, David J. Jeffrey |
| 2023 | CASC | Non-principal Branches of Lambert W. A Tale of 2 Circles. | Jacob Imre, David J. Jeffrey |
| 2022 | CASC | Subresultant Chains Using Bzout Matrices. | Mohammadali Asadi, Alexander Brandt, David J. Jeffrey, Marc Moreno Maza |
| 2018 | SYNASC | Rational Householder Transformations. | Ana Carolina Camargos Couto, David J. Jeffrey |
| 2017 | SYNASC | Properties and Computation of the Functional Inverse of Gamma. | K. Amenyo Folitse, David J. Jeffrey, Robert M. Corless |
| 2015 | SYNASC | Computation of Stirling Numbers and Generalizations. | Silvana Ilie, David J. Jeffrey, Robert M. Corless, X. Zhang |
| 2015 | SYNASC | Lagrange Inversion and Lambert W. | David J. Jeffrey, G. A. Kalugin, Nick Murdoch |
| 2014 | AISC | Multivalued Elementary Functions in Computer-Algebra Systems. | David J. Jeffrey |
| 2014 | ICCS | Exploring Rounding Errors in Matlab Using Extended Precision. | Dina Tsarapkina, David J. Jeffrey |
| 2014 | ISSAC | The asymptotic analysis of some interpolated nonlinear recurrence relations. | Robert M. Corless, David J. Jeffrey, Fei Wang |
| 2013 | SYNASC | Software Implementation of Numerical Algorithms in Arbitrary Precision. | Zinovi L. Krougly, David J. Jeffrey, Dina Tsarapkina |
| 2013 | SYNASC | Common Factors in Fraction-Free Matrix Reduction. | Johannes Middeke, Ahmed Almohaimeed, David J. Jeffrey |
| 2010 | AISC | Reducing Expression Size Using Rule-Based Integration. | David J. Jeffrey, Albert D. Rich |
| 2008 | ISSAC | The complete root classification of a parametric polynomial on an interval. | Songxin Liang, David J. Jeffrey, Marc Moreno Maza |
| 2007 | ISSAC | The solution of | Robert M. Corless, Hui Ding, David J. Jeffrey |
| 2006 | AISC | An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial. | Songxin Liang, David J. Jeffrey |
| 2006 | AISC | Hierarchical Representations with Signatures for Large Expression Management. | Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan |
| 2005 | ICCS | Stokes-Flow Problem Solved Using Maple. | Pratibha, David J. Jeffrey |
| 2005 | ICCS | An Algebraic Method for Analyzing Open-Loop Dynamic Systems. | Wenqin Zhou, David J. Jeffrey, Gregory J. Reid |
| 2005 | ISSAC | Affine transformations of algebraic numbers. | David J. Jeffrey, Pratibha, K. B. Roach |
| 2002 | AISC | The Wright omega Function. | Robert M. Corless, David J. Jeffrey |
| 2000 | AISC | Reasoning about the Elementary Functions of Complex Analysis. | Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt |
| 1999 | ISSAC | Approximate polynomial decomposition. | Robert M. Corless, Mark Giesbrecht, David J. Jeffrey, Stephen M. Watt |
| 1998 | ISSAC | Recursive Integration of Piecewise-Continuous Functions. | David J. Jeffrey, Albert D. Rich |
| 1997 | ISSAC | A Sequence of Series for the Lambert W Function. | Robert M. Corless, David J. Jeffrey, Donald E. Knuth |
| 1997 | ISSAC | Integration of the Signum, Piecewise and Related Functions. | David J. Jeffrey, George Labahn, Martin von Mohrenschildt, Albert D. Rich |
| 1993 | ISSAC | Integration to Obtain Expressions Valid on Domains of Maximum Extent. | David J. Jeffrey |