[ 2017 ]




[ 2016 ]


[ 58 ]
Johannes Middeke and David J. Jeffrey. Matrix factoring by fraction-free reduction. CoRR, abs/1603.03565, 2016. [ http ]
@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}
}



[ 2015 ]


[ 57 ]
Silvana Ilie, David J. Jeffrey, Robert M. Corless, and X. Zhang. Computation of stirling numbers and generalizations. In Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors, 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015, pages 57-60. IEEE Computer Society, 2015. [ http ]
@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 = {http://dx.doi.org/10.1109/SYNASC.2015.18},
 year = {2015}
}



[ 2014 ]


[ 56 ]
Corless, Robert M., Hu, Junrui, and Jeffrey, D. J. Some definite integrals containing the tree T function. ACM Commun. Comput. Algebra, 48:33-41, 2014.
@article{MR3234128,
 author = {Corless, Robert M. and Hu, Junrui and Jeffrey, D. J.},
 journal = {ACM Commun. Comput. Algebra},
 pages = {33--41},
 title = {Some definite integrals containing the tree {$T$} function},
 volume = {48},
 year = {2014}
}

[ 55 ]
Corless, Robert M., Jeffrey, David J., and Wang, Fei. The asymptotic analysis of some interpolated nonlinear recurrence relations. In ISSAC 2014-Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, pages 115-121. ACM, New York, 2014. [ http ]
@incollection{MR3239916,
 author = {Corless, Robert M. and Jeffrey, David J. and Wang, Fei},
 booktitle = {I{SSAC} 2014---{P}roceedings of the 39th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2608628.2608677},
 pages = {115--121},
 publisher = {ACM, New York},
 title = {The asymptotic analysis of some interpolated nonlinear
recurrence relations},
 url = {http://dx.doi.org/10.1145/2608628.2608677},
 year = {2014}
}

[ 54 ]
David J. Jeffrey. Multivalued elementary functions in computer-algebra systems. In Gonzalo A. Aranda-Corral, Jacques Calmet, and Francisco J. Martín-Mateos, editors, Artificial Intelligence and Symbolic Computation - 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings, volume 8884, pages 157-167. Springer, 2014. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-319-13770-4_14},
 volume = {8884},
 year = {2014}
}

[ 53 ]
Dina Tsarapkina and David J. Jeffrey. Exploring rounding errors in matlab using extended precision. In David Abramson, Michael Lees, Valeria V. Krzhizhanovskaya, Jack Dongarra, and Peter M. A. Sloot, editors, Proceedings of the International Conference on Computational Science, ICCS 2014, Cairns, Queensland, Australia, 10-12 June, 2014, volume 29, pages 1423-1432. Elsevier, 2014. [ http ]
@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 Dongarra and
Peter M. A. Sloot},
 pages = {1423--1432},
 publisher = {Elsevier},
 title = {Exploring Rounding Errors in Matlab Using Extended Precision},
 url = {http://dx.doi.org/10.1016/j.procs.2014.05.129},
 volume = {29},
 year = {2014}
}



[ 2013 ]


[ 52 ]
J. Hu, Y. Hou, Albert D. Rich, and David J. Jeffrey. Indefinite integration as term rewriting: Integrals containing tangent. Programming and Computer Software, 39:61-66, 2013. [ http ]
@article{DBLP:journals/pcs/HuHRJ13,
 author = {J. Hu and
Y. Hou and
Albert D. Rich and
David J. Jeffrey},
 doi = {10.1134/S0361768813020059},
 journal = {Programming and Computer Software},
 pages = {61--66},
 title = {Indefinite integration as term rewriting: Integrals containing tangent},
 url = {http://dx.doi.org/10.1134/S0361768813020059},
 volume = {39},
 year = {2013}
}

[ 51 ]
Zinovi L. Krougly, David J. Jeffrey, and Dina Tsarapkina. Software implementation of numerical algorithms in arbitrary precision. In Nikolaj Bjørner, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors, 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pages 131-137. IEEE Computer Society, 2013. [ http ]
@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 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 = {http://dx.doi.org/10.1109/SYNASC.2013.25},
 year = {2013}
}

[ 50 ]
Johannes Middeke, Ahmed Almohaimeed, and David J. Jeffrey. Common factors in fraction-free matrix reduction. In Nikolaj Bjørner, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, and Daniela Zaharie, editors, 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013, pages 76-80. IEEE Computer Society, 2013. [ http ]
@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 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 = {http://dx.doi.org/10.1109/SYNASC.2013.17},
 year = {2013}
}



[ 2012 ]


[ 49 ]
Piers W. Lawrence, Robert M. Corless, and David J. Jeffrey. Algorithm 917: Complex double-precision evaluation of the wright ω function. ACM Trans. Math. Softw., 38:20:1-20:17, 2012. [ http ]
@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 = {http://doi.acm.org/10.1145/2168773.2168779},
 volume = {38},
 year = {2012}
}

[ 48 ]
Kalugin, German A., Jeffrey, David J., Corless, Robert M., and Borwein, Peter B. Stieltjes and other integral representations for functions of Lambert W. Integral Transforms Spec. Funct., 23:581-593, 2012. [ http ]
@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 = {http://dx.doi.org/10.1080/10652469.2011.613830},
 volume = {23},
 year = {2012}
}

[ 47 ]
Kalugin, German A., Jeffrey, David J., and Corless, Robert M. Bernstein, Pick, Poisson and related integral expressions for Lambert W. Integral Transforms Spec. Funct., 23:817-829, 2012. [ http ]
@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 = {http://dx.doi.org/10.1080/10652469.2011.640327},
 volume = {23},
 year = {2012}
}



[ 2011 ]


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

[ 45 ]
Kalugin, G. A. and Jeffrey, D. J. Unimodal sequences show that Lambert W is Bernstein. C. R. Math. Acad. Sci. Soc. R. Can., 33:50-56, 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}
}



[ 2010 ]


[ 44 ]
Songxin Liang and David J. Jeffrey. Approximate solutions to a parameterized sixth order boundary value problem. Computers & Mathematics with Applications, 59:247-253, 2010. [ http ]
@article{DBLP:journals/cma/LiangJ10,
 author = {Songxin Liang and
David J. Jeffrey},
 doi = {10.1016/j.camwa.2009.07.053},
 journal = {Computers {\&} Mathematics with Applications},
 pages = {247--253},
 title = {Approximate solutions to a parameterized sixth order boundary value
problem},
 url = {http://dx.doi.org/10.1016/j.camwa.2009.07.053},
 volume = {59},
 year = {2010}
}

[ 43 ]
Shemyakova, E., Khashin, S. I., and Jeffrey, D. J. A conjecture concerning a completely monotonic function. Comput. Math. Appl., 60:1360-1363, 2010. [ http ]
@article{MR2672935,
 author = {Shemyakova, E. and Khashin, S. I. and Jeffrey, D. J.},
 doi = {10.1016/j.camwa.2010.06.017},
 journal = {Comput. Math. Appl.},
 pages = {1360--1363},
 title = {A conjecture concerning a completely monotonic function},
 url = {http://dx.doi.org/10.1016/j.camwa.2010.06.017},
 volume = {60},
 year = {2010}
}

[ 42 ]
Tanguay, J., Gil, M., Jeffrey, D. J., and Valluri, S. R. D-dimensional Bose gases and the Lambert W function. J. Math. Phys., 51:123303, 14, 2010. [ http ]
@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 = {http://dx.doi.org/10.1063/1.3496906},
 volume = {51},
 year = {2010}
}

[ 41 ]
David J. Jeffrey and Albert D. Rich. Reducing expression size using rule-based integration. In Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, and Alan P. Sexton, editors, 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, volume 6167, pages 234-246. Springer, 2010. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-14128-7_20},
 volume = {6167},
 year = {2010}
}



[ 2009 ]


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

[ 39 ]
Songxin Liang and David J. Jeffrey. New travelling wave solutions to modified CH and DP equations. Computer Physics Communications, 180:1429-1433, 2009. [ http ]
@article{DBLP:journals/cphysics/LiangJ09,
 author = {Songxin Liang and
David J. Jeffrey},
 doi = {10.1016/j.cpc.2009.02.015},
 journal = {Computer Physics Communications},
 pages = {1429--1433},
 title = {New travelling wave solutions to modified {CH} and {DP} equations},
 url = {http://dx.doi.org/10.1016/j.cpc.2009.02.015},
 volume = {180},
 year = {2009}
}

[ 38 ]
Songxin Liang and David J. Jeffrey. Automatic computation of the complete root classification for a parametric polynomial. J. Symb. Comput., 44:1487-1501, 2009. [ http ]
@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 = {http://dx.doi.org/10.1016/j.jsc.2009.05.003},
 volume = {44},
 year = {2009}
}

[ 37 ]
Liang, Songxin and Jeffrey, David J. Comparison of homotopy analysis method and homotopy perturbation method through an evolution equation. Commun. Nonlinear Sci. Numer. Simul., 14:4057-4064, 2009. [ http ]
@article{MR2537566,
 author = {Liang, Songxin and Jeffrey, David J.},
 doi = {10.1016/j.cnsns.2009.02.016},
 journal = {Commun. Nonlinear Sci. Numer. Simul.},
 pages = {4057--4064},
 title = {Comparison of homotopy analysis method and homotopy
perturbation method through an evolution equation},
 url = {http://dx.doi.org/10.1016/j.cnsns.2009.02.016},
 volume = {14},
 year = {2009}
}

[ 36 ]
Valluri, S. R., Gil, M., Jeffrey, D. J., and Basu, Shantanu. The Lambert W function and quantum statistics. J. Math. Phys., 50:102103, 11, 2009. [ http ]
@article{MR2573101,
 author = {Valluri, S. R. and Gil, M. and Jeffrey, D. J. and Basu, Shantanu},
 doi = {10.1063/1.3230482},
 journal = {J. Math. Phys.},
 pages = {102103, 11},
 title = {The {L}ambert {$W$} function and quantum statistics},
 url = {http://dx.doi.org/10.1063/1.3230482},
 volume = {50},
 year = {2009}
}

[ 35 ]
Albert D. Rich and David J. Jeffrey. A knowledge repository for indefinite integration based on transformation rules. In Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, and Stephen M. Watt, editors, 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, volume 5625, pages 480-485. Springer, 2009. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-642-02614-0_39},
 volume = {5625},
 year = {2009}
}



[ 2008 ]


[ 34 ]
Songxin Liang and David J. Jeffrey. Automatic computation of the travelling wave solutions to nonlinear pdes. Computer Physics Communications, 178:700-712, 2008. [ http ]
@article{DBLP:journals/cphysics/LiangJ08,
 author = {Songxin Liang and
David J. Jeffrey},
 doi = {10.1016/j.cpc.2007.12.004},
 journal = {Computer Physics Communications},
 pages = {700--712},
 title = {Automatic computation of the travelling wave solutions to nonlinear
PDEs},
 url = {http://dx.doi.org/10.1016/j.cpc.2007.12.004},
 volume = {178},
 year = {2008}
}

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

[ 32 ]
Bronstein, Manuel, Corless, Robert M., Davenport, James H., and Jeffrey, D. J. Algebraic properties of the Lambert W function from a result of Rosenlicht and of Liouville. Integral Transforms Spec. Funct., 19:709-712, 2008. [ http ]
@article{MR2454730,
 author = {Bronstein, Manuel and Corless, Robert M. and Davenport, James
H. and Jeffrey, D. J.},
 doi = {10.1080/10652460802332342},
 journal = {Integral Transforms Spec. Funct.},
 pages = {709--712},
 title = {Algebraic properties of the {L}ambert {$W$} function from a
result of {R}osenlicht and of {L}iouville},
 url = {http://dx.doi.org/10.1080/10652460802332342},
 volume = {19},
 year = {2008}
}

[ 31 ]
Liang, Songxin, Jeffrey, David J., and Moreno Maza, Marc. The complete root classification of a parametric polynomial on an interval. In ISSAC 2008, pages 189-195. ACM, New York, 2008. [ http ]
@incollection{MR2513505,
 author = {Liang, Songxin and Jeffrey, David J. and Moreno Maza, Marc},
 booktitle = {I{SSAC} 2008},
 doi = {10.1145/1390768.1390796},
 pages = {189--195},
 publisher = {ACM, New York},
 title = {The complete root classification of a parametric polynomial on
an interval},
 url = {http://dx.doi.org/10.1145/1390768.1390796},
 year = {2008}
}



[ 2007 ]


[ 30 ]
Corless, Robert M., Ding, Hui, Higham, Nicholas J., and Jeffrey, David J. The solution of Sexp(S)=A is not always the Lambert W function of A. In ISSAC 2007, pages 116-121. ACM, New York, 2007. [ http ]
@incollection{MR2396192,
 author = {Corless, Robert M. and Ding, Hui and Higham, Nicholas J. and
Jeffrey, David J.},
 booktitle = {I{SSAC} 2007},
 doi = {10.1145/1277548.1277565},
 pages = {116--121},
 publisher = {ACM, New York},
 title = {The solution of {$S\exp (S)=A$} is not always the {L}ambert
{$W$} function of {$A$}},
 url = {http://dx.doi.org/10.1145/1277548.1277565},
 year = {2007}
}

[ 29 ]
Zhou, Wenqin, Jeffrey, David J., and Reid, Greg J. Symbolic computation sequences and numerical analytic geometry applied to multibody dynamical systems. In Symbolic-numeric computation, pages 335-347. Birkhäuser, Basel, 2007. [ http ]
@incollection{MR2428456,
 author = {Zhou, Wenqin and Jeffrey, David J. and Reid, Greg J.},
 booktitle = {Symbolic-numeric computation},
 doi = {10.1007/978-3-7643-7984-1_20},
 pages = {335--347},
 publisher = {Birkh\"auser, Basel},
 title = {Symbolic computation sequences and numerical analytic geometry
applied to multibody dynamical systems},
 url = {http://dx.doi.org/10.1007/978-3-7643-7984-1_20},
 year = {2007}
}

[ 28 ]
Jeffrey, David J., Ilie, Silvana, Gardiner, James M., and Campbell, Steven W. A symbolic-numeric approach to an electric field problem. In Symbolic-numeric computation, pages 349-359. Birkhäuser, Basel, 2007. [ http ]
@incollection{MR2428457,
 author = {Jeffrey, David J. and Ilie, Silvana and Gardiner, James M. and
Campbell, Steven W.},
 booktitle = {Symbolic-numeric computation},
 doi = {10.1007/978-3-7643-7984-1_21},
 pages = {349--359},
 publisher = {Birkh\"auser, Basel},
 title = {A symbolic-numeric approach to an electric field problem},
 url = {http://dx.doi.org/10.1007/978-3-7643-7984-1_21},
 year = {2007}
}

[ 27 ]
Songxin Liang and David J. Jeffrey. Unconstrained parametric minimization of a polynomial: Approximate and exact. In Deepak Kapur, editor, Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers, volume 5081, pages 22-31. Springer, 2007. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-540-87827-8_2},
 volume = {5081},
 year = {2007}
}

[ 26 ]
Songxin Liang and David J. Jeffrey. Rule-based simplification in vector-product spaces. In Manuel Kauers, Manfred Kerber, Robert Miner, and Wolfgang Windsteiger, editors, Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings, volume 4573, pages 116-127. Springer, 2007. [ http ]
@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 = {http://dx.doi.org/10.1007/978-3-540-73086-6_10},
 volume = {4573},
 year = {2007}
}



[ 2006 ]


[ 25 ]
Songxin Liang and David J. Jeffrey. An algorithm for computing the complete root classification of a parametric polynomial. In Jacques Calmet, Tetsuo Ida, and Dongming Wang, editors, Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, volume 4120, pages 116-130. Springer, 2006. [ http ]
@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 = {http://dx.doi.org/10.1007/11856290_12},
 volume = {4120},
 year = {2006}
}

[ 24 ]
Wenqin Zhou, Jacques Carette, David J. Jeffrey, and Michael B. Monagan. Hierarchical representations with signatures for large expression management. In Jacques Calmet, Tetsuo Ida, and Dongming Wang, editors, Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings, volume 4120, pages 254-268. Springer, 2006. [ http ]
@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 = {http://dx.doi.org/10.1007/11856290_22},
 volume = {4120},
 year = {2006}
}



[ 2005 ]


[ 23 ]
Silvana Ilie and David J. Jeffrey. A note on laplace's equation inside a cylinder. Appl. Math. Lett., 18:55-59, 2005. [ http ]
@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 = {http://dx.doi.org/10.1016/j.aml.2003.05.015},
 volume = {18},
 year = {2005}
}

[ 22 ]
Jeffrey, D. J., Pratibha, and Roach, K. B. Affine transformations of algebraic numbers. In ISSAC'05, pages 193-199. ACM, New York, 2005. [ http ]
@incollection{MR2280547,
 author = {Jeffrey, D. J. and Pratibha and Roach, K. B.},
 booktitle = {I{SSAC}'05},
 doi = {10.1145/1073884.1073912},
 pages = {193--199},
 publisher = {ACM, New York},
 title = {Affine transformations of algebraic numbers},
 url = {http://dx.doi.org/10.1145/1073884.1073912},
 year = {2005}
}

[ 21 ]
David J. Jeffrey. The art of formula. In Andreas Dolzmann, Andreas Seidl, and Thomas Sturm, editors, Algorithmic Algebra and Logic. Proceedings of the A3L 2005, April 3-6, Passau, Germany; Conference in Honor of the 60th Birthday of Volker Weispfenning., pages 135-139. Books on Demand, 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}
}

[ 20 ]
Pratibha and David J. Jeffrey. Stokes-flow problem solved using maple. In Vaidy S. Sunderam, G. Dick van Albada, Peter M. A. Sloot, and Jack Dongarra, editors, Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III, volume 3516, pages 667-670. Springer, 2005. [ http ]
@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 Dongarra},
 pages = {667--670},
 publisher = {Springer},
 title = {Stokes-Flow Problem Solved Using Maple},
 url = {http://dx.doi.org/10.1007/11428862_91},
 volume = {3516},
 year = {2005}
}

[ 19 ]
Wenqin Zhou, David J. Jeffrey, and Gregory J. Reid. An algebraic method for analyzing open-loop dynamic systems. In Vaidy S. Sunderam, G. Dick van Albada, Peter M. A. Sloot, and Jack Dongarra, editors, Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III, volume 3516, pages 586-593. Springer, 2005. [ http ]
@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 Dongarra},
 pages = {586--593},
 publisher = {Springer},
 title = {An Algebraic Method for Analyzing Open-Loop Dynamic Systems},
 url = {http://dx.doi.org/10.1007/11428862_80},
 volume = {3516},
 year = {2005}
}



[ 2004 ]


[ 18 ]
Jeffrey, D. J. and Norman, A. C. Not seeing the roots for the branches: multivalued functions in computer algebra. SIGSAM Bull., 38:57-66, 2004. [ http ]
@article{MR2209946,
 author = {Jeffrey, D. J. and Norman, A. C.},
 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 = {http://dx.doi.org/10.1145/1040034.1040036},
 volume = {38},
 year = {2004}
}

[ 17 ]
Wenqin Zhou, David J. Jeffrey, Gregory J. Reid, Chad Schmitke, and John McPhee. Implicit reduced involutive forms and their application to engineering multibody systems. In Hongbo Li, Peter J. Olver, and Gerald Sommer, editors, 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, volume 3519, pages 31-43. Springer, 2004. [ http ]
@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 = {http://dx.doi.org/10.1007/11499251_4},
 volume = {3519},
 year = {2004}
}



[ 2003 ]


[ 16 ]
Hazaveh, K., Jeffrey, D. J., Reid, G. J., Watt, S. M., and Wittkopf, A. D. An exploration of homotopy solving in Maple. In Computer mathematics, volume 10, pages 145-162. World Sci. Publ., River Edge, NJ, 2003.
@incollection{MR2061831,
 author = {Hazaveh, K. and Jeffrey, D. J. and Reid, G. J. and Watt, S. M.
and Wittkopf, A. D.},
 booktitle = {Computer mathematics},
 pages = {145--162},
 publisher = {World Sci. Publ., River Edge, NJ},
 title = {An exploration of homotopy solving in {M}aple},
 volume = {10},
 year = {2003}
}



[ 2002 ]


[ 15 ]
Russell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, and Stephen M. Watt. Reasoning about the elementary functions of complex analysis. Ann. Math. Artif. Intell., 36:303-318, 2002. [ http ]
@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 = {http://dx.doi.org/10.1023/A:1016007415899},
 volume = {36},
 year = {2002}
}

[ 14 ]
Corless, Robert M. and Jeffrey, D. J. The Wright ω function. In Artificial intelligence, automated reasoning, and symbolic computation, volume 2385, pages 76-89. Springer, Berlin, 2002. [ http ]
@incollection{MR2052079,
 author = {Corless, Robert M. and Jeffrey, D. J.},
 booktitle = {Artificial intelligence, automated reasoning, and symbolic
computation},
 doi = {10.1007/3-540-45470-5_10},
 pages = {76--89},
 publisher = {Springer, Berlin},
 title = {The {W}right {$\omega$} function},
 url = {http://dx.doi.org/10.1007/3-540-45470-5_10},
 volume = {2385},
 year = {2002}
}



[ 2001 ]




[ 2000 ]


[ 13 ]
Kaltofen, Erich, Corless, Robert M., and Jeffrey, David J. Challenges of symbolic computation: my favorite open problems. J. Symbolic Comput., 29:891-919, 2000. [ http ]
@article{MR1765929,
 author = {Kaltofen, Erich and Corless, Robert M. and Jeffrey, David J.},
 doi = {10.1006/jsco.2000.0370},
 journal = {J. Symbolic Comput.},
 pages = {891--919},
 title = {Challenges of symbolic computation: my favorite open problems},
 url = {http://dx.doi.org/10.1006/jsco.2000.0370},
 volume = {29},
 year = {2000}
}

[ 12 ]
Jeffrey, D. J., Giesbrecht, M. W., and Corless, R. M. Integer roots for integer-power-content calculations. In Computer mathematics (Chiang Mai, 2000), volume 8, pages 71-74. World Sci. Publ., River Edge, NJ, 2000.
@incollection{MR1896313,
 author = {Jeffrey, D. J. and Giesbrecht, M. W. and Corless, R. M.},
 booktitle = {Computer mathematics ({C}hiang {M}ai, 2000)},
 pages = {71--74},
 publisher = {World Sci. Publ., River Edge, NJ},
 title = {Integer roots for integer-power-content calculations},
 volume = {8},
 year = {2000}
}

[ 11 ]
Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, and Stephen M. Watt. Reasoning about the elementary functions of complex analysis. In John A. Campbell and Eugenio Roanes-Lozano, editors, Artificial Intelligence and Symbolic Computation, International Conference AISC 2000 Madrid, Spain, July 17-19, 2000, Revised Papers, volume 1930, pages 115-126. Springer, 2000. [ http ]
@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 = {http://dx.doi.org/10.1007/3-540-44990-6_9},
 volume = {1930},
 year = {2000}
}



[ 1999 ]


[ 10 ]
Robert M. Corless, Mark Giesbrecht, David J. Jeffrey, and Stephen M. Watt. Approximate polynomial decomposition. In Keith O. Geddes, Bruno Salvy, and Samuel S. Dooley, editors, Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, ISSAC '99, Vancouver, B.C., Canada, July 29-31, 1999, pages 213-219. ACM, 1999. [ http ]
@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 = {http://doi.acm.org/10.1145/309831.309939},
 year = {1999}
}



[ 1998 ]


[ 9 ]
Jeffrey, D. J., Hare, D. E. G., and Corless, R. M. Exact rational solutions of a transcendental equation. C. R. Math. Acad. Sci. Soc. R. Can., 20:71-76, 1998.
@article{MR1638017,
 author = {Jeffrey, D. J. and Hare, D. E. G. and Corless, R. M.},
 journal = {C. R. Math. Acad. Sci. Soc. R. Can.},
 pages = {71--76},
 title = {Exact rational solutions of a transcendental equation},
 volume = {20},
 year = {1998}
}

[ 8 ]
David J. Jeffrey and Albert D. Rich. Recursive integration of piecewise-continuous functions. In Volker Weispfenning and Barry M. Trager, editors, Proceedings of the 1998 International Symposium on Symbolic and Algebraic Computation, ISSAC '98, Rostock, Germany, August 13-15, 1998, pages 290-294. ACM, 1998. [ http ]
@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 = {http://doi.acm.org/10.1145/281508.281649},
 year = {1998}
}



[ 1997 ]


[ 7 ]
Robert M. Corless and David J. Jeffrey. Scientific computing: One part of the revolution. J. Symb. Comput., 23:485-495, 1997. [ http ]
@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 = {http://dx.doi.org/10.1006/jsco.1996.0102},
 volume = {23},
 year = {1997}
}

[ 6 ]
Robert M. Corless, David J. Jeffrey, Michael B. Monagan, and Pratibha. Two perturbation calculations in fluid mechanics using large-expression management. J. Symb. Comput., 23:427-443, 1997. [ http ]
@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 = {http://dx.doi.org/10.1006/jsco.1996.0097},
 volume = {23},
 year = {1997}
}

[ 5 ]
David J. Jeffrey. Rectifying transformations for the integration of rational trigonometric functions. J. Symb. Comput., 24:563-573, 1997. [ http ]
@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 = {http://dx.doi.org/10.1006/jsco.1997.0152},
 volume = {24},
 year = {1997}
}

[ 4 ]
Robert M. Corless, David J. Jeffrey, and Donald E. Knuth. A sequence of series for the lambert W function. In Bruce W. Char, Paul S. Wang, and Wolfgang Küchlin, editors, Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC '97, Maui, Hawaii, USA, July 21-23, 1997, pages 197-204. ACM, 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} '97, Maui, Hawaii, USA, July 21-23, 1997},
 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},
 year = {1997}
}

[ 3 ]
David J. Jeffrey, George Labahn, Martin von Mohrenschildt, and Albert D. Rich. Integration of the signum, piecewise and related functions. In Bruce W. Char, Paul S. Wang, and Wolfgang Küchlin, editors, Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC '97, Maui, Hawaii, USA, July 21-23, 1997, pages 324-330. ACM, 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} '97, Maui, Hawaii, USA, July 21-23, 1997},
 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},
 year = {1997}
}

[ 2 ]
Corless, Robert M., Jeffrey, David J., and Knuth, Donald E. A sequence of series for the Lambert W function. In Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation (Kihei, HI), pages 197-204. ACM, New York, 1997. [ http ]
@inproceedings{MR1809988,
 author = {Corless, Robert M. and Jeffrey, David J. and Knuth, Donald E.},
 booktitle = {Proceedings of the 1997 {I}nternational {S}ymposium on
{S}ymbolic and {A}lgebraic {C}omputation ({K}ihei, {HI})},
 doi = {10.1145/258726.258783},
 pages = {197--204},
 publisher = {ACM, New York},
 title = {A sequence of series for the {L}ambert {$W$} function},
 url = {http://dx.doi.org/10.1145/258726.258783},
 year = {1997}
}

[ 1 ]
Jeffrey, D. J., Labahn, G., v. Mohrenschildt, M., and Rich, A. D. Integration of the signum, piecewise and related functions. In Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation (Kihei, HI), pages 324-330. ACM, New York, 1997. [ http ]
@inproceedings{MR1810001,
 author = {Jeffrey, D. J. and Labahn, G. and v. Mohrenschildt, M. and
Rich, A. D.},
 booktitle = {Proceedings of the 1997 {I}nternational {S}ymposium on
{S}ymbolic and {A}lgebraic {C}omputation ({K}ihei, {HI})},
 doi = {10.1145/258726.258830},
 pages = {324--330},
 publisher = {ACM, New York},
 title = {Integration of the signum, piecewise and related functions},
 url = {http://dx.doi.org/10.1145/258726.258830},
 year = {1997}
}