@article{DBLP:journals/maple/CorlessJL25,
 author = {Robert M. Corless and
David J. Jeffrey and
Qingze Li},
 doi = {10.5206/mt.v5i3.23166},
 journal = {Maple Trans.},
 title = {Bidiagonal factoring of Stirling matrices},
 url = {https://doi.org/10.5206/mt.v5i3.23166},
 volume = {5},
 year = {2025}
}

@inproceedings{DBLP:conf/casc/CorlessJL25,
 author = {Robert M. Corless and
David J. Jeffrey and
Qingze Li},
 booktitle = {Computer Algebra in Scientific Computing - 27th International Workshop, CASC 2025, Dubai, United Arab Emirates, November 24-28, 2025, Proceedings},
 doi = {10.1007/978-3-032-09645-6_4},
 editor = {Fran{\c{c}}ois Boulier and
Chenqi Mou and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {67--78},
 publisher = {Springer},
 title = {Computation of Stirling Numbers for Complex Arguments},
 url = {https://doi.org/10.1007/978-3-032-09645-6_4},
 volume = {16235},
 year = {2025}
}

@inproceedings{DBLP:conf/synasc/CorlessJL25,
 author = {Robert M. Corless and
David J. Jeffrey and
Qingze Li},
 booktitle = {27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2025, Timisoara, Romania, September 22-25, 2025},
 doi = {10.1109/SYNASC69064.2025.00016},
 pages = {60--63},
 publisher = {IEEE},
 title = {Factorial Powers},
 url = {https://doi.org/10.1109/SYNASC69064.2025.00016},
 year = {2025}
}

@inproceedings{DBLP:conf/synasc/OlagunjuMJ25,
 author = {Aishat Olagunju and
Marc Moreno Maza and
David J. Jeffrey},
 booktitle = {27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2025, Timisoara, Romania, September 22-25, 2025},
 doi = {10.1109/SYNASC69064.2025.00014},
 pages = {45--52},
 publisher = {IEEE},
 title = {Fraction-Free Comprehensive LU Decomposition and Variants},
 url = {https://doi.org/10.1109/SYNASC69064.2025.00014},
 year = {2025}
}

@article{DBLP:journals/corr/abs-2408-02112,
 author = {David J. Jeffrey and
Stephen M. Watt},
 doi = {10.48550/arXiv.2408.02112},
 journal = {CoRR},
 title = {An Abstraction-Preserving Block Matrix Implementation in Maple},
 url = {https://doi.org/10.48550/arXiv.2408.02112},
 volume = {abs/2408.02112},
 year = {2024}
}

@article{DBLP:journals/maple/Jeffrey24,
 author = {David J. Jeffrey},
 doi = {10.5206/mt.v4i3.19795},
 journal = {Maple Trans.},
 title = {Puzzles},
 url = {https://doi.org/10.5206/mt.v4i3.19795},
 volume = {4},
 year = {2024}
}

@article{DBLP:journals/maple/JeffreyQV24,
 author = {David J. Jeffrey and
Victoria Quance and
Micaela Vancea},
 doi = {10.5206/mt.v4i3.17708},
 journal = {Maple Trans.},
 title = {Getting the third degree},
 url = {https://doi.org/10.5206/mt.v4i3.17708},
 volume = {4},
 year = {2024}
}

@article{DBLP:journals/mics/MiddekeJO24,
 author = {Johannes Middeke and
David J. Jeffrey and
Aishat Olagunju},
 doi = {10.1007/s11786-024-00590-1},
 journal = {Math. Comput. Sci.},
 pages = {16},
 title = {Applications of Rational Orthogonal Matrices},
 url = {https://doi.org/10.1007/s11786-024-00590-1},
 volume = {18},
 year = {2024}
}

@article{zbMATH8220642,
 author = {Jeffrey, David J. and Liang, Songxin},
 doi = {10.17512/jamcm.2024.2.03},
 journal = {Journal of Applied Mathematics and Computational Mechanics},
 pages = {31--40},
 title = {Series solutions to higher-order parametric boundary value problems},
 url = {https://doi.org/10.17512/jamcm.2024.2.03},
 volume = {23},
 year = {2024}
}

@inproceedings{DBLP:conf/sycss/Jeffrey24,
 author = {David J. Jeffrey},
 booktitle = {Symbolic Computation in Software Science - 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings},
 doi = {10.1007/978-3-031-69042-6_7},
 editor = {Stephen M. Watt and
Tetsuo Ida},
 pages = {114--128},
 publisher = {Springer},
 title = {Riemann Surfaces, Branch Cuts and Charisma},
 url = {https://doi.org/10.1007/978-3-031-69042-6_7},
 volume = {14991},
 year = {2024}
}

@inproceedings{DBLP:conf/sycss/NormanJ24,
 author = {Arthur C. Norman and
David J. Jeffrey},
 booktitle = {Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Tokyo, Japan, Aug 28-30, 2024.},
 editor = {Katsusuke Nabeshima and
Stephen M. Watt},
 pages = {74--83},
 publisher = {CEUR-WS.org},
 title = {Software for indefinite integration},
 url = {https://ceur-ws.org/Vol-3754/paper12.pdf},
 volume = {3754},
 year = {2024}
}

@inproceedings{DBLP:conf/synasc/MiddekeJ24,
 author = {Johannes Middeke and
David J. Jeffrey},
 booktitle = {26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024, Timisoara, Romania, September 16-19, 2024},
 doi = {10.1109/SYNASC65383.2024.00018},
 pages = {34--40},
 publisher = {IEEE},
 title = {Some Family Relations for Rational Orthogonal Matrices},
 url = {https://doi.org/10.1109/SYNASC65383.2024.00018},
 year = {2024}
}

@inproceedings{DBLP:conf/synasc/OlagunjuMJ24,
 author = {Aishat Olagunju and
Marc Moreno Maza and
David J. Jeffrey},
 booktitle = {26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024, Timisoara, Romania, September 16-19, 2024},
 doi = {10.1109/SYNASC65383.2024.00016},
 pages = {17--24},
 publisher = {IEEE},
 title = {Comprehensive LU Decomposition and True Path},
 url = {https://doi.org/10.1109/SYNASC65383.2024.00016},
 year = {2024}
}

@inproceedings{DBLP:conf/synasc/WattJ24,
 author = {Stephen M. Watt and
David J. Jeffrey},
 booktitle = {26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2024, Timisoara, Romania, September 16-19, 2024},
 doi = {10.1109/SYNASC65383.2024.00021},
 pages = {49--52},
 publisher = {IEEE},
 title = {An Abstraction-Preserving Block Matrix Implementation in Maple},
 url = {https://doi.org/10.1109/SYNASC65383.2024.00021},
 year = {2024}
}

@article{DBLP:journals/corr/abs-2311-16583,
 author = {David J. Jeffrey and
Stephen M. Watt},
 doi = {10.48550/arXiv.2311.16583},
 journal = {CoRR},
 title = {The Inverse of the Complex Gamma Function},
 url = {https://doi.org/10.48550/arXiv.2311.16583},
 volume = {abs/2311.16583},
 year = {2023}
}

@article{DBLP:journals/maple/CorlessJJ23,
 author = {Robert M. Corless and
David J. Jeffrey and
Johan Joby},
 doi = {10.5206/mt.v3i4.17247},
 journal = {Maple Trans.},
 title = {Two-cycles in the Infinite Exponential Tower},
 url = {https://doi.org/10.5206/mt.v3i4.17247},
 volume = {3},
 year = {2023}
}

@article{DBLP:journals/maple/JobyJC23,
 author = {Johan Joby and
David J. Jeffrey and
Robert M. Corless},
 doi = {10.5206/mt.v3i3.17003},
 journal = {Maple Trans.},
 title = {Towering Fractals},
 url = {https://doi.org/10.5206/mt.v3i3.17003},
 volume = {3},
 year = {2023}
}

@inproceedings{DBLP:conf/casc/ImreJ23,
 author = {Jacob Imre and
David J. Jeffrey},
 booktitle = {Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Havana, Cuba, August 28 - September 1, 2023, Proceedings},
 doi = {10.1007/978-3-031-41724-5_11},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Ilias S. Kotsireas and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {199--212},
 publisher = {Springer},
 title = {Non-principal Branches of Lambert W. A Tale of 2 Circles},
 url = {https://doi.org/10.1007/978-3-031-41724-5_11},
 volume = {14139},
 year = {2023}
}

@inproceedings{DBLP:conf/mkm/CorlessJS23,
 author = {Robert M. Corless and
David J. Jeffrey and
Azar Shakoori},
 booktitle = {Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings},
 doi = {10.1007/978-3-031-42753-4_8},
 editor = {Catherine Dubois and
Manfred Kerber},
 pages = {113--129},
 publisher = {Springer},
 title = {Teaching Linear Algebra in a Mechanized Mathematical Environment},
 url = {https://doi.org/10.1007/978-3-031-42753-4_8},
 volume = {14101},
 year = {2023}
}

@inproceedings{DBLP:conf/synasc/JeffreyW23,
 author = {D. J. Jeffrey and
Stephen M. Watt},
 booktitle = {25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023, Nancy, France, September 11-14, 2023},
 doi = {10.1109/SYNASC61333.2023.00010},
 pages = {26--31},
 publisher = {IEEE},
 title = {The Inverse of the Complex Gamma Function},
 url = {https://doi.org/10.1109/SYNASC61333.2023.00010},
 year = {2023}
}

@misc{zbMATH900581536,
 author = {David J. Jeffrey},
 note = {Preprint, arXiv:2302.13188 [math.CV]},
 title = {Branch cuts and Riemann surfaces},
 url = {https://arxiv.org/abs/2302.13188},
 year = {2023}
}

@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/maple/Jeffrey21,
 author = {David J. Jeffrey},
 doi = {10.5206/mt.v1i2.14351},
 journal = {Maple Trans.},
 title = {Problems, Puzzles, and Challenges},
 url = {https://doi.org/10.5206/mt.v1i2.14351},
 volume = {1},
 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 \$T\$ and Lambert \$W\$},
 url = {https://doi.org/10.1109/SYNASC54541.2021.00015},
 year = {2021}
}

@inproceedings{DBLP:conf/mc2/AyoubBJ20,
 author = {Toufic J. Ayoub and
Kishore 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 xy=yx and Maple},
 url = {https://doi.org/10.1007/978-3-030-81698-8_5},
 volume = {1414},
 year = {2020}
}

@inproceedings{DBLP:conf/synasc/AyoubBJ20,
 author = {Toufic J. Ayoub and
Kishore 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{zbMATH7071973,
 author = {Zou, Li and Liang, Songxin and Gao, Yuan and Jeffrey, David. J.},
 doi = {10.4208/nmtma.OA-2017-0071},
 journal = {Numerical Mathematics: Theory, Methods and Applications},
 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}
}

@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},
 doi = {10.48550/arXiv.1603.03565},
 journal = {CoRR},
 title = {Matrix factoring by fraction-free reduction},
 url = {https://doi.org/10.48550/arXiv.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 ω Function},
 url = {https://doi.org/10.1145/2168773.2168779},
 volume = {38},
 year = {2012}
}

@misc{zbMATH900145240,
 author = {German A. Kalugin and David J. Jeffrey},
 note = {Preprint, arXiv:1208.0754 [math.CA]},
 title = {Convergence in $\C$ of series for the Lambert $W$ Function},
 url = {https://arxiv.org/abs/1208.0754},
 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{zbMATH5954622,
 author = {Kalugin, G. A. and Jeffrey, D. J.},
 journal = {Comptes Rendus Math{\'{e}}matiques de l'Acad{\'{e}}mie des Sciences},
 pages = {50--56},
 title = {Unimodal sequences show that Lambert \(W\) is Bernstein},
 url = {https://arxiv.org/abs/1011.5940},
 volume = {33},
 year = {2011}
}

@misc{zbMATH900107833,
 author = {German A. Kalugin and David J. Jeffrey and Robert M. Corless},
 note = {Preprint, arXiv:1103.5640 [math.CV]},
 title = {Stieltjes, Poisson and other integral representations for functions of Lambert $W$},
 url = {https://arxiv.org/abs/1103.5640},
 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{zbMATH6446048,
 author = {Tanguay, J. and Gil, M. and Jeffrey, D. J. and Valluri, S. R.},
 doi = {10.1063/1.3496906},
 journal = {Journal of Mathematical Physics},
 title = {D-dimensional Bose gases and the Lambert 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}
}

@article{zbMATH5772179,
 author = {Valluri, S. R. and Gil, Manuel and Jeffrey, D. J. and Basu, Shantanu},
 doi = {10.1063/1.3230482},
 journal = {Journal of Mathematical Physics},
 title = {The Lambert \(W\) function and quantum statistics},
 url = {https://doi.org/10.1063/1.3230482},
 volume = {50},
 year = {2009}
}

@article{zbMATH5949937,
 author = {Liang, Songxin and Jeffrey, David J.},
 doi = {10.1016/j.cnsns.2009.02.016},
 journal = {Communications in Nonlinear Science and Numerical Simulation},
 pages = {4057--4064},
 title = {Comparison of homotopy analysis method and homotopy perturbation method through an evolution equation},
 url = {https://doi.org/10.1016/j.cnsns.2009.02.016},
 volume = {14},
 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}
}

@proceedings{zbMATH5317699,
 editor = {Jeffrey, David J.},
 publisher = {New York, NY: Association for Computing Machinery (ACM)},
 title = {Proceedings of the 2008 international symposium on symbolic and algebraic computation, ISSAC 2008, Linz/Hagenberg, Austria, July 20--23, 2008},
 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 s exp(s) = a is not always the lambert w function of 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{zbMATH5168261,
 author = {Zhou, Wenqin and Jeffrey, David J. and Reid, Greg J.},
 booktitle = {Wang, Dongming (ed.) et al., Symbolic-numeric computation. Invited and contributed presentations given at the international workshop (SNC 2005), Xi'an, China, July 19--21 (2005). Basel: Birkh{\"{a}}user (ISBN 978-3-7643-7983-4/hbk). Trends in Mathematics, 335-347},
 pages = {335--347},
 title = {Symbolic computation sequences and numerical analytic geometry applied to multibody dynamical systems},
 year = {2007}
}

@inproceedings{zbMATH5168262,
 author = {Jeffrey, David J. and Ilie, Silvana and Gardiner, James M. and Campbell, Steven W.},
 booktitle = {Wang, Dongming (ed.) et al., Symbolic-numeric computation. Invited and contributed presentations given at the international workshop (SNC 2005), Xi'an, China, July 19--21 (2005). Basel: Birkh{\"{a}}user (ISBN 978-3-7643-7983-4/hbk). Trends in Mathematics, 349-359},
 pages = {349--359},
 title = {A symbolic-numeric approach to an electric field problem},
 year = {2007}
}

@inproceedings{zbMATH5494030,
 author = {Corless, Robert M. and Ding, Hui and Higham, Nicholas J. and Jeffrey, David J.},
 booktitle = {Brown, C. W. (ed.), ISSAC 2007. Proceedings of the 32nd international symposium on symbolic and algebraic computation (ISSAC 2007), Waterloo, ON, Canada, July 29--August 1, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-743-8). 116-121},
 pages = {116--121},
 title = {The solution of \(s\exp(s)=a\) is not always the Lambert \(w\) function of \(a\)},
 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}
}

@inproceedings{zbMATH5117573,
 author = {Carette, J. and Zhou, Wenqin and Jeffrey, D. J. and Monagan, M. B.},
 booktitle = {Kotsireas, Ilias (ed.) et al., Maple conference 2006. Proceedings of the conference, Waterloo, Ontario, Canada, July 23--26, 2006. Waterloo: Maplesoft (ISBN 1-897310-13-7/pbk). 14-25},
 pages = {14--25},
 title = {Linear algebra using Maple's LargeExpressions package},
 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}
}

@inproceedings{zbMATH2034387,
 author = {Hazaveh, K. and Jeffrey, D. J. and Reid, G. J. and Watt, S. M. and Wittkopf, A. D.},
 booktitle = {Li, Ziming (ed.) et al., Computer mathematics. Proceedings of the sixth Asian symposium (ASCM 2003), Beijing, China, April 17--19, 2003. River Edge, NJ: World Scientific (ISBN 981-238-220-8/hbk). Lect. Notes Ser. Comput. 10, 145-162},
 pages = {145--162},
 title = {An exploration of homotopy solving in Maple},
 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}
}

@inproceedings{zbMATH2090039,
 author = {Corless, Robert M. and Jeffrey, D. J.},
 booktitle = {Calmet, Jacques (ed.) et al., Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1--5, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43865-3). Lect. Notes Comput. Sci. 2385, 76-89},
 pages = {76--89},
 title = {The Wright \(\omega\) function},
 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{zbMATH1619747,
 author = {Jeffrey, D. J. and Giesbrecht, M. W. and Corless, R. M.},
 booktitle = {Gao, Xiao-Shan (ed.) et al., Computer mathematics. Proceedings of the 4th Asian symposium (ASCM 2000), Chiang Mai, Thailand, December 17-21, 2000. Singapore: World Scientific. Lect. Notes Ser. Comput. 8, 71-74},
 pages = {71--74},
 title = {Integer roots for integer-power-content calculations},
 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}
}

@article{zbMATH1228642,
 author = {Jeffrey, D. J. and Hare, D. E. G. and Corless, R. M.},
 journal = {Comptes Rendus Math{\'{e}}matiques de l'Acad{\'{e}}mie des Sciences},
 pages = {71--76},
 title = {Exact rational solutions of a transcendental equation},
 volume = {20},
 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}
}

@article{DBLP:journals/adcm/CorlessGHJK96,
 author = {Robert M. Corless and
Gaston H. Gonnet and
D. E. G. Hare and
David J. Jeffrey and
Donald E. Knuth},
 doi = {10.1007/BF02124750},
 journal = {Adv. Comput. Math.},
 pages = {329--359},
 title = {On the LambertW function},
 url = {https://doi.org/10.1007/BF02124750},
 volume = {5},
 year = {1996}
}

@article{DBLP:journals/cca/CorlessJ96,
 author = {Robert M. Corless and
David J. Jeffrey},
 doi = {10.1145/235699.235705},
 journal = {SIGSAM Bull.},
 pages = {28--35},
 title = {The unwinding number},
 url = {https://doi.org/10.1145/235699.235705},
 volume = {30},
 year = {1996}
}

@article{DBLP:journals/cca/RichJ96,
 author = {Albert D. Rich and
David J. Jeffrey},
 doi = {10.1145/235699.235704},
 journal = {SIGSAM Bull.},
 pages = {25--27},
 title = {Function evaluation on branch cuts},
 url = {https://doi.org/10.1145/235699.235704},
 volume = {30},
 year = {1996}
}

@article{zbMATH903395,
 author = {Jeffrey, D. J. and Hare, D. E. G. and Corless, Robert M.},
 journal = {The Mathematical Scientist},
 pages = {1--7},
 title = {Unwinding the branches of the Lambert \(W\) function},
 volume = {21},
 year = {1996}
}

@article{zbMATH837073,
 author = {Jeffrey, David J. and Corless, Robert M. and Hare, David E. G. and Knuth, Donald E.},
 journal = {Comptes Rendus de l'Acad{\'{e}}mie des Sciences. S{\'{e}}rie I},
 pages = {1449--1452},
 title = {On the inversion of \(y^{\alpha} e^ y\) in terms of associated Stirling numbers},
 url = {https://arxiv.org/abs/math/9512230},
 volume = {320},
 year = {1995}
}

@article{DBLP:journals/toms/JeffreyR94,
 author = {David J. Jeffrey and
Albert D. Rich},
 doi = {10.1145/174603.174409},
 journal = {ACM Trans. Math. Softw.},
 pages = {124--135},
 title = {The evaluation of trigonometric integrals avoiding spurious discontinuities},
 url = {https://doi.org/10.1145/174603.174409},
 volume = {20},
 year = {1994}
}

@article{zbMATH713796,
 author = {Kocabiyik, S. and Jeffrey, D. J.},
 doi = {10.1016/0893-9659(94)90095-7},
 journal = {Applied Mathematics Letters},
 pages = {59--63},
 title = {Asymptotic analysis of interactions between highly conducting cylinders},
 url = {https://doi.org/10.1016/0893-9659(94)90095-7},
 volume = {7},
 year = {1994}
}

@article{zbMATH569474,
 author = {Jeffrey, D. J. and Morris, J. F. and Brady, J. F.},
 doi = {10.1063/1.858795},
 journal = {Physics of Fluids, A},
 pages = {2317--2325},
 title = {The pressure moments for two rigid spheres in low-Reynolds-number flow},
 url = {https://doi.org/10.1063/1.858795},
 volume = {5},
 year = {1993}
}

@inproceedings{DBLP:conf/issac/Jeffrey93,
 author = {David J. Jeffrey},
 booktitle = {Proceedings of the 1993 International Symposium on Symbolic and Algebraic Computation, ISSAC '93, Kiev, Ukraine, July 6-8, 1993},
 doi = {10.1145/164081.164088},
 editor = {Manuel Bronstein},
 pages = {34--41},
 publisher = {ACM},
 title = {Integration to Obtain Expressions Valid on Domains of Maximum Extent},
 url = {https://doi.org/10.1145/164081.164088},
 year = {1993}
}

@article{DBLP:journals/cca/CorlessJ92,
 author = {Robert M. Corless and
David J. Jeffrey},
 doi = {10.1145/141897.141901},
 journal = {SIGSAM Bull.},
 pages = {2--6},
 title = {Well ... it isn't quite that simple},
 url = {https://doi.org/10.1145/141897.141901},
 volume = {26},
 year = {1992}
}

@article{zbMATH34804,
 author = {Corless, R. M. and Jeffrey, D. J. and Rasmussen, H.},
 doi = {10.1016/0021-9991(92)90279-8},
 journal = {Journal of Computational Physics},
 pages = {106--114},
 title = {Numerical evaluation of Airy functions with complex arguments},
 url = {https://doi.org/10.1016/0021-9991(92)90279-8},
 volume = {99},
 year = {1992}
}

@article{zbMATH55281,
 author = {Jeffrey, D. J.},
 doi = {10.1063/1.857962},
 journal = {Physics of Fluids, A},
 pages = {1819--1821},
 title = {The lubrication analysis for two spheres in a two-dimensional pure- straining motion},
 url = {https://doi.org/10.1063/1.857962},
 volume = {3},
 year = {1991}
}

@article{DBLP:journals/jsc/CorlessJ90,
 author = {Robert M. Corless and
David J. Jeffrey},
 doi = {10.1016/S0747-7171(08)80024-7},
 journal = {J. Symb. Comput.},
 pages = {503--513},
 title = {Solution of a Hydrodynamic Lubrication Problem with Maple},
 url = {https://doi.org/10.1016/S0747-7171(08)80024-7},
 volume = {9},
 year = {1990}
}

@article{zbMATH4139420,
 author = {Acrivos, A. and Jeffrey, D. J. and Saville, D. A.},
 doi = {10.1017/S0022112090001884},
 journal = {Journal of Fluid Mechanics},
 pages = {95--110},
 title = {Particle migration in suspensions by thermocapillary or electrophoretic motion},
 url = {https://doi.org/10.1017/S0022112090001884},
 volume = {212},
 year = {1990}
}

@article{zbMATH4095033,
 author = {Jeffrey, D. J.},
 doi = {10.1007/BF00944996},
 journal = {ZAMP. Zeitschrift f{\"{u}}r angewandte Mathematik und Physik},
 pages = {163--171},
 title = {Stresslet resistance functions for low Reynolds number flow using deforming spheres},
 url = {https://doi.org/10.1007/BF00944996},
 volume = {40},
 year = {1989}
}

@article{zbMATH4106531,
 author = {Fuentes, Yuris O. and Kim, Sangtae and Jeffrey, David J.},
 doi = {10.1063/1.857524},
 journal = {Physics of Fluids, A},
 pages = {61--76},
 title = {Mobility functions for two unequal viscous drops in Stokes flow. II: Asymmetric motions},
 url = {https://doi.org/10.1063/1.857524},
 volume = {1},
 year = {1989}
}

@article{zbMATH4119806,
 author = {Jeffrey, D. J.},
 doi = {10.1063/1.857497},
 journal = {Physics of Fluids, A},
 pages = {1740--1742},
 title = {Higher-order corrections to the axisymmetric interactions of nearly touching spheres},
 url = {https://doi.org/10.1063/1.857497},
 volume = {1},
 year = {1989}
}

@article{zbMATH4130101,
 author = {Jeffrey, D. J.},
 journal = {Utilitas Mathematica},
 pages = {3--13},
 title = {Low-Reynolds-number resistance functions for two spheres},
 volume = {36},
 year = {1989}
}

@article{zbMATH4055226,
 author = {Corless, R. M. and Jeffrey, D. J.},
 doi = {10.1145/43876.43881},
 journal = {SIGSAM Bulletin},
 pages = {50--62},
 title = {A comparison of three computer algebra systems for the solution of a problem in hydrodynamic lubrication},
 url = {https://doi.org/10.1145/43876.43881},
 volume = {22},
 year = {1988}
}

@article{zbMATH4085223,
 author = {Corless, R. M. and Jeffrey, D. J.},
 doi = {10.1007/BF00945124},
 journal = {ZAMP. Zeitschrift f{\"{u}}r angewandte Mathematik und Physik},
 pages = {874--884},
 title = {Stress moments of nearly touching spheres in low Reynolds number flow},
 url = {https://doi.org/10.1007/BF00945124},
 volume = {39},
 year = {1988}
}

@article{zbMATH3868849,
 author = {Jeffrey, D. J. and Onishi, Y.},
 doi = {10.1017/S0022112084000355},
 journal = {Journal of Fluid Mechanics},
 pages = {261--290},
 title = {Calculation of the resistance and mobility functions for two unequal rigid spheres in low-Reynolds-number flow},
 url = {https://doi.org/10.1017/S0022112084000355},
 volume = {139},
 year = {1984}
}

@article{zbMATH3874831,
 author = {Jeffrey, D. J. and Onishi, Yoshimoto},
 doi = {10.1007/BF00952109},
 journal = {ZAMP. Zeitschrift f{\"{u}}r angewandte Mathematik und Physik},
 pages = {634--641},
 title = {The forces and couples acting on two nearly touching spheres in low-Reynolds-number flow},
 url = {https://doi.org/10.1007/BF00952109},
 volume = {35},
 year = {1984}
}

@article{zbMATH3882027,
 author = {Lun, C. K. K. and Savage, S. B. and Jeffrey, D. J. and Chepurniy, N.},
 doi = {10.1017/S0022112084000586},
 journal = {Journal of Fluid Mechanics},
 pages = {223--256},
 title = {Kinetic theories for granular flow: inelastic particles in Couette flow and slightly inelastic particles in a general flow field},
 url = {https://doi.org/10.1017/S0022112084000586},
 volume = {140},
 year = {1984}
}

@article{zbMATH3754262,
 author = {Jeffrey, D. J.},
 doi = {10.1112/S002557930001216X},
 journal = {Mathematika},
 pages = {58--66},
 title = {Low-Reynolds-number flow between converging spheres},
 url = {https://doi.org/10.1112/S002557930001216X},
 volume = {29},
 year = {1982}
}

@article{zbMATH3765382,
 author = {Jeffrey, D. J. and Onishi, Y.},
 doi = {10.1093/qjmam/34.2.129},
 journal = {Quarterly Journal of Mechanics and Applied Mathematics},
 pages = {129--137},
 title = {The slow motion of a cylinder next to a plane wall},
 url = {https://doi.org/10.1093/qjmam/34.2.129},
 volume = {34},
 year = {1981}
}

@article{zbMATH3773171,
 author = {Savage, S. B. and Jeffrey, D. J.},
 doi = {10.1017/S0022112081000736},
 journal = {Journal of Fluid Mechanics},
 pages = {255--272},
 title = {The stress tensor in a granular flow at high shear rates},
 url = {https://doi.org/10.1017/S0022112081000736},
 volume = {110},
 year = {1981}
}

@article{zbMATH3673736,
 author = {Jeffrey, D. J. and Sherwood, J. D.},
 doi = {10.1017/S0022112080002145},
 journal = {Journal of Fluid Mechanics},
 pages = {315--324},
 title = {Streamline patterns and eddies in low-Reynolds-number flow},
 url = {https://doi.org/10.1017/S0022112080002145},
 volume = {96},
 year = {1980}
}

@article{zbMATH3731649,
 author = {Acrivos, A. and Hinch, E. J. and Jeffrey, D. J.},
 doi = {10.1017/S0022112080001723},
 journal = {Journal of Fluid Mechanics},
 pages = {403--421},
 title = {Heat transfer to a slowly moving fluid from a dilute fixed bed of heated spheres},
 url = {https://doi.org/10.1017/S0022112080001723},
 volume = {101},
 year = {1980}
}

@inproceedings{zbMATH3892653,
 author = {Jeffrey, D. J.},
 booktitle = {Continuum models of discrete systems, Proc. 3rd int. Symp., Freudenstadt/Ger. 1979, SM Stud. Ser. 15, 401-414},
 title = {The averaged-equation approach to finding mean-field equations for a particulate random medium},
 year = {1980}
}