@article{DBLP:journals/tamm/CalkinCCJL22,
 author = {Neil J. Calkin and
Eunice Y. S. Chan and
Robert M. Corless and
David J. Jeffrey and
Piers W. Lawrence},
 doi = {10.1080/00029890.2022.2059311},
 journal = {Am. Math. Mon.},
 pages = {503--523},
 title = {A Fractal Eigenvector},
 url = {https://doi.org/10.1080/00029890.2022.2059311},
 volume = {129},
 year = {2022}
}

@inproceedings{DBLP:conf/casc/AsadiBJM22,
 author = {Mohammadali Asadi and
Alexander Brandt and
David J. Jeffrey and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 24th International Workshop,
{CASC} 2022, Gebze, Turkey, August 22-26, 2022, Proceedings},
 doi = {10.1007/978-3-031-14788-3_3},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {29--50},
 publisher = {Springer},
 title = {Subresultant Chains Using B{\'{e}}zout Matrices},
 url = {https://doi.org/10.1007/978-3-031-14788-3_3},
 volume = {13366},
 year = {2022}
}

@inproceedings{DBLP:conf/mkm/JeffreyW22,
 author = {David J. Jeffrey and
Stephen M. Watt},
 booktitle = {Intelligent Computer Mathematics - 15th International Conference,
{CICM} 2022, Tbilisi, Georgia, September 19-23, 2022, Proceedings},
 doi = {10.1007/978-3-031-16681-5_16},
 editor = {Kevin Buzzard and
Temur Kutsia},
 pages = {222--237},
 publisher = {Springer},
 title = {Working with Families of Inverse Functions},
 url = {https://doi.org/10.1007/978-3-031-16681-5_16},
 volume = {13467},
 year = {2022}
}

@article{DBLP:journals/jsc/MoirCJ21,
 author = {Robert H. C. Moir and
Robert M. Corless and
David J. Jeffrey},
 doi = {10.1016/j.jsc.2020.06.003},
 journal = {J. Symb. Comput.},
 pages = {97--117},
 title = {An unwinding number pair for continuous expressions of integrals},
 url = {https://doi.org/10.1016/j.jsc.2020.06.003},
 volume = {105},
 year = {2021}
}

@article{DBLP:journals/mics/MiddekeJK21,
 author = {Johannes Middeke and
David J. Jeffrey and
Christoph Koutschan},
 doi = {10.1007/s11786-020-00495-9},
 journal = {Math. Comput. Sci.},
 pages = {589--608},
 title = {Common Factors in Fraction-Free Matrix Decompositions},
 url = {https://doi.org/10.1007/s11786-020-00495-9},
 volume = {15},
 year = {2021}
}

@inproceedings{DBLP:conf/synasc/DengRJ21,
 author = {Siyuan Deng and
Greg Reid and
D. J. Jeffrey},
 booktitle = {23rd International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2021, Timisoara, Romania, December
7-10, 2021},
 doi = {10.1109/SYNASC54541.2021.00017},
 editor = {Carsten Schneider and
Mircea Marin and
Viorel Negru and
Daniela Zaharie},
 pages = {33--36},
 publisher = {{IEEE}},
 title = {Parametric Linear Algebra in Maple: Reduced Row Echelon Form},
 url = {https://doi.org/10.1109/SYNASC54541.2021.00017},
 year = {2021}
}

@inproceedings{DBLP:conf/synasc/Jeffrey21,
 author = {D. J. Jeffrey},
 booktitle = {23rd International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2021, Timisoara, Romania, December
7-10, 2021},
 doi = {10.1109/SYNASC54541.2021.00015},
 editor = {Carsten Schneider and
Mircea Marin and
Viorel Negru and
Daniela Zaharie},
 pages = {19--24},
 publisher = {{IEEE}},
 title = {Tree {\textdollar}T{\textdollar} and Lambert {\textdollar}W{\textdollar}},
 url = {https://doi.org/10.1109/SYNASC54541.2021.00015},
 year = {2021}
}

@article{MR4163923,
 author = {Corless, Robert M. and Jeffrey, David J. and Stoutemyer, David
R.},
 doi = {10.1017/mag.2020.96},
 journal = {Math. Gaz.},
 pages = {412--426},
 title = {Integrals of functions containing parameters},
 url = {https://doi.org/10.1017/mag.2020.96},
 volume = {104},
 year = {2020}
}

@inproceedings{DBLP:conf/mc2/AyoubBJ20,
 author = {T. J. Ayoub and
K. Basu and
David J. Jeffrey},
 booktitle = {Maple in Mathematics Education and Research - 4th Maple Conference,
{MC} 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised
Selected Papers},
 doi = {10.1007/978-3-030-81698-8_5},
 editor = {Robert M. Corless and
J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 pages = {67--76},
 publisher = {Springer},
 title = {Bernoulli's Problem x\({}^{\mbox{y=y\({}^{\mbox{x}}\)}}\) and Maple},
 url = {https://doi.org/10.1007/978-3-030-81698-8_5},
 volume = {1414},
 year = {2020}
}

@inproceedings{DBLP:conf/synasc/AyoubBJ20,
 author = {T. J. Ayoub and
K. Basu and
D. J. Jeffrey},
 booktitle = {22nd International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2020, Timisoara, Romania, September
1-4, 2020},
 doi = {10.1109/SYNASC51798.2020.00059},
 pages = {36--39},
 publisher = {{IEEE}},
 title = {Recent results on the Lambert {W} function},
 url = {https://doi.org/10.1109/SYNASC51798.2020.00059},
 year = {2020}
}

@inproceedings{DBLP:conf/macis/CoutoMLJC19,
 author = {Ana C. Camargos Couto and
Marc Moreno Maza and
David Linder and
David J. Jeffrey and
Robert M. Corless},
 booktitle = {Mathematical Aspects of Computer and Information Sciences - 8th International
Conference, {MACIS} 2019, Gebze, Turkey, November 13-15, 2019, Revised
Selected Papers},
 doi = {10.1007/978-3-030-43120-4_8},
 editor = {Daniel Slamanig and
Elias P. Tsigaridas and
Zafeirakis Zafeirakopoulos},
 pages = {80--88},
 publisher = {Springer},
 title = {Comprehensive {LU} Factors of Polynomial Matrices},
 url = {https://doi.org/10.1007/978-3-030-43120-4_8},
 volume = {11989},
 year = {2019}
}

@inproceedings{DBLP:conf/mc2/CoutoJ19,
 author = {Ana C. Camargos Couto and
David J. Jeffrey},
 booktitle = {Maple in Mathematics Education and Research - Third Maple Conference,
{MC} 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings},
 doi = {10.1007/978-3-030-41258-6_16},
 editor = {J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 pages = {220--229},
 publisher = {Springer},
 title = {Using Maple to Make Manageable Matrices},
 url = {https://doi.org/10.1007/978-3-030-41258-6_16},
 volume = {1125},
 year = {2019}
}

@article{DBLP:journals/cca/CorlessJS18,
 author = {Robert M. Corless and
David J. Jeffrey and
David R. Stoutemyer},
 doi = {10.1145/3282678.3282680},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {32--33},
 title = {Comprehensive anti-derivatives and parametric continuity},
 url = {https://doi.org/10.1145/3282678.3282680},
 volume = {52},
 year = {2018}
}

@article{MR3849460,
 author = {Zou, Li and Liang, Songxin and Gao, Yuan and Jeffrey, David
J.},
 doi = {10.4208/nmtma.oa-2017-0071},
 journal = {Numer. Math. Theory Methods Appl.},
 pages = {383--397},
 title = {Selection of bases in operational calculus and its
applications},
 url = {https://doi.org/10.4208/nmtma.oa-2017-0071},
 volume = {11},
 year = {2018}
}

@inproceedings{DBLP:conf/synasc/CoutoJ18,
 author = {Ana Carolina Camargos Couto and
David J. Jeffrey},
 booktitle = {20th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2018, Timisoara, Romania, September
20-23, 2018},
 doi = {10.1109/SYNASC.2018.00022},
 pages = {61--64},
 publisher = {{IEEE}},
 title = {Rational Householder Transformations},
 url = {https://doi.org/10.1109/SYNASC.2018.00022},
 year = {2018}
}

@article{DBLP:journals/mics/Jeffrey17,
 author = {David J. Jeffrey},
 doi = {10.1007/s11786-017-0320-6},
 journal = {Math. Comput. Sci.},
 pages = {341--350},
 title = {Branch Structure and Implementation of Lambert {W}},
 url = {https://doi.org/10.1007/s11786-017-0320-6},
 volume = {11},
 year = {2017}
}

@incollection{MR3706560,
 author = {Fan, W. L. and Jeffrey, D. J. and Postma, Erik},
 booktitle = {Computer algebra in scientific computing},
 doi = {10.29007/pjn4},
 pages = {118--133},
 publisher = {Springer, Cham},
 title = {Computation of some integer sequences in {M}aple},
 url = {https://doi.org/10.29007/pjn4},
 volume = {10490},
 year = {2017}
}

@inproceedings{DBLP:conf/casc/FanJP17,
 author = {W. L. Fan and
D. J. Jeffrey and
Erik Postma},
 booktitle = {Computer Algebra in Scientific Computing - 19th International Workshop,
{CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
 doi = {10.1007/978-3-319-66320-3_10},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {118--133},
 publisher = {Springer},
 title = {Computation of Some Integer Sequences in Maple},
 url = {https://doi.org/10.1007/978-3-319-66320-3_10},
 volume = {10490},
 year = {2017}
}

@inproceedings{DBLP:conf/macis/JeffreyM17,
 author = {David J. Jeffrey and
Nick Murdoch},
 booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
 doi = {10.1007/978-3-319-72453-9_21},
 editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
 pages = {275--279},
 publisher = {Springer},
 title = {Stirling Numbers, Lambert {W} and the Gamma Function},
 url = {https://doi.org/10.1007/978-3-319-72453-9_21},
 volume = {10693},
 year = {2017}
}

@inproceedings{DBLP:conf/macis/KafriJC17,
 author = {Heba al Kafri and
David J. Jeffrey and
Robert M. Corless},
 booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
 doi = {10.1007/978-3-319-72453-9_20},
 editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
 pages = {270--274},
 publisher = {Springer},
 title = {Rapidly Convergent Integrals and Function Evaluation},
 url = {https://doi.org/10.1007/978-3-319-72453-9_20},
 volume = {10693},
 year = {2017}
}

@inproceedings{DBLP:conf/synasc/FolitseJC17,
 author = {K. Amenyo Folitse and
David J. Jeffrey and
Robert M. Corless},
 booktitle = {19th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2017, Timisoara, Romania, September
21-24, 2017},
 doi = {10.1109/SYNASC.2017.00020},
 editor = {Tudor Jebelean and
Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Tetsuo Ida and
Stephen M. Watt},
 pages = {63--66},
 publisher = {{IEEE} Computer Society},
 title = {Properties and Computation of the Functional Inverse of Gamma},
 url = {https://doi.org/10.1109/SYNASC.2017.00020},
 year = {2017}
}

@inproceedings{DBLP:conf/synasc/KhattakJ17,
 author = {Nasir Khattak and
D. J. Jeffrey},
 booktitle = {19th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2017, Timisoara, Romania, September
21-24, 2017},
 doi = {10.1109/SYNASC.2017.00022},
 editor = {Tudor Jebelean and
Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Tetsuo Ida and
Stephen M. Watt},
 pages = {71--74},
 publisher = {{IEEE} Computer Society},
 title = {Rational Orthonormal Matrices},
 url = {https://doi.org/10.1109/SYNASC.2017.00022},
 year = {2017}
}

@article{DBLP:journals/corr/MiddekeJ16,
 author = {Johannes Middeke and
David J. Jeffrey},
 journal = {CoRR},
 title = {Matrix factoring by fraction-free reduction},
 url = {http://arxiv.org/abs/1603.03565},
 volume = {abs/1603.03565},
 year = {2016}
}

@article{DBLP:journals/cca/JeffreyRH15,
 author = {David J. Jeffrey and
Albert D. Rich and
Junrui Hu},
 doi = {10.1145/2768577.2768649},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {34},
 title = {{RUBI} and integration as term re-writing: integrals containing tangent},
 url = {https://doi.org/10.1145/2768577.2768649},
 volume = {49},
 year = {2015}
}

@article{DBLP:journals/cca/MoirCJ15,
 author = {Robert H. C. Moir and
Robert M. Corless and
David J. Jeffrey},
 doi = {10.1145/2768577.2768654},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {35},
 title = {Unwinding paths on the Riemann sphere for continuous integrals of
rational functions},
 url = {https://doi.org/10.1145/2768577.2768654},
 volume = {49},
 year = {2015}
}

@inproceedings{DBLP:conf/synasc/IlieJCZ15,
 author = {Silvana Ilie and
David J. Jeffrey and
Robert M. Corless and
X. Zhang},
 booktitle = {17th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September
21-24, 2015},
 doi = {10.1109/SYNASC.2015.18},
 editor = {Laura Kov{\'{a}}cs and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {57--60},
 publisher = {{IEEE} Computer Society},
 title = {Computation of Stirling Numbers and Generalizations},
 url = {https://doi.org/10.1109/SYNASC.2015.18},
 year = {2015}
}

@inproceedings{DBLP:conf/synasc/JeffreyKM15,
 author = {David J. Jeffrey and
G. A. Kalugin and
Nick Murdoch},
 booktitle = {17th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September
21-24, 2015},
 doi = {10.1109/SYNASC.2015.16},
 editor = {Laura Kov{\'{a}}cs and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {42--46},
 publisher = {{IEEE} Computer Society},
 title = {Lagrange Inversion and Lambert {W}},
 url = {https://doi.org/10.1109/SYNASC.2015.16},
 year = {2015}
}

@article{DBLP:journals/cca/CorlessHJ14,
 author = {Robert M. Corless and
Junrui Hu and
David J. Jeffrey},
 doi = {10.1145/2644288.2644297},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {33--41},
 title = {Some definite integrals containing the Tree {T} function},
 url = {https://doi.org/10.1145/2644288.2644297},
 volume = {48},
 year = {2014}
}

@article{DBLP:journals/cca/MiddekeJ14,
 author = {Johannes Middeke and
David J. Jeffrey},
 doi = {10.1145/2733693.2733709},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {130--132},
 title = {Fraction-Free Factoring Revisited},
 url = {https://doi.org/10.1145/2733693.2733709},
 volume = {48},
 year = {2014}
}

@inproceedings{DBLP:conf/aisc/Jeffrey14,
 author = {David J. Jeffrey},
 booktitle = {Artificial Intelligence and Symbolic Computation - 12th International
Conference, {AISC} 2014, Seville, Spain, December 11-13, 2014. Proceedings},
 doi = {10.1007/978-3-319-13770-4_14},
 editor = {Gonzalo A. Aranda{-}Corral and
Jacques Calmet and
Francisco J. Mart{\'{\i}}n{-}Mateos},
 pages = {157--167},
 publisher = {Springer},
 title = {Multivalued Elementary Functions in Computer-Algebra Systems},
 url = {https://doi.org/10.1007/978-3-319-13770-4_14},
 volume = {8884},
 year = {2014}
}

@inproceedings{DBLP:conf/iccS/TsarapkinaJ14,
 author = {Dina Tsarapkina and
David J. Jeffrey},
 booktitle = {Proceedings of the International Conference on Computational Science,
{ICCS} 2014, Cairns, Queensland, Australia, 10-12 June, 2014},
 doi = {10.1016/j.procs.2014.05.129},
 editor = {David Abramson and
Michael Lees and
Valeria V. Krzhizhanovskaya and
Jack J. Dongarra and
Peter M. A. Sloot},
 pages = {1423--1432},
 publisher = {Elsevier},
 title = {Exploring Rounding Errors in Matlab Using Extended Precision},
 url = {https://doi.org/10.1016/j.procs.2014.05.129},
 volume = {29},
 year = {2014}
}

@inproceedings{DBLP:conf/issac/CorlessJW14,
 author = {Robert M. Corless and
David J. Jeffrey and
Fei Wang},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
'14, Kobe, Japan, July 23-25, 2014},
 doi = {10.1145/2608628.2608677},
 editor = {Katsusuke Nabeshima and
Kosaku Nagasaka and
Franz Winkler and
{\'{A}}gnes Sz{\'{a}}nt{\'{o}}},
 pages = {115--121},
 publisher = {{ACM}},
 title = {The asymptotic analysis of some interpolated nonlinear recurrence
relations},
 url = {https://doi.org/10.1145/2608628.2608677},
 year = {2014}
}

@inproceedings{DBLP:conf/synasc/JeffreyJ14,
 author = {D. J. Jeffrey and
Julia E. Jankowski},
 booktitle = {16th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2014, Timisoara, Romania, September
22-25, 2014},
 doi = {10.1109/SYNASC.2014.16},
 editor = {Franz Winkler and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {61--65},
 publisher = {{IEEE} Computer Society},
 title = {Branch Differences and Lambert {W}},
 url = {https://doi.org/10.1109/SYNASC.2014.16},
 year = {2014}
}

@article{DBLP:journals/pcs/HuHRJ13,
 author = {Junrui Hu and
Y. Hou and
Albert D. Rich and
David J. Jeffrey},
 doi = {10.1134/S0361768813020059},
 journal = {Program. Comput. Softw.},
 pages = {61--66},
 title = {Indefinite integration as term rewriting: Integrals containing tangent},
 url = {https://doi.org/10.1134/S0361768813020059},
 volume = {39},
 year = {2013}
}

@inproceedings{DBLP:conf/synasc/KrouglyJT13,
 author = {Zinovi L. Krougly and
David J. Jeffrey and
Dina Tsarapkina},
 booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September
23-26, 2013},
 doi = {10.1109/SYNASC.2013.25},
 editor = {Nikolaj S. Bj{\o}rner and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {131--137},
 publisher = {{IEEE} Computer Society},
 title = {Software Implementation of Numerical Algorithms in Arbitrary Precision},
 url = {https://doi.org/10.1109/SYNASC.2013.25},
 year = {2013}
}

@inproceedings{DBLP:conf/synasc/MiddekeAJ13,
 author = {Johannes Middeke and
Ahmed Almohaimeed and
David J. Jeffrey},
 booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September
23-26, 2013},
 doi = {10.1109/SYNASC.2013.17},
 editor = {Nikolaj S. Bj{\o}rner and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {76--80},
 publisher = {{IEEE} Computer Society},
 title = {Common Factors in Fraction-Free Matrix Reduction},
 url = {https://doi.org/10.1109/SYNASC.2013.17},
 year = {2013}
}

@article{DBLP:journals/el/JeffreyW12,
 author = {David J. Jeffrey and
Judith Wusteman},
 doi = {10.1108/02640471211204114},
 journal = {Electron. Libr.},
 pages = {134--145},
 title = {{OJAX++:} Demonstrating the next generation of Virtual Research Environments},
 url = {https://doi.org/10.1108/02640471211204114},
 volume = {30},
 year = {2012}
}

@article{DBLP:journals/toms/LawrenceCJ12,
 author = {Piers W. Lawrence and
Robert M. Corless and
David J. Jeffrey},
 doi = {10.1145/2168773.2168779},
 journal = {{ACM} Trans. Math. Softw.},
 pages = {20:1--20:17},
 title = {Algorithm 917: Complex Double-Precision Evaluation of the Wright {\(\omega\)}
Function},
 url = {https://doi.org/10.1145/2168773.2168779},
 volume = {38},
 year = {2012}
}

@article{MR2959457,
 author = {Kalugin, German A. and Jeffrey, David J. and Corless, Robert
M. and Borwein, Peter B.},
 doi = {10.1080/10652469.2011.613830},
 journal = {Integral Transforms Spec. Funct.},
 pages = {581--593},
 title = {Stieltjes and other integral representations for functions of
{L}ambert {$W$}},
 url = {https://doi.org/10.1080/10652469.2011.613830},
 volume = {23},
 year = {2012}
}

@article{MR2989751,
 author = {Kalugin, German A. and Jeffrey, David J. and Corless, Robert
M.},
 doi = {10.1080/10652469.2011.640327},
 journal = {Integral Transforms Spec. Funct.},
 pages = {817--829},
 title = {Bernstein, {P}ick, {P}oisson and related integral expressions
for {L}ambert {$W$}},
 url = {https://doi.org/10.1080/10652469.2011.640327},
 volume = {23},
 year = {2012}
}

@article{DBLP:journals/na/LiangJ11,
 author = {Songxin Liang and
David J. Jeffrey},
 doi = {10.1007/s11075-010-9375-z},
 journal = {Numer. Algorithms},
 pages = {93--106},
 title = {An analytical approach for solving nonlinear boundary value problems
in finite domains},
 url = {https://doi.org/10.1007/s11075-010-9375-z},
 volume = {56},
 year = {2011}
}

@article{MR2828513,
 author = {Kalugin, G. A. and Jeffrey, D. J.},
 journal = {C. R. Math. Acad. Sci. Soc. R. Can.},
 pages = {50--56},
 title = {Unimodal sequences show that {L}ambert {$W$} is {B}ernstein},
 volume = {33},
 year = {2011}
}

@article{DBLP:journals/cca/Jeffrey10,
 author = {D. J. Jeffrey},
 doi = {10.1145/1838599.1838602},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {1--8},
 title = {{LU} factoring of non-invertible matrices},
 url = {https://doi.org/10.1145/1838599.1838602},
 volume = {44},
 year = {2010}
}

@article{DBLP:journals/cma/LiangJ10,
 author = {Songxin Liang and
David J. Jeffrey},
 doi = {10.1016/j.camwa.2009.07.053},
 journal = {Comput. Math. Appl.},
 pages = {247--253},
 title = {Approximate solutions to a parameterized sixth order boundary value
problem},
 url = {https://doi.org/10.1016/j.camwa.2009.07.053},
 volume = {59},
 year = {2010}
}

@article{DBLP:journals/cma/ShemyakovaKJ10,
 author = {Ekaterina Shemyakova and
S. I. Khashin and
D. J. Jeffrey},
 doi = {10.1016/j.camwa.2010.06.017},
 journal = {Comput. Math. Appl.},
 pages = {1360--1363},
 title = {A conjecture concerning a completely monotonic function},
 url = {https://doi.org/10.1016/j.camwa.2010.06.017},
 volume = {60},
 year = {2010}
}

@article{MR2779599,
 author = {Tanguay, J. and Gil, M. and Jeffrey, D. J. and Valluri, S. R.},
 doi = {10.1063/1.3496906},
 journal = {J. Math. Phys.},
 pages = {123303, 14},
 title = {{$D$}-dimensional {B}ose gases and the {L}ambert {$W$}
function},
 url = {https://doi.org/10.1063/1.3496906},
 volume = {51},
 year = {2010}
}

@inproceedings{DBLP:conf/aisc/JeffreyR10,
 author = {David J. Jeffrey and
Albert D. Rich},
 booktitle = {Intelligent Computer Mathematics, 10th International Conference, {AISC}
2010, 17th Symposium, Calculemus 2010, and 9th International Conference,
{MKM} 2010, Paris, France, July 5-10, 2010. Proceedings},
 doi = {10.1007/978-3-642-14128-7_20},
 editor = {Serge Autexier and
Jacques Calmet and
David Delahaye and
Patrick D. F. Ion and
Laurence Rideau and
Renaud Rioboo and
Alan P. Sexton},
 pages = {234--246},
 publisher = {Springer},
 title = {Reducing Expression Size Using Rule-Based Integration},
 url = {https://doi.org/10.1007/978-3-642-14128-7_20},
 volume = {6167},
 year = {2010}
}

@inproceedings{DBLP:conf/casc/KaluginJ10,
 author = {G. A. Kalugin and
D. J. Jeffrey},
 booktitle = {Computer Algebra in Scientific Computing - 12th International Workshop,
{CASC} 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings},
 doi = {10.1007/978-3-642-15274-0_12},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {134--147},
 publisher = {Springer},
 title = {Series Transformations to Improve and Extend Convergence},
 url = {https://doi.org/10.1007/978-3-642-15274-0_12},
 volume = {6244},
 year = {2010}
}

@article{DBLP:journals/cca/GerhardJM09,
 author = {J{\"{u}}rgen Gerhard and
D. J. Jeffrey and
Guillaume Moroz},
 doi = {10.1145/1823931.1823933},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {61--72},
 title = {A package for solving parametric polynomial systems},
 url = {https://doi.org/10.1145/1823931.1823933},
 volume = {43},
 year = {2009}
}

@article{DBLP:journals/cphysics/LiangJ09a,
 author = {Songxin Liang and
David J. Jeffrey},
 doi = {10.1016/j.cpc.2009.06.006},
 journal = {Comput. Phys. Commun.},
 pages = {2034--2040},
 title = {An efficient analytical approach for solving fourth order boundary
value problems},
 url = {https://doi.org/10.1016/j.cpc.2009.06.006},
 volume = {180},
 year = {2009}
}

@article{DBLP:journals/cphysics/LiangJ09,
 author = {Songxin Liang and
David J. Jeffrey},
 doi = {10.1016/j.cpc.2009.02.015},
 journal = {Comput. Phys. Commun.},
 pages = {1429--1433},
 title = {New travelling wave solutions to modified {CH} and {DP} equations},
 url = {https://doi.org/10.1016/j.cpc.2009.02.015},
 volume = {180},
 year = {2009}
}

@article{DBLP:journals/jsc/LiangJ09,
 author = {Songxin Liang and
David J. Jeffrey},
 doi = {10.1016/j.jsc.2009.05.003},
 journal = {J. Symb. Comput.},
 pages = {1487--1501},
 title = {Automatic computation of the complete root classification for a parametric
polynomial},
 url = {https://doi.org/10.1016/j.jsc.2009.05.003},
 volume = {44},
 year = {2009}
}

@inproceedings{DBLP:conf/mkm/RichJ09,
 author = {Albert D. Rich and
David J. Jeffrey},
 booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
 doi = {10.1007/978-3-642-02614-0_39},
 editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
 pages = {480--485},
 publisher = {Springer},
 title = {A Knowledge Repository for Indefinite Integration Based on Transformation
Rules},
 url = {https://doi.org/10.1007/978-3-642-02614-0_39},
 volume = {5625},
 year = {2009}
}

@article{DBLP:journals/cphysics/LiangJ08,
 author = {Songxin Liang and
David J. Jeffrey},
 doi = {10.1016/j.cpc.2007.12.004},
 journal = {Comput. Phys. Commun.},
 pages = {700--712},
 title = {Automatic computation of the travelling wave solutions to nonlinear
PDEs},
 url = {https://doi.org/10.1016/j.cpc.2007.12.004},
 volume = {178},
 year = {2008}
}

@article{DBLP:journals/fcsc/ZhouJ08,
 author = {Wenqin Zhou and
David J. Jeffrey},
 doi = {10.1007/s11704-008-0005-z},
 journal = {Frontiers Comput. Sci. China},
 pages = {67--80},
 title = {Fraction-free matrix factors: new forms for {LU} and {QR} factors},
 url = {https://doi.org/10.1007/s11704-008-0005-z},
 volume = {2},
 year = {2008}
}

@inproceedings{DBLP:conf/issac/LiangJM08,
 author = {Songxin Liang and
David J. Jeffrey and
Marc Moreno Maza},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
 doi = {10.1145/1390768.1390796},
 editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
 pages = {189--196},
 publisher = {{ACM}},
 title = {The complete root classification of a parametric polynomial on an
interval},
 url = {https://doi.org/10.1145/1390768.1390796},
 year = {2008}
}

@inproceedings{DBLP:conf/ascm/LiangJ07,
 author = {Songxin Liang and
David J. Jeffrey},
 booktitle = {Computer Mathematics, 8th Asian Symposium, {ASCM} 2007, Singapore,
December 15-17, 2007. Revised and Invited Papers},
 doi = {10.1007/978-3-540-87827-8_2},
 editor = {Deepak Kapur},
 pages = {22--31},
 publisher = {Springer},
 title = {Unconstrained Parametric Minimization of a Polynomial: Approximate
and Exact},
 url = {https://doi.org/10.1007/978-3-540-87827-8_2},
 volume = {5081},
 year = {2007}
}

@inproceedings{DBLP:conf/issac/CorlessDJ07,
 author = {Robert M. Corless and
Hui Ding and
David J. Jeffrey},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
 doi = {10.1145/1277548.1277565},
 editor = {Dongming Wang},
 pages = {116--121},
 publisher = {{ACM}},
 title = {The solution of \emph{s} exp(\emph{s}) = \emph{a} is not always the
lambert \emph{w} function of \emph{a}},
 url = {https://doi.org/10.1145/1277548.1277565},
 year = {2007}
}

@inproceedings{DBLP:conf/mkm/LiangJ07,
 author = {Songxin Liang and
David J. Jeffrey},
 booktitle = {Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus
2007, 6th International Conference, {MKM} 2007, Hagenberg, Austria,
June 27-30, 2007, Proceedings},
 doi = {10.1007/978-3-540-73086-6_10},
 editor = {Manuel Kauers and
Manfred Kerber and
Robert Miner and
Wolfgang Windsteiger},
 pages = {116--127},
 publisher = {Springer},
 title = {Rule-Based Simplification in Vector-Product Spaces},
 url = {https://doi.org/10.1007/978-3-540-73086-6_10},
 volume = {4573},
 year = {2007}
}

@inproceedings{DBLP:conf/aisc/LiangJ06,
 author = {Songxin Liang and
David J. Jeffrey},
 booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
 doi = {10.1007/11856290_12},
 editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
 pages = {116--130},
 publisher = {Springer},
 title = {An Algorithm for Computing the Complete Root Classification of a Parametric
Polynomial},
 url = {https://doi.org/10.1007/11856290_12},
 volume = {4120},
 year = {2006}
}

@inproceedings{DBLP:conf/aisc/ZhouCJM06,
 author = {Wenqin Zhou and
Jacques Carette and
David J. Jeffrey and
Michael B. Monagan},
 booktitle = {Artificial Intelligence and Symbolic Computation, 8th International
Conference, {AISC} 2006, Beijing, China, September 20-22, 2006, Proceedings},
 doi = {10.1007/11856290_22},
 editor = {Jacques Calmet and
Tetsuo Ida and
Dongming Wang},
 pages = {254--268},
 publisher = {Springer},
 title = {Hierarchical Representations with Signatures for Large Expression
Management},
 url = {https://doi.org/10.1007/11856290_22},
 volume = {4120},
 year = {2006}
}

@article{DBLP:journals/appml/IlieJ05,
 author = {Silvana Ilie and
David J. Jeffrey},
 doi = {10.1016/j.aml.2003.05.015},
 journal = {Appl. Math. Lett.},
 pages = {55--59},
 title = {A note on Laplace's equation inside a cylinder},
 url = {https://doi.org/10.1016/j.aml.2003.05.015},
 volume = {18},
 year = {2005}
}

@inproceedings{DBLP:conf/birthday/Jeffrey05,
 author = {David J. Jeffrey},
 booktitle = {Algorithmic Algebra and Logic. Proceedings of the {A3L} 2005, April
3-6, Passau, Germany; Conference in Honor of the 60th Birthday of
Volker Weispfenning},
 editor = {Andreas Dolzmann and
Andreas Seidl and
Thomas Sturm},
 pages = {135--139},
 publisher = {Books on Demand},
 title = {The Art of Formula},
 year = {2005}
}

@inproceedings{DBLP:conf/iccS/PratibhaJ05,
 author = {Pratibha and
David J. Jeffrey},
 booktitle = {Computational Science - {ICCS} 2005, 5th International Conference,
Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part {III}},
 doi = {10.1007/11428862_91},
 editor = {Vaidy S. Sunderam and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
 pages = {667--670},
 publisher = {Springer},
 title = {Stokes-Flow Problem Solved Using Maple},
 url = {https://doi.org/10.1007/11428862_91},
 volume = {3516},
 year = {2005}
}

@inproceedings{DBLP:conf/iccS/ZhouJR05,
 author = {Wenqin Zhou and
David J. Jeffrey and
Gregory J. Reid},
 booktitle = {Computational Science - {ICCS} 2005, 5th International Conference,
Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part {III}},
 doi = {10.1007/11428862_80},
 editor = {Vaidy S. Sunderam and
G. Dick van Albada and
Peter M. A. Sloot and
Jack J. Dongarra},
 pages = {586--593},
 publisher = {Springer},
 title = {An Algebraic Method for Analyzing Open-Loop Dynamic Systems},
 url = {https://doi.org/10.1007/11428862_80},
 volume = {3516},
 year = {2005}
}

@inproceedings{DBLP:conf/issac/JeffreyPR05,
 author = {David J. Jeffrey and
Pratibha and
K. B. Roach},
 booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
2005, Beijing, China, July 24-27, 2005, Proceedings},
 doi = {10.1145/1073884.1073912},
 editor = {Manuel Kauers},
 pages = {193--199},
 publisher = {{ACM}},
 title = {Affine transformations of algebraic numbers},
 url = {https://doi.org/10.1145/1073884.1073912},
 year = {2005}
}

@article{DBLP:journals/cca/JeffreyN04,
 author = {David J. Jeffrey and
Arthur C. Norman},
 doi = {10.1145/1040034.1040036},
 journal = {{SIGSAM} Bull.},
 pages = {57--66},
 title = {Not seeing the roots for the branches: multivalued functions in computer
algebra},
 url = {https://doi.org/10.1145/1040034.1040036},
 volume = {38},
 year = {2004}
}

@inproceedings{DBLP:conf/giae/ZhouJRSM04,
 author = {Wenqin Zhou and
David J. Jeffrey and
Gregory J. Reid and
Chad Schmitke and
John McPhee},
 booktitle = {Computer Algebra and Geometric Algebra with Applications, 6th International
Workshop, {IWMM} 2004, Shanghai, China, May 19-21, 2004, and International
Workshop, {GIAE} 2004, Xian, China, May 24-28, 2004, Revised Selected
Papers},
 doi = {10.1007/11499251_4},
 editor = {Hongbo Li and
Peter J. Olver and
Gerald Sommer},
 pages = {31--43},
 publisher = {Springer},
 title = {Implicit Reduced Involutive Forms and Their Application to Engineering
Multibody Systems},
 url = {https://doi.org/10.1007/11499251_4},
 volume = {3519},
 year = {2004}
}

@article{DBLP:journals/cca/AdamchikJ03a,
 author = {Victor S. Adamchik and
David J. Jeffrey},
 doi = {10.1145/990353.990371},
 journal = {{SIGSAM} Bull.},
 pages = {90--94},
 title = {Polynomial transformations of Tschirnhaus, Bring and Jerrard},
 url = {https://doi.org/10.1145/990353.990371},
 volume = {37},
 year = {2003}
}

@article{DBLP:journals/cca/AdamchikJ03,
 author = {Victor S. Adamchik and
David J. Jeffrey},
 doi = {10.1145/1093528.1093530},
 journal = {{SIGSAM} Bull.},
 pages = {90--94},
 title = {Polynomial transformations of Tschirnhaus, Bring and Jerrard},
 url = {https://doi.org/10.1145/1093528.1093530},
 volume = {37},
 year = {2003}
}

@article{DBLP:journals/amai/BradfordCDJW02,
 author = {Russell J. Bradford and
Robert M. Corless and
James H. Davenport and
David J. Jeffrey and
Stephen M. Watt},
 doi = {10.1023/A:1016007415899},
 journal = {Ann. Math. Artif. Intell.},
 pages = {303--318},
 title = {Reasoning about the Elementary Functions of Complex Analysis},
 url = {https://doi.org/10.1023/A:1016007415899},
 volume = {36},
 year = {2002}
}

@inproceedings{DBLP:conf/aisc/CorlessJ02,
 author = {Robert M. Corless and
David J. Jeffrey},
 booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
Joint International Conferences, {AISC} 2002 and Calculemus 2002,
Marseille, France, July 1-5, 2002, Proceedings},
 doi = {10.1007/3-540-45470-5_10},
 editor = {Jacques Calmet and
Belaid Benhamou and
Olga Caprotti and
Laurent Henocque and
Volker Sorge},
 pages = {76--89},
 publisher = {Springer},
 title = {The Wright omega Function},
 url = {https://doi.org/10.1007/3-540-45470-5_10},
 volume = {2385},
 year = {2002}
}

@article{DBLP:journals/cca/CorlessJWD00,
 author = {Robert M. Corless and
David J. Jeffrey and
Stephen M. Watt and
James H. Davenport},
 doi = {10.1145/362001.362023},
 journal = {{SIGSAM} Bull.},
 pages = {58--65},
 title = {"According to Abramowitz and Stegun" or arccoth needn't be uncouth},
 url = {https://doi.org/10.1145/362001.362023},
 volume = {34},
 year = {2000}
}

@inproceedings{DBLP:conf/aisc/CorlessDJLW00,
 author = {Robert M. Corless and
James H. Davenport and
David J. Jeffrey and
Gurjeet Litt and
Stephen M. Watt},
 booktitle = {Artificial Intelligence and Symbolic Computation, International Conference
{AISC} 2000 Madrid, Spain, July 17-19, 2000, Revised Papers},
 doi = {10.1007/3-540-44990-6_9},
 editor = {John A. Campbell and
Eugenio Roanes{-}Lozano},
 pages = {115--126},
 publisher = {Springer},
 title = {Reasoning about the Elementary Functions of Complex Analysis},
 url = {https://doi.org/10.1007/3-540-44990-6_9},
 volume = {1930},
 year = {2000}
}

@inproceedings{DBLP:conf/issac/CorlessGJ99,
 author = {Robert M. Corless and
Mark Giesbrecht and
David J. Jeffrey and
Stephen M. Watt},
 booktitle = {Proceedings of the 1999 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '99, Vancouver, B.C., Canada, July 29-31, 1999},
 doi = {10.1145/309831.309939},
 editor = {Keith O. Geddes and
Bruno Salvy and
Samuel S. Dooley},
 pages = {213--219},
 publisher = {{ACM}},
 title = {Approximate polynomial decomposition},
 url = {https://doi.org/10.1145/309831.309939},
 year = {1999}
}

@article{DBLP:journals/cca/CorlessJ98,
 author = {Robert M. Corless and
David J. Jeffrey},
 doi = {10.1145/294833.294839},
 journal = {{SIGSAM} Bull.},
 pages = {11--17},
 title = {Graphing elementary Riemann surfaces},
 url = {https://doi.org/10.1145/294833.294839},
 volume = {32},
 year = {1998}
}

@inproceedings{DBLP:conf/issac/JeffreyR98,
 author = {David J. Jeffrey and
Albert D. Rich},
 booktitle = {Proceedings of the 1998 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} '98, Rostock, Germany, August 13-15, 1998},
 doi = {10.1145/281508.281649},
 editor = {Volker Weispfenning and
Barry M. Trager},
 pages = {290--294},
 publisher = {{ACM}},
 title = {Recursive Integration of Piecewise-Continuous Functions},
 url = {https://doi.org/10.1145/281508.281649},
 year = {1998}
}

@article{DBLP:journals/cca/CorlessJ97,
 author = {Robert M. Corless and
David J. Jeffrey},
 doi = {10.1145/271130.271135},
 journal = {{SIGSAM} Bull.},
 pages = {20--30},
 title = {The Turing factorization of a rectangular matrix},
 url = {https://doi.org/10.1145/271130.271135},
 volume = {31},
 year = {1997}
}

@article{DBLP:journals/jsc/CorlessJ97,
 author = {Robert M. Corless and
David J. Jeffrey},
 doi = {10.1006/jsco.1996.0102},
 journal = {J. Symb. Comput.},
 pages = {485--495},
 title = {Scientific Computing: One Part of the Revolution},
 url = {https://doi.org/10.1006/jsco.1996.0102},
 volume = {23},
 year = {1997}
}

@article{DBLP:journals/jsc/CorlessJMP97,
 author = {Robert M. Corless and
David J. Jeffrey and
Michael B. Monagan and
Pratibha},
 doi = {10.1006/jsco.1996.0097},
 journal = {J. Symb. Comput.},
 pages = {427--443},
 title = {Two Perturbation Calculations in Fluid Mechanics Using Large-Expression
Management},
 url = {https://doi.org/10.1006/jsco.1996.0097},
 volume = {23},
 year = {1997}
}

@article{DBLP:journals/jsc/Jeffrey97,
 author = {David J. Jeffrey},
 doi = {10.1006/jsco.1997.0152},
 journal = {J. Symb. Comput.},
 pages = {563--573},
 title = {Rectifying Transformations for the Integration of Rational Trigonometric
Functions},
 url = {https://doi.org/10.1006/jsco.1997.0152},
 volume = {24},
 year = {1997}
}

@inproceedings{DBLP:conf/issac/CorlessJK97,
 author = {Robert M. Corless and
David J. Jeffrey and
Donald E. Knuth},
 booktitle = {Proceedings of the 1997 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 1997, Maui, Hawaii, USA, July 21-23, 1997},
 doi = {10.1145/258726.258783},
 editor = {Bruce W. Char and
Paul S. Wang and
Wolfgang K{\"{u}}chlin},
 pages = {197--204},
 publisher = {{ACM}},
 title = {A Sequence of Series for the Lambert {W} Function},
 url = {https://doi.org/10.1145/258726.258783},
 year = {1997}
}

@inproceedings{DBLP:conf/issac/JeffreyLMR97,
 author = {David J. Jeffrey and
George Labahn and
Martin von Mohrenschildt and
Albert D. Rich},
 booktitle = {Proceedings of the 1997 International Symposium on Symbolic and Algebraic
Computation, {ISSAC} 1997, Maui, Hawaii, USA, July 21-23, 1997},
 doi = {10.1145/258726.258830},
 editor = {Bruce W. Char and
Paul S. Wang and
Wolfgang K{\"{u}}chlin},
 pages = {324--330},
 publisher = {{ACM}},
 title = {Integration of the Signum, Piecewise and Related Functions},
 url = {https://doi.org/10.1145/258726.258830},
 year = {1997}
}