David J. Jeffrey

90 papers B 12C 2Misc 17Journal 46Unranked 13

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