David J. Jeffrey

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 22

Top Topics

Asymptotic Analysis

Elementary Functions

Difficulties Encountered

Top Venues

ACM Commun. Comput. Algebra

Math. Comput. Sci.

Publications

Johannes Middeke, David J. Jeffrey, Aishat Olagunju
Applications of Rational Orthogonal Matrices. Math. Comput. Sci. 18 (3) (2024)
Johan Joby, David J. Jeffrey, Robert M. Corless
Towering Fractals. Maple Trans. 3 (3) (2023)
Robert M. Corless, David J. Jeffrey, Azar Shakoori
Teaching Linear Algebra in a Mechanized Mathematical Environment. CICM (2023)
David J. Jeffrey, Stephen M. Watt
The Inverse of the Complex Gamma Function. CoRR (2023)
Jacob Imre, David J. Jeffrey
Non-principal Branches of Lambert W. A Tale of 2 Circles. CASC (2023)
Robert M. Corless, David J. Jeffrey, Johan Joby
Two-cycles in the Infinite Exponential Tower. Maple Trans. 3 (4) (2023)
Mohammadali Asadi, Alexander Brandt, David J. Jeffrey, Marc Moreno Maza
Subresultant Chains Using Bézout Matrices. CASC (2022)
Neil J. Calkin, Eunice Y. S. Chan, Robert M. Corless, David J. Jeffrey, Piers W. Lawrence
A Fractal Eigenvector. Am. Math. Mon. 129 (6) (2022)
David J. Jeffrey, Stephen M. Watt
Working with Families of Inverse Functions. CICM (2022)
Johannes Middeke, David J. Jeffrey, Christoph Koutschan
Common Factors in Fraction-Free Matrix Decompositions. Math. Comput. Sci. 15 (4) (2021)
David J. Jeffrey
Problems, Puzzles, and Challenges. Maple Trans. 1 (2) (2021)
Robert H. C. Moir, Robert M. Corless, David J. Jeffrey
An unwinding number pair for continuous expressions of integrals. J. Symb. Comput. 105 (2021)
T. J. Ayoub, K. Basu, David J. Jeffrey
and Maple. MC (2020)
Ana C. Camargos Couto, David J. Jeffrey
Using Maple to Make Manageable Matrices. MC (2019)
Ana C. Camargos Couto, Marc Moreno Maza, David Linder, David J. Jeffrey, Robert M. Corless
Comprehensive LU Factors of Polynomial Matrices. MACIS (2019)
Ana Carolina Camargos Couto, David J. Jeffrey
Rational Householder Transformations. SYNASC (2018)
Robert M. Corless, David J. Jeffrey, David R. Stoutemyer
Comprehensive anti-derivatives and parametric continuity. ACM Commun. Comput. Algebra 52 (2) (2018)
Heba al Kafri, David J. Jeffrey, Robert M. Corless
Rapidly Convergent Integrals and Function Evaluation. MACIS (2017)
David J. Jeffrey
Branch Structure and Implementation of Lambert W. Math. Comput. Sci. 11 (3-4) (2017)
David J. Jeffrey, Nick Murdoch
Stirling Numbers, Lambert W and the Gamma Function. MACIS (2017)
K. Amenyo Folitse, David J. Jeffrey, Robert M. Corless
Properties and Computation of the Functional Inverse of Gamma. SYNASC (2017)
Johannes Middeke, David J. Jeffrey
Matrix factoring by fraction-free reduction. CoRR (2016)
David J. Jeffrey, Albert D. Rich, Junrui Hu
RUBI and integration as term re-writing: integrals containing tangent. ACM Commun. Comput. Algebra 49 (1) (2015)
Robert H. C. Moir, Robert M. Corless, David J. Jeffrey
Unwinding paths on the Riemann sphere for continuous integrals of rational functions. ACM Commun. Comput. Algebra 49 (1) (2015)
Silvana Ilie, David J. Jeffrey, Robert M. Corless, X. Zhang
Computation of Stirling Numbers and Generalizations. SYNASC (2015)
David J. Jeffrey, G. A. Kalugin, Nick Murdoch
Lagrange Inversion and Lambert W. SYNASC (2015)
Robert M. Corless, Junrui Hu, David J. Jeffrey
Some definite integrals containing the Tree T function. ACM Commun. Comput. Algebra 48 (1/2) (2014)
Johannes Middeke, David J. Jeffrey
Fraction-Free Factoring Revisited. ACM Commun. Comput. Algebra 48 (3/4) (2014)
Robert M. Corless, David J. Jeffrey, Fei Wang
The asymptotic analysis of some interpolated nonlinear recurrence relations. ISSAC (2014)
David J. Jeffrey
Multivalued Elementary Functions in Computer-Algebra Systems. AISC (2014)
Dina Tsarapkina, David J. Jeffrey
Exploring Rounding Errors in Matlab Using Extended Precision. ICCS (2014)
Junrui Hu, Y. Hou, Albert D. Rich, David J. Jeffrey
Indefinite integration as term rewriting: Integrals containing tangent. Program. Comput. Softw. 39 (2) (2013)
Johannes Middeke, Ahmed Almohaimeed, David J. Jeffrey
Common Factors in Fraction-Free Matrix Reduction. SYNASC (2013)
Zinovi L. Krougly, David J. Jeffrey, Dina Tsarapkina
Software Implementation of Numerical Algorithms in Arbitrary Precision. SYNASC (2013)
Piers W. Lawrence, Robert M. Corless, David J. Jeffrey
Algorithm 917: Complex Double-Precision Evaluation of the Wright ω Function. ACM Trans. Math. Softw. 38 (3) (2012)
David J. Jeffrey, Judith Wusteman
OJAX++: Demonstrating the next generation of Virtual Research Environments. Electron. Libr. 30 (1) (2012)
Songxin Liang, David J. Jeffrey
An analytical approach for solving nonlinear boundary value problems in finite domains. Numer. Algorithms 56 (1) (2011)
Songxin Liang, David J. Jeffrey
Approximate solutions to a parameterized sixth order boundary value problem. Comput. Math. Appl. 59 (1) (2010)
David J. Jeffrey, Albert D. Rich
Reducing Expression Size Using Rule-Based Integration. AISC/MKM/Calculemus (2010)
Albert D. Rich, David J. Jeffrey
A Knowledge Repository for Indefinite Integration Based on Transformation Rules. Calculemus/MKM (2009)
Songxin Liang, David J. Jeffrey
Automatic computation of the complete root classification for a parametric polynomial. J. Symb. Comput. 44 (10) (2009)
Songxin Liang, David J. Jeffrey
New travelling wave solutions to modified CH and DP equations. Comput. Phys. Commun. 180 (9) (2009)
Songxin Liang, David J. Jeffrey
An efficient analytical approach for solving fourth order boundary value problems. Comput. Phys. Commun. 180 (11) (2009)
Songxin Liang, David J. Jeffrey, Marc Moreno Maza
The complete root classification of a parametric polynomial on an interval. ISSAC (2008)
Songxin Liang, David J. Jeffrey
Automatic computation of the travelling wave solutions to nonlinear PDEs. Comput. Phys. Commun. 178 (9) (2008)
Wenqin Zhou, David J. Jeffrey
Fraction-free matrix factors: new forms for LU and QR factors. Frontiers Comput. Sci. China 2 (1) (2008)
Songxin Liang, David J. Jeffrey
Rule-Based Simplification in Vector-Product Spaces. Calculemus/MKM (2007)
Songxin Liang, David J. Jeffrey
Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact. ASCM (2007)
Robert M. Corless, Hui Ding, David J. Jeffrey
. ISSAC (2007)
Songxin Liang, David J. Jeffrey
An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial. AISC (2006)
Wenqin Zhou, Jacques Carette, David J. Jeffrey, Michael B. Monagan
Hierarchical Representations with Signatures for Large Expression Management. AISC (2006)
Wenqin Zhou, David J. Jeffrey, Gregory J. Reid
An Algebraic Method for Analyzing Open-Loop Dynamic Systems. International Conference on Computational Science (3) (2005)
David J. Jeffrey
The Art of Formula. Algorithmic Algebra and Logic (2005)
Pratibha, David J. Jeffrey
Stokes-Flow Problem Solved Using Maple. International Conference on Computational Science (3) (2005)
Silvana Ilie, David J. Jeffrey
A note on Laplace's equation inside a cylinder. Appl. Math. Lett. 18 (1) (2005)
David J. Jeffrey, Pratibha, K. B. Roach
Affine transformations of algebraic numbers. ISSAC (2005)
David J. Jeffrey, Arthur C. Norman
Not seeing the roots for the branches: multivalued functions in computer algebra. SIGSAM Bull. 38 (3) (2004)
Wenqin Zhou, David J. Jeffrey, Gregory J. Reid, Chad Schmitke, John McPhee
Implicit Reduced Involutive Forms and Their Application to Engineering Multibody Systems. IWMM/GIAE (2004)
Victor S. Adamchik, David J. Jeffrey
Polynomial transformations of Tschirnhaus, Bring and Jerrard. SIGSAM Bull. 37 (3) (2003)
Victor S. Adamchik, David J. Jeffrey
Polynomial transformations of Tschirnhaus, Bring and Jerrard. SIGSAM Bull. 37 (3) (2003)
Russell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt
Reasoning about the Elementary Functions of Complex Analysis. Ann. Math. Artif. Intell. 36 (3) (2002)
Robert M. Corless, David J. Jeffrey
The Wright omega Function. AISC (2002)
Robert M. Corless, David J. Jeffrey, Stephen M. Watt, James H. Davenport
"According to Abramowitz and Stegun" or arccoth needn't be uncouth. SIGSAM Bull. 34 (2) (2000)
Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt
Reasoning about the Elementary Functions of Complex Analysis. AISC (2000)
Robert M. Corless, Mark Giesbrecht, David J. Jeffrey, Stephen M. Watt
Approximate polynomial decomposition. ISSAC (1999)
David J. Jeffrey, Albert D. Rich
Recursive Integration of Piecewise-Continuous Functions. ISSAC (1998)
Robert M. Corless, David J. Jeffrey
Graphing elementary Riemann surfaces. SIGSAM Bull. 32 (1) (1998)
Robert M. Corless, David J. Jeffrey
Scientific Computing: One Part of the Revolution. J. Symb. Comput. 23 (5/6) (1997)
David J. Jeffrey, George Labahn, Martin von Mohrenschildt, Albert D. Rich
Integration of the Signum, Piecewise and Related Functions. ISSAC (1997)
Robert M. Corless, David J. Jeffrey, Donald E. Knuth
A Sequence of Series for the Lambert W Function. ISSAC (1997)
David J. Jeffrey
Rectifying Transformations for the Integration of Rational Trigonometric Functions. J. Symb. Comput. 24 (5) (1997)
Robert M. Corless, David J. Jeffrey
The Turing factorization of a rectangular matrix. SIGSAM Bull. 31 (3) (1997)
Robert M. Corless, David J. Jeffrey, Michael B. Monagan, Pratibha
Two Perturbation Calculations in Fluid Mechanics Using Large-Expression Management. J. Symb. Comput. 23 (4) (1997)
Robert M. Corless, Gaston H. Gonnet, D. E. G. Hare, David J. Jeffrey, Donald E. Knuth
function. Adv. Comput. Math. 5 (1) (1996)
Albert D. Rich, David J. Jeffrey
Function evaluation on branch cuts. SIGSAM Bull. 30 (2) (1996)
Robert M. Corless, David J. Jeffrey
The unwinding number. SIGSAM Bull. 30 (2) (1996)
David J. Jeffrey, Albert D. Rich
The evaluation of trigonometric integrals avoiding spurious discontinuities. ACM Trans. Math. Softw. 20 (1) (1994)
David J. Jeffrey
Integration to Obtain Expressions Valid on Domains of Maximum Extent. ISSAC (1993)
Robert M. Corless, David J. Jeffrey
Well ... it isn't quite that simple. SIGSAM Bull. 26 (3) (1992)
Robert M. Corless, David J. Jeffrey
Solution of a Hydrodynamic Lubrication Problem with Maple. J. Symb. Comput. 9 (4) (1990)