@article{DBLP:journals/amc/ChanCGSS22-190,
 author = {Eunice Y. S. Chan and
Robert M. Corless and
Laureano Gonz{\'{a}}lez{-}Vega and
J. Rafael Sendra and
Juana Sendra},
 doi = {10.1016/j.amc.2022.126945},
 journal = {Appl. Math. Comput.},
 pages = {126945},
 title = {Inner {B}ohemian inverses},
 url = {https://doi.org/10.1016/j.amc.2022.126945},
 volume = {421},
 year = {2022}
}

@article{DBLP:journals/corr/abs-2201-04268,
 author = {Taylor Brysiewicz and
Michael Burr},
 journal = {CoRR},
 title = {Sparse trace tests},
 url = {https://arxiv.org/abs/2201.04268},
 volume = {abs/2201.04268},
 year = {2022}
}

@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}
}

@article{MR4338266-187,
 author = {Rezaei, F. and Hadizadeh, M. and Corless, Robert M. and Amiraslani,
A.},
 doi = {10.1007/s43037-021-00156-4},
 journal = {Banach J. Math. Anal.},
 pages = {1--22},
 title = {Structural analysis of matrix integration operators in
polynomial bases},
 url = {https://doi.org/10.1007/s43037-021-00156-4},
 volume = {16},
 year = {2022}
}

@article{MR4475402,
 author = {Corless, Robert M. and Sevyeri, Leili Rafiee},
 doi = {10.1016/j.jat.2022.105810},
 journal = {J. Approx. Theory},
 pages = {Paper No. 105810},
 title = {Compact cubic splines},
 url = {https://doi.org/10.1016/j.jat.2022.105810},
 volume = {283},
 year = {2022}
}

@book{CDJ,
 author = {Calkin, Neil J. and Chan, Eunice Y.S. and Corless, Robert M.},
 publisher = {Jupyter--Book},
 title = {Computational Discovery on Jupyter},
 url = {https://computational-discovery-on-jupyter.github.io/Computational-Discovery-on-Jupyter/index.html},
 year = {2022}
}

@incollection{Betteridge2022,
 author = {Betteridge, Jack
and Chan, Eunice Y. S.
and Corless, Robert M.
and Davenport, James H.
and Grant, James},
 booktitle = {Mathematics Education in the Age of Artificial Intelligence: How Artificial Intelligence can Serve Mathematical Human Learning},
 doi = {10.1007/978-3-030-86909-0_12},
 editor = {Richard, Philippe R.
and V{\'e}lez, M. Pilar
and Van Vaerenbergh, Steven},
 pages = {251--276},
 publisher = {Springer International Publishing},
 title = {Teaching Programming for Mathematical Scientists},
 url = {https://doi.org/10.1007/978-3-030-86909-0_12},
 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/casc/MazaW22,
 author = {Marc Moreno Maza and
Linxiao Wang},
 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_14},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {246--267},
 publisher = {Springer},
 title = {Computing the Integer Hull of Convex Polyhedral Sets},
 url = {https://doi.org/10.1007/978-3-031-14788-3_14},
 volume = {13366},
 year = {2022}
}

@inproceedings{DBLP:conf/issac/CorlessLPS22,
 author = {Robert M. Corless and
George Labahn and
Dan Piponi and
Leili Rafiee Sevyeri},
 booktitle = {{ISSAC} '22: International Symposium on Symbolic and Algebraic Computation,
Villeneuve-d'Ascq, France, July 4 - 7, 2022},
 doi = {10.1145/3476446.3536177},
 editor = {Marc Moreno Maza and
Lihong Zhi},
 pages = {361--370},
 publisher = {{ACM}},
 title = {Bohemian Matrix Geometry},
 url = {https://doi.org/10.1145/3476446.3536177},
 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}
}

@misc{Calendar2022,
 author = {Calkin, Neil J. and Chan, Eunice Y.S. and Corless, Robert M.},
 note = {Four versions: (A4,letter) $\times$ (Sunday, Monday)},
 title = {The {Bohemian} Matrix Calendar},
 url = {https://rcorless.github.io/2022_Bohemian_Wall_CalendarLetterSundayWeek.pdf},
 year = {2022}
}

@proceedings{DBLP:conf/issac/2022,
 doi = {10.1145/3476446},
 editor = {Marc Moreno Maza and
Lihong Zhi},
 publisher = {{ACM}},
 title = {{ISSAC} '22: International Symposium on Symbolic and Algebraic Computation,
Villeneuve-d'Ascq, France, July 4 - 7, 2022},
 url = {https://doi.org/10.1145/3476446},
 year = {2022}
}

@article{Chan-180,
 author = {Chan, Eunice Y.S. and Corless, Robert M. and Rafiee Sevyeri, Leili},
 journal = {The Electronic Journal of Linear Algebra},
 pages = {640--658},
 title = {Generalized Standard Triples for Algebraic Linearizations of Matrix Polynomials},
 url = {https://journals.uwyo.edu/index.php/ela/article/view/4975},
 volume = {37},
 year = {2021}
}

@article{Corless_2021-179,
 author = {Robert M. Corless},
 doi = {10.5206/mt.v1i2.14508},
 journal = {{Maple} Transactions},
 publisher = {University of Western Ontario, Western Libraries},
 title = {{Maple} {T}ransactions---The Early Years},
 url = {https://doi.org/10.5206/mt.v1i2.14508},
 volume = {1},
 year = {2021}
}

@article{Corless_2021-185,
 author = {Corless, Robert M.},
 doi = {10.5206/mt.v1i2.14360},
 journal = {{Maple} Transactions},
 title = {Skew-symmetric tridiagonal {B}ohemian matrices},
 url = {https://mapletransactions.org/index.php/maple/article/view/14360},
 volume = {1},
 year = {2021}
}

@article{DBLP:journals/corr/abs-2111-08160,
 author = {Wenqiang Yang and
Wenyuan Wu and
Greg Reid},
 journal = {CoRR},
 title = {Implicit Method for Degenerated Differential-Algebraic Equations and
Applications},
 url = {https://arxiv.org/abs/2111.08160},
 volume = {abs/2111.08160},
 year = {2021}
}

@article{DBLP:journals/jsc/Brysiewicz21,
 author = {Taylor Brysiewicz},
 doi = {10.1016/j.jsc.2019.11.002},
 journal = {J. Symb. Comput.},
 pages = {95--107},
 title = {Necklaces count polynomial parametric osculants},
 url = {https://doi.org/10.1016/j.jsc.2019.11.002},
 volume = {103},
 year = {2021}
}

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

@article{DBLP:journals/mics/BoulierLMP21,
 author = {Fran{\c{c}}ois Boulier and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Adrien Poteaux},
 doi = {10.1007/s11786-020-00477-x},
 journal = {Math. Comput. Sci.},
 pages = {177--188},
 title = {A Short Contribution to the Theory of Regular Chains},
 url = {https://doi.org/10.1007/s11786-020-00477-x},
 volume = {15},
 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}
}

@article{DBLP:journals/mics/MohammadiRH21,
 author = {Zahra Mohammadi and
Gregory J. Reid and
Tracy Shih{-}lung Huang},
 doi = {10.1007/s11786-020-00483-z},
 journal = {Math. Comput. Sci.},
 pages = {293--316},
 title = {Symmetry-Based Algorithms for Invertible Mappings of Polynomially
Nonlinear {PDE} to Linear {PDE}},
 url = {https://doi.org/10.1007/s11786-020-00483-z},
 volume = {15},
 year = {2021}
}

@article{DBLP:journals/na/BrysiewiczRSY21,
 author = {Taylor Brysiewicz and
Jose Israel Rodriguez and
Frank Sottile and
Thomas Yahl},
 doi = {10.1007/s11075-020-01045-x},
 journal = {Numer. Algorithms},
 pages = {453--474},
 title = {Solving decomposable sparse systems},
 url = {https://doi.org/10.1007/s11075-020-01045-x},
 volume = {88},
 year = {2021}
}

@article{DBLP:journals/siamrev/BrimacombeCZ21,
 author = {Chris Brimacombe and
Robert M. Corless and
Mair Zamir},
 doi = {10.1137/20M135786X},
 journal = {{SIAM} Rev.},
 pages = {653--720},
 title = {Computation and Applications of Mathieu Functions: {A} Historical
Perspective},
 url = {https://doi.org/10.1137/20M135786X},
 volume = {63},
 year = {2021}
}

@article{MOIR202197,
 author = {Robert H.C. Moir and Robert M. Corless and David J. Jeffrey},
 doi = {https://doi.org/10.1016/j.jsc.2020.06.003},
 journal = {Journal of Symbolic Computation},
 pages = {97--117},
 title = {An unwinding number pair for continuous expressions of integrals},
 url = {https://www.sciencedirect.com/science/article/pii/S0747717120300456},
 volume = {105},
 year = {2021}
}

@article{MR4225270,
 author = {Corless, Robert M.},
 journal = {Gac. R. Soc. Mat. Esp.},
 pages = {147--159},
 title = {Sobre La Iteraci\'on C\'ubica Inversa},
 volume = {24},
 year = {2021}
}

@article{MR4285764,
 author = {Brysiewicz, Taylor and Rodriguez, Jose Israel and Sottile,
Frank and Yahl, Thomas},
 doi = {10.2140/jsag.2021.11.53},
 journal = {J. Softw. Algebra Geom.},
 pages = {53--59},
 title = {Decomposable sparse polynomial systems},
 url = {https://doi.org/10.2140/jsag.2021.11.53},
 volume = {11},
 year = {2021}
}

@article{MR4333828,
 author = {Chan, Eunice Y. S. and Corless, Robert M. and Sevyeri, Leili
Rafiee},
 journal = {Electron. J. Linear Algebra},
 pages = {640--658},
 title = {Generalized standard triples for algebraic linearizations of
matrix polynomials},
 volume = {37},
 year = {2021}
}

@article{MR4334892,
 author = {Brysiewicz, T. and Fevola, C. and Sturmfels, B.},
 doi = {10.4418/2021.76.2.4},
 journal = {Matematiche (Catania)},
 pages = {355--367},
 title = {Tangent quadrics in real 3-space},
 url = {https://doi.org/10.4418/2021.76.2.4},
 volume = {76},
 year = {2021}
}

@article{MR4334896,
 author = {Brysiewicz, T. and Kozhasov, K. and Kummer, M.},
 doi = {10.4418/2021.76.2.8},
 journal = {Matematiche (Catania)},
 pages = {415--430},
 title = {Nodes on quintic spectrahedra},
 url = {https://doi.org/10.4418/2021.76.2.8},
 volume = {76},
 year = {2021}
}

@article{MR4409686,
 author = {Brysiewicz, Taylor and Gesmundo, Fulvio},
 doi = {10.54550/eca2021v1s3r20},
 journal = {Enumer. Comb. Appl.},
 pages = {Paper No. S2R20, 18},
 title = {The degree of {S}tiefel manifolds},
 url = {https://doi.org/10.54550/eca2021v1s3r20},
 volume = {1},
 year = {2021}
}

@article{Robert_Corless_110291073-183,
 author = {Robert M. Corless},
 doi = {10.5206/mt.v1i1.14039},
 journal = {{Maple} Transactions},
 title = {What can we learn from {B}ohemian Matrices?},
 url = {http://doi.org/10.5206/mt.v1i1.14039},
 volume = {1},
 year = {2021}
}

@article{Robert_Corless_110291364-186,
 author = {Ewan Brinkman and Robert M. Corless and Veselin Jungic},
 doi = {10.5206/mt.v1i2.14500},
 journal = {{Maple} Transactions},
 title = {The {T}heodorus Variation},
 url = {http://doi.org/10.5206/mt.v1i2.14500},
 volume = {1},
 year = {2021}
}

@article{Robert_Corless_110291574-184,
 author = {Neil J. Calkin and Eunice Y. S. Chan and Robert M. Corless},
 doi = {10.5206/mt.v1i1.14037},
 journal = {{Maple} Transactions},
 title = {Some Facts and Conjectures about {M}andelbrot Polynomials},
 url = {http://doi.org/10.5206/mt.v1i1.14037},
 volume = {1},
 year = {2021}
}

@incollection{https://doi.org/10.48550/arxiv.2109.03765,
 author = {Calkin, Neil J. and Chan, Eunice Y. S. and Corless, Robert M.},
 booktitle = {Proceedings of the Asian Technology Conference in Mathematics},
 doi = {10.48550/arxiv.2109.03765},
 editor = {Yang, Wei-Chi and Meade, Douglas},
 title = {Computational Discovery with {N}ewton Fractals, {B}ohemian Matrices, \& {M}andelbrot Polynomials},
 url = {http://atcm.mathandtech.org/EP2021/invited/21889.pdf},
 year = {2021}
}

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

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

@proceedings{DBLP:conf/mc2/2020,
 doi = {10.1007/978-3-030-81698-8},
 editor = {Robert M. Corless and
J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 publisher = {Springer},
 title = {Maple in Mathematics Education and Research - 4th Maple Conference,
{MC} 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised
Selected Papers},
 url = {https://doi.org/10.1007/978-3-030-81698-8},
 volume = {1414},
 year = {2021}
}

@article{corless_jeffrey_stoutemyer_2020,
 author = {Corless, Robert M. and Jeffrey, David J. and Stoutemyer, David R.},
 doi = {10.1017/mag.2020.96},
 journal = {The Mathematical Gazette},
 pages = {412--426},
 publisher = {Cambridge University Press},
 title = {Integrals of functions containing parameters},
 volume = {104},
 year = {2020}
}

@article{DBLP:journals/corr/abs-2007-06571,
 author = {Robert M. Corless},
 journal = {CoRR},
 title = {Inverse Cubic Iteration},
 url = {https://arxiv.org/abs/2007.06571},
 volume = {abs/2007.06571},
 year = {2020}
}

@article{DBLP:journals/jsc/AlvandiAKM20,
 author = {Parisa Alvandi and
Masoud Ataei and
Mahsa Kazemi and
Marc Moreno Maza},
 doi = {10.1016/j.jsc.2019.07.009},
 journal = {J. Symb. Comput.},
 pages = {120--162},
 title = {On the Extended Hensel Construction and its application to the computation
of real limit points},
 url = {https://doi.org/10.1016/j.jsc.2019.07.009},
 volume = {98},
 year = {2020}
}

@article{DBLP:journals/mics/Brysiewicz20,
 author = {Taylor Brysiewicz},
 doi = {10.1007/s11786-020-00454-4},
 journal = {Math. Comput. Sci.},
 pages = {577--589},
 title = {Numerical Software to Compute Newton polytopes and Tropical Membership},
 url = {https://doi.org/10.1007/s11786-020-00454-4},
 volume = {14},
 year = {2020}
}

@article{DBLP:journals/na/MoirCMX20,
 author = {Robert H. C. Moir and
Robert M. Corless and
Marc Moreno Maza and
Ning Xie},
 doi = {10.1007/s11075-019-00726-6},
 journal = {Numer. Algorithms},
 pages = {1295--1320},
 title = {Symbolic-numeric integration of rational functions},
 url = {https://doi.org/10.1007/s11075-019-00726-6},
 volume = {83},
 year = {2020}
}

@article{DBLP:journals/siamrev/CorlessS20,
 author = {Robert M. Corless and
Leili Rafiee Sevyeri},
 doi = {10.1137/18M1181985},
 journal = {{SIAM} Rev.},
 pages = {231--243},
 title = {The Runge Example for Interpolation and Wilkinson's Examples for Rootfinding},
 url = {https://doi.org/10.1137/18M1181985},
 volume = {62},
 year = {2020}
}

@article{LMSCover2020,
 author = {Corless, Robert M. and Higham, Nicholas J. and Thornton, Steven E.},
 journal = {London Mathematical Society Newsletter},
 title = {Cover Image: {B}ohemian Matrices},
 url = {https://www.lms.ac.uk/sites/lms.ac.uk/files/files/NLMS_491_for web.pdf},
 year = {2020}
}

@article{MR4093806,
 author = {Chan, Eunice Y. S. and Corless, Robert M. and Gonz\'alez-Vega,
Laureano and Sendra, J. Rafael and Sendra, Juana and Thornton,
Steven E.},
 doi = {10.1016/j.laa.2020.03.037},
 journal = {Linear Algebra Appl.},
 pages = {72--100},
 title = {Upper {H}essenberg and {T}oeplitz {B}ohemians},
 url = {https://doi.org/10.1016/j.laa.2020.03.037},
 volume = {601},
 year = {2020}
}

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

@article{Robert_Corless_110291370-174,
 author = {Corless, Robert M. and Rafiee Sevyeri, Leili },
 doi = {10.1137/18m1181985},
 journal = {SIAM Review},
 pages = {231--243},
 title = {The {R}unge Example for Interpolation and {W}ilkinson{'}s Examples for Rootfinding},
 url = {http://doi.org/10.1137/18m1181985},
 volume = {62},
 year = {2020}
}

@book{MR4464369,
 author = {Brysiewicz, Taylor Christian},
 note = {Thesis (Ph.D.)--Texas A\&M University},
 pages = {206},
 publisher = {ProQuest LLC, Ann Arbor, MI},
 title = {Newton {P}olytopes and {N}umerical {A}lgebraic {G}eometry},
 url = {http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:29270257},
 year = {2020}
}

@inproceedings{9357074,
 author = {Sevyeri, Leili Rafiee and Corless, Robert M.},
 booktitle = {2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)},
 doi = {10.1109/SYNASC51798.2020.00018},
 pages = {40-47},
 title = {Approximate {GCD} in {L}agrange bases},
 url = {https://arxiv.org/abs/2103.13949},
 year = {2020}
}

@inproceedings{DBLP:conf/casc/JingMT20,
 author = {Rui{-}Juan Jing and
Marc Moreno Maza and
Delaram Talaashrafi},
 booktitle = {Computer Algebra in Scientific Computing - 22nd International Workshop,
{CASC} 2020, Linz, Austria, September 14-18, 2020, Proceedings},
 doi = {10.1007/978-3-030-60026-6_16},
 editor = {Fran{\c{c}}ois Boulier and
Matthew England and
Timur M. Sadykov and
Evgenii V. Vorozhtsov},
 pages = {282--306},
 publisher = {Springer},
 title = {Complexity Estimates for Fourier-Motzkin Elimination},
 url = {https://doi.org/10.1007/978-3-030-60026-6_16},
 volume = {12291},
 year = {2020}
}

@inproceedings{DBLP:conf/mc2/AsadiBKMP20,
 author = {Mohammadali Asadi and
Alexander Brandt and
Mahsa Kazemi and
Marc Moreno Maza and
Erik J. Postma},
 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_4},
 editor = {Robert M. Corless and
J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 pages = {48--66},
 publisher = {Springer},
 title = {Multivariate Power Series in Maple},
 url = {https://doi.org/10.1007/978-3-030-81698-8_4},
 volume = {1414},
 year = {2020}
}

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

@inproceedings{DBLP:conf/mc2/CorlessP20,
 author = {Robert M. Corless and
Erik J. Postma},
 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_12},
 editor = {Robert M. Corless and
J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 pages = {167--184},
 publisher = {Springer},
 title = {Blends in Maple},
 url = {https://doi.org/10.1007/978-3-030-81698-8_12},
 volume = {1414},
 year = {2020}
}

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

@article{DBLP:journals/cca/CorlessS19,
 author = {Robert M. Corless and
Leili Rafiee Sevyeri},
 doi = {10.1145/3377006.3377011},
 journal = {{ACM} Commun. Comput. Algebra},
 note = {ISSAC 2019 Distinguished Poster Prize},
 pages = {103--106},
 title = {Approximate {GCD} in {B}ernstein basis},
 url = {https://doi.org/10.1145/3377006.3377011},
 volume = {53},
 year = {2019}
}

@article{DBLP:journals/cca/LiC19,
 author = {Ao Li and
Robert M. Corless},
 doi = {10.1145/3363520.3363521},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {1--22},
 title = {Revisiting Gilbert Strang's "a chaotic search for \emph{i}"},
 url = {https://doi.org/10.1145/3363520.3363521},
 volume = {53},
 year = {2019}
}

@article{DBLP:journals/corr/abs-1906-00039,
 author = {Mohammadali Asadi and
Alexander Brandt and
Robert H. C. Moir and
Marc Moreno Maza and
Yuzhen Xie},
 journal = {CoRR},
 title = {On the Parallelization of Triangular Decomposition of Polynomial Systems},
 url = {http://arxiv.org/abs/1906.00039},
 volume = {abs/1906.00039},
 year = {2019}
}

@article{DBLP:journals/corr/abs-1906-00142,
 author = {Alexander Brandt and
Davood Mohajerani and
Marc Moreno Maza and
Jeeva Paudel and
Lin{-}Xiao Wang},
 journal = {CoRR},
 title = {A Technique for Finding Optimal Program Launch Parameters Targeting
Manycore Accelerators},
 url = {http://arxiv.org/abs/1906.00142},
 volume = {abs/1906.00142},
 year = {2019}
}

@article{DBLP:journals/corr/abs-1911-02373,
 author = {Alexander Brandt and
Davood Mohajerani and
Marc Moreno Maza and
Jeeva Paudel and
Lin{-}Xiao Wang},
 journal = {CoRR},
 title = {{KLARAPTOR:} {A} Tool for Dynamically Finding Optimal Kernel Launch
Parameters Targeting {CUDA} Programs},
 url = {http://arxiv.org/abs/1911.02373},
 volume = {abs/1911.02373},
 year = {2019}
}

@article{DBLP:journals/jsc/BoulierLPM19,
 author = {Fran{\c{c}}ois Boulier and
Fran{\c{c}}ois Lemaire and
Adrien Poteaux and
Marc Moreno Maza},
 doi = {10.1016/j.jsc.2018.04.011},
 journal = {J. Symb. Comput.},
 pages = {34--55},
 title = {An equivalence theorem for regular differential chains},
 url = {https://doi.org/10.1016/j.jsc.2018.04.011},
 volume = {93},
 year = {2019}
}

@article{DBLP:journals/mics/ChanC19,
 author = {Eunice Y. S. Chan and
Robert M. Corless},
 doi = {10.1007/s11786-018-0364-2},
 journal = {Math. Comput. Sci.},
 pages = {41--56},
 title = {Minimal Height Companion Matrices for {E}uclid Polynomials},
 url = {https://doi.org/10.1007/s11786-018-0364-2},
 volume = {13},
 year = {2019}
}

@article{Fillion2019,
 author = {Nicolas Fillion and Robert M. Corless},
 doi = {10.1007/s13347-019-00371-w},
 journal = {Philosophy {\&} Technology},
 pages = {129--148},
 publisher = {Springer Science and Business Media {LLC}},
 title = {Concepts of Solution and the Finite Element Method: a Philosophical Take on Variational Crimes},
 url = {https://doi.org/10.1007/s13347-019-00371-w},
 volume = {34},
 year = {2019}
}

@article{MR3876779,
 author = {Chan, Eunice Y. S. and Corless, Robert M. and Gonzalez-Vega,
Laureano and Sendra, J. Rafael and Sendra, Juana},
 doi = {10.1016/j.laa.2018.10.028},
 journal = {Linear Algebra Appl.},
 pages = {373--399},
 title = {Algebraic linearizations of matrix polynomials},
 url = {https://doi.org/10.1016/j.laa.2018.10.028},
 volume = {563},
 year = {2019}
}

@article{MR4014582,
 author = {Li, Ao and Corless, Robert M.},
 journal = {ACM Commun. Comput. Algebra},
 pages = {1--22},
 title = {Revisiting {G}ilbert {S}trang's ``{A} chaotic search for
{$i$}''},
 volume = {53},
 year = {2019}
}

@article{Robert_Corless_110291384-169,
 author = {Corless, Robert M.  and Rafiee Sevyeri, Leili },
 doi = {10.1080/10586458.2019.1593898},
 journal = {Experimental Mathematics},
 pages = {184--191},
 title = {{Stirling}’s Original Asymptotic Series from a Formula Like One of {B}inet’s and
its Evaluation by Sequence Acceleration},
 url = {http://doi.org/10.1080/10586458.2019.1593898},
 volume = {31},
 year = {2019}
}

@article{Robert_Corless_110291441-166,
 author = {Amiraslani, Amirhossein and Corless, Robert M. and Gunasingam, Madhusoodan},
 doi = {10.1007/s11075-019-00668-z},
 journal = {Numerical Algorithms},
 pages = {1--31},
 title = {Differentiation Matrices for Univariate Polynomials},
 url = {http://doi.org/10.1007/s11075-019-00668-z},
 volume = {83},
 year = {2019}
}

@book{Robert_Corless_110291468-168,
 doi = {10.1007/978-1-4939-9051-1},
 editor = {Nicolas Fillion and Robert M. Corless and Ilias S. Kotsireas},
 publisher = {Springer},
 title = {Algorithms and Complexity in Mathematics, Epistemology, and Science},
 url = {http://doi.org/10.1007/978-1-4939-9051-1},
 year = {2019}
}

@incollection{Robert_Corless_110291344-167,
 author = {Robert M. Corless and Nicolas Fillion},
 booktitle = {Algorithms and Complexity in Mathematics, Epistemology, and Science},
 doi = {10.1007/978-1-4939-9051-1_3},
 editor = {Nicolas Fillion and Robert M. Corless and Ilias S. Kotsireas},
 pages = {35--79},
 publisher = {Springer},
 title = {Backward Error Analysis for Perturbation Methods},
 url = {http://doi.org/10.1007/978-1-4939-9051-1_3},
 year = {2019}
}

@inproceedings{DBLP:conf/cvpr/ZhangMCMDB19,
 author = {Zhongwen Zhang and
Dmitrii Marin and
Egor Chesakov and
Marc Moreno Maza and
Maria Drangova and
Yuri Boykov},
 booktitle = {{IEEE} Conference on Computer Vision and Pattern Recognition, {CVPR}
2019, Long Beach, CA, USA, June 16-20, 2019},
 doi = {10.1109/CVPR.2019.01046},
 pages = {10216--10224},
 publisher = {Computer Vision Foundation / {IEEE}},
 title = {Divergence Prior and Vessel-Tree Reconstruction},
 url = {http://openaccess.thecvf.com/content_CVPR_2019/html/Zhang_Divergence_Prior_and_Vessel-Tree_Reconstruction_CVPR_2019_paper.html},
 year = {2019}
}

@inproceedings{DBLP:conf/issac/CovanovMMW19,
 author = {Svyatoslav Covanov and
Davood Mohajerani and
Marc Moreno Maza and
Lin{-}Xiao Wang},
 booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and
Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019},
 doi = {10.1145/3326229.3326273},
 editor = {James H. Davenport and
Dongming Wang and
Manuel Kauers and
Russell J. Bradford},
 pages = {106--113},
 publisher = {{ACM}},
 title = {Big Prime Field {FFT} on Multi-core Processors},
 url = {https://doi.org/10.1145/3326229.3326273},
 year = {2019}
}

@inproceedings{DBLP:conf/issac/MohammadiRH19,
 author = {Zahra Mohammadi and
Gregory J. Reid and
Tracy Shih{-}lung Huang},
 booktitle = {Proceedings of the 2019 on International Symposium on Symbolic and
Algebraic Computation, {ISSAC} 2019, Beijing, China, July 15-18, 2019},
 doi = {10.1145/3326229.3326259},
 editor = {James H. Davenport and
Dongming Wang and
Manuel Kauers and
Russell J. Bradford},
 pages = {331--338},
 publisher = {{ACM}},
 title = {Introduction of the MapDE Algorithm for Determination of Mappings
Relating Differential Equations},
 url = {https://doi.org/10.1145/3326229.3326259},
 year = {2019}
}

@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/CorlessS19,
 author = {Robert M. Corless and
Leili Rafiee Sevyeri},
 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_6},
 editor = {J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 pages = {77--91},
 publisher = {Springer},
 title = {Approximate {GCD} in a Bernstein Basis},
 url = {https://doi.org/10.1007/978-3-030-41258-6_6},
 volume = {1125},
 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}
}

@inproceedings{DBLP:conf/mc2/JingM19,
 author = {Rui{-}Juan Jing and
Marc Moreno Maza},
 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_10},
 editor = {J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 pages = {132--144},
 publisher = {Springer},
 title = {The Z{\_}Polyhedra Library in Maple},
 url = {https://doi.org/10.1007/978-3-030-41258-6_10},
 volume = {1125},
 year = {2019}
}

@inproceedings{DBLP:conf/mc2/KazemiM19,
 author = {Mahsa Kazemi and
Marc Moreno Maza},
 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_11},
 editor = {J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 pages = {145--155},
 publisher = {Springer},
 title = {Detecting Singularities Using the PowerSeries Library},
 url = {https://doi.org/10.1007/978-3-030-41258-6_11},
 volume = {1125},
 year = {2019}
}

@inproceedings{DBLP:conf/mc2/MohammadiRH19,
 author = {Zahra Mohammadi and
Gregory J. Reid and
Tracy Shih{-}lung Huang},
 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_27},
 editor = {J{\"{u}}rgen Gerhard and
Ilias S. Kotsireas},
 pages = {337--340},
 publisher = {Springer},
 title = {The Lie Algebra of Vector Fields Package with Applications to Mappings
of Differential Equations},
 url = {https://doi.org/10.1007/978-3-030-41258-6_27},
 volume = {1125},
 year = {2019}
}

@article{DBLP:journals/cca/CorlessJ18,
 author = {Robert M. Corless and
Julia E. Jankowski},
 doi = {10.1145/3243034.3243035},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {1--10},
 title = {Revisiting the discharge time of a cylindrical leaking bucket: or,
"one does not simply call dsolve into mordor."},
 url = {https://doi.org/10.1145/3243034.3243035},
 volume = {52},
 year = {2018}
}

@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{DBLP:journals/cca/JingM18,
 author = {Rui{-}Juan Jing and
Marc Moreno Maza},
 doi = {10.1145/3338637.3338642},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {126--129},
 title = {Computing the integer points of a polyhedron},
 url = {https://doi.org/10.1145/3338637.3338642},
 volume = {52},
 year = {2018}
}

@article{DBLP:journals/corr/abs-1801-04348,
 author = {Xiaohui Chen and
Marc Moreno Maza and
Jeeva Paudel and
Ning Xie},
 journal = {CoRR},
 title = {Comprehensive Optimization of Parametric Kernels for Graphics Processing
Units},
 url = {http://arxiv.org/abs/1801.04348},
 volume = {abs/1801.04348},
 year = {2018}
}

@article{DBLP:journals/corr/abs-1809-10653,
 author = {Eunice Y. S. Chan and
Robert M. Corless and
Laureano Gonz{\'{a}}lez{-}Vega and
J. Rafael Sendra and
Juana Sendra and
Steven E. Thornton},
 journal = {CoRR},
 title = {Bohemian Upper Hessenberg Matrices},
 url = {http://arxiv.org/abs/1809.10653},
 volume = {abs/1809.10653},
 year = {2018}
}

@article{DBLP:journals/corr/abs-1809-10664,
 author = {Eunice Y. S. Chan and
Robert M. Corless and
Laureano Gonz{\'{a}}lez{-}Vega and
J. Rafael Sendra and
Juana Sendra and
Steven E. Thornton},
 journal = {CoRR},
 title = {Bohemian Upper Hessenberg Toeplitz Matrices},
 url = {http://arxiv.org/abs/1809.10664},
 volume = {abs/1809.10664},
 year = {2018}
}

@article{DBLP:journals/corr/abs-1811-01490,
 author = {Sviatoslav Covanov and
Davood Mohajerani and
Marc Moreno Maza and
Lin{-}Xiao Wang},
 journal = {CoRR},
 title = {Putting F{\"{u}}rer Algorithm into Practice with the {BPAS} Library},
 url = {http://arxiv.org/abs/1811.01490},
 volume = {abs/1811.01490},
 year = {2018}
}

@article{DBLP:journals/tamm/BorweinC18,
 author = {Jonathan M. Borwein and
Robert M. Corless},
 doi = {10.1080/00029890.2018.1420983},
 journal = {Am. Math. Mon.},
 pages = {400--424},
 title = {Gamma and Factorial in the Monthly},
 url = {https://doi.org/10.1080/00029890.2018.1420983},
 volume = {125},
 year = {2018}
}

@article{https://doi.org/10.48550/arxiv.1805.07659,
 author = {Corless, Robert M.},
 doi = {10.48550/ARXIV.1805.07659},
 journal = {CoRR},
 publisher = {arXiv},
 title = {Compact Finite Differences and Cubic Splines},
 url = {https://arxiv.org/abs/1805.07659},
 volume = {abs/1805.07659},
 year = {2018}
}

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

@article{Robert_Corless_110291469-165,
 author = {Corless, Robert M. and Kaya, C. Yal\c{c}{\i}n and Moir, Robert H. C.},
 doi = {10.1007/s11075-018-0624-x},
 journal = {Numerical Algorithms},
 pages = {1253--1274},
 title = {Optimal residuals and the {D}ahlquist test problem},
 url = {http://doi.org/10.1007/s11075-018-0624-x},
 volume = {81},
 year = {2018}
}

@incollection{MR3854791,
 author = {Asadi, Mohammadali and Brandt, Alexander and Moir, Robert H.
C. and Moreno Maza, Marc},
 booktitle = {Computer algebra in scientific computing},
 doi = {10.1007/978-3-319-99639-4},
 pages = {32--50},
 publisher = {Springer, Cham},
 title = {Sparse polynomial arithmetic with the {BPAS} library},
 url = {https://doi.org/10.1007/978-3-319-99639-4},
 volume = {11077},
 year = {2018}
}

@incollection{Robert_Corless_110291567-164,
 author = {K. Amenyo Folitse and David J. Jeffrey and Robert M. Corless},
 booktitle = {2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ({SYNASC})},
 doi = {10.1109/synasc.2017.00020},
 pages = {63--66},
 title = {Properties and Computation of the Functional Inverse of {G}amma},
 url = {http://doi.org/10.1109/synasc.2017.00020},
 year = {2018}
}

@inproceedings{DBLP:conf/casc/AsadiBMM18,
 author = {Mohammadali Asadi and
Alexander Brandt and
Robert H. C. Moir and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 20th International Workshop,
{CASC} 2018, Lille, France, September 17-21, 2018, Proceedings},
 doi = {10.1007/978-3-319-99639-4_3},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {32--50},
 publisher = {Springer},
 title = {Sparse Polynomial Arithmetic with the {BPAS} Library},
 url = {https://doi.org/10.1007/978-3-319-99639-4_3},
 volume = {11077},
 year = {2018}
}

@inproceedings{DBLP:conf/icms/Brysiewicz18,
 author = {Taylor Brysiewicz},
 booktitle = {Mathematical Software - {ICMS} 2018 - 6th International Conference,
South Bend, IN, USA, July 24-27, 2018, Proceedings},
 doi = {10.1007/978-3-319-96418-8_10},
 editor = {James H. Davenport and
Manuel Kauers and
George Labahn and
Josef Urban},
 pages = {80--88},
 publisher = {Springer},
 title = {Numerical Software to Compute Newton Polytopes},
 url = {https://doi.org/10.1007/978-3-319-96418-8_10},
 volume = {10931},
 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{Corless2017-156,
 author = {Al Kafri, H. and Jeffrey, D.J. and Corless, Robert M.},
 journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
 pages = {270-274},
 title = {Rapidly convergent integrals and function evaluation},
 volume = {10693 LNCS},
 year = {2017}
}

@article{Corless2017-158,
 author = {Corless, Robert M. and Moreno Maza, M. and Thornton, S.E.},
 journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
 pages = {179-194},
 title = {Jordan canonical form with parameters from {Frobenius} form with parameters},
 volume = {10693 LNCS},
 year = {2017}
}

@article{Corless2017-159,
 author = {Chan, E.Y.S. and Corless, Robert M.},
 journal = {Electronic Journal of Linear Algebra},
 pages = {335-342},
 title = {A new kind of companion matrix},
 volume = {32},
 year = {2017}
}

@article{DBLP:journals/cca/HaqueLMMMP17,
 author = {Sardar Anisul Haque and
X. Li and
Farnam Mansouri and
Marc Moreno Maza and
Davood Mohajerani and
Wei Pan},
 doi = {10.1145/3177795.3177799},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {89--91},
 title = {{CUMODP:} a {CUDA} library for modular polynomial computation},
 url = {https://doi.org/10.1145/3177795.3177799},
 volume = {51},
 year = {2017}
}

@article{DBLP:journals/cca/JingM17,
 author = {Rui{-}Juan Jing and
Marc Moreno Maza},
 doi = {10.1145/3177795.3177798},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {86--88},
 title = {The polyhedra library in maple},
 url = {https://doi.org/10.1145/3177795.3177798},
 volume = {51},
 year = {2017}
}

@article{DBLP:journals/cca/SevyeriC17,
 author = {Leili Rafiee Sevyeri and
Robert M. Corless},
 doi = {10.1145/3096730.3096735},
 journal = {{ACM} Commun. Comput. Algebra},
 note = {ISSAC 2016 Poster Prize co-winner},
 pages = {21--22},
 title = {Linearization of a specific family of {B}{\'{e}}zout matrices},
 url = {https://doi.org/10.1145/3096730.3096735},
 volume = {51},
 year = {2017}
}

@article{DBLP:journals/cca/WangRW17,
 author = {Fei Wang and
Greg Reid and
Henry Wolkowicz},
 doi = {10.1145/3096730.3096740},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {35--37},
 title = {Finding maximum rank moment matrices by facial reduction on primal
form and Douglas-Rachford iteration},
 url = {https://doi.org/10.1145/3096730.3096740},
 volume = {51},
 year = {2017}
}

@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}
}

@article{DBLP:journals/tcs/WuRF17,
 author = {Wenyuan Wu and
Greg Reid and
Yong Feng},
 doi = {10.1016/j.tcs.2017.03.035},
 journal = {Theor. Comput. Sci.},
 pages = {217--231},
 title = {Computing real witness points of positive dimensional polynomial systems},
 url = {https://doi.org/10.1016/j.tcs.2017.03.035},
 volume = {681},
 year = {2017}
}

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

@incollection{MR3706577,
 author = {Wu, Wenyuan and Chen, Changbo and Reid, Greg},
 booktitle = {Computer algebra in scientific computing},
 doi = {10.1007/978-3-319-66320-3},
 pages = {377--391},
 publisher = {Springer, Cham},
 title = {Penalty function based critical point approach to compute real
witness solution points of polynomial systems},
 url = {https://doi.org/10.1007/978-3-319-66320-3},
 volume = {10490},
 year = {2017}
}

@incollection{MR3752502,
 author = {Brandt, Madeline and Bruce, Juliette and Brysiewicz, Taylor
and Krone, Robert and Robeva, Elina},
 booktitle = {Combinatorial algebraic geometry},
 pages = {229--246},
 publisher = {Fields Inst. Res. Math. Sci., Toronto, ON},
 title = {The degree of {${\rm SO}(n,\Bbb C)$}},
 volume = {80},
 year = {2017}
}

@incollection{MR3767085,
 author = {Haque, Sardar Anisul and Hashemi, Amir and Mohajerani, Davood
and Moreno Maza, Marc},
 booktitle = {P{ASCO} 2017---{I}nternational {W}orkshop on {P}arallel
{S}ymbolic {C}omputation},
 doi = {10.1145/3115936.3115946},
 pages = {Art. No. 10, 10 unnumbered pages},
 publisher = {ACM, New York},
 title = {Plain, and somehow sparse, univariate polynomial division on
graphics processing units},
 url = {https://doi.org/10.1145/3115936.3115946},
 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/casc/JingM17a,
 author = {Rui{-}Juan Jing and
Marc Moreno Maza},
 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_18},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {242--256},
 publisher = {Springer},
 title = {Computing the Integer Points of a Polyhedron, {II:} Complexity Estimates},
 url = {https://doi.org/10.1007/978-3-319-66320-3_18},
 volume = {10490},
 year = {2017}
}

@inproceedings{DBLP:conf/casc/JingM17,
 author = {Rui{-}Juan Jing and
Marc Moreno Maza},
 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_17},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {225--241},
 publisher = {Springer},
 title = {Computing the Integer Points of a Polyhedron, {I:} Algorithm},
 url = {https://doi.org/10.1007/978-3-319-66320-3_17},
 volume = {10490},
 year = {2017}
}

@inproceedings{DBLP:conf/casc/WuCR17,
 author = {Wenyuan Wu and
Changbo Chen and
Greg Reid},
 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_27},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {377--391},
 publisher = {Springer},
 title = {Penalty Function Based Critical Point Approach to Compute Real Witness
Solution Points of Polynomial Systems},
 url = {https://doi.org/10.1007/978-3-319-66320-3_27},
 volume = {10490},
 year = {2017}
}

@inproceedings{DBLP:conf/issac/AlvandiAM17,
 author = {Parisa Alvandi and
Masoud Ataei and
Marc Moreno Maza},
 booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
 doi = {10.1145/3087604.3087658},
 editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
 pages = {13--20},
 publisher = {{ACM}},
 title = {On the Extended Hensel Construction and its Application to the Computation
of Limit Points},
 url = {https://doi.org/10.1145/3087604.3087658},
 year = {2017}
}

@inproceedings{DBLP:conf/issac/ChenCMM17,
 author = {Liangyu Chen and
Svyatoslav Covanov and
Davood Mohajerani and
Marc Moreno Maza},
 booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
 doi = {10.1145/3087604.3087657},
 editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
 pages = {85--92},
 publisher = {{ACM}},
 title = {Big Prime Field {FFT} on the {GPU}},
 url = {https://doi.org/10.1145/3087604.3087657},
 year = {2017}
}

@inproceedings{DBLP:conf/issac/JingM17,
 author = {Rui{-}Juan Jing and
Marc Moreno Maza},
 booktitle = {Proceedings of the 2nd International Workshop on Satisfiability Checking
and Symbolic Computation co-located with the 42nd International Symposium
on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
Germany, July 29, 2017},
 editor = {Matthew England and
Vijay Ganesh},
 publisher = {CEUR-WS.org},
 title = {Computing the Integer Points of a Polyhedron},
 url = {http://ceur-ws.org/Vol-1974/EAa.pdf},
 volume = {1974},
 year = {2017}
}

@inproceedings{DBLP:conf/issac/Maza17,
 author = {Marc Moreno Maza},
 booktitle = {Proceedings of the International Workshop on Parallel Symbolic Computation,
PASCO@ISSAC 2017, Kaiserslautern, Germany, July 23-24, 2017},
 doi = {10.1145/3115936.3115939},
 editor = {Jean{-}Charles Faug{\`{e}}re and
Michael B. Monagan and
Hans{-}Wolfgang Loidl},
 pages = {3:1},
 publisher = {{ACM}},
 title = {Multithreaded programming on the {GPU:} pointers and hints for the
computer algebraist},
 url = {https://doi.org/10.1145/3115936.3115939},
 year = {2017}
}

@inproceedings{DBLP:conf/macis/CorlessMT17,
 author = {Robert M. Corless and
Marc Moreno Maza and
Steven E. Thornton},
 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_13},
 editor = {Johannes Bl{\"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
 pages = {179--194},
 publisher = {Springer},
 title = {Jordan Canonical Form with Parameters from Frobenius Form with Parameters},
 url = {https://doi.org/10.1007/978-3-319-72453-9_13},
 volume = {10693},
 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}
}

@inproceedings{DBLP:conf/synasc/WangRW17,
 author = {Fei Wang and
Greg Reid and
Henry Wolkowicz},
 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.00025},
 editor = {Tudor Jebelean and
Viorel Negru and
Dana Petcu and
Daniela Zaharie and
Tetsuo Ida and
Stephen M. Watt},
 pages = {86--93},
 publisher = {{IEEE} Computer Society},
 title = {An SDP-based Method for the Real Radical Ideal Membership Test},
 url = {https://doi.org/10.1109/SYNASC.2017.00025},
 year = {2017}
}

@article{Corless2016-152,
 author = {Corless, Robert M. and Jankowski, J.E.},
 journal = {SIAM Review},
 pages = {775-792},
 title = {Variations on a theme of {Euler}},
 volume = {58},
 year = {2016}
}

@article{DBLP:journals/cca/AlvandiKM16,
 author = {Parisa Alvandi and
Mahsa Kazemi and
Marc Moreno Maza},
 doi = {10.1145/3015306.3015311},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {93--96},
 title = {Computing limits with the regularchains and powerseries libraries:
from rational functions to Zariski closure},
 url = {https://doi.org/10.1145/3015306.3015311},
 volume = {50},
 year = {2016}
}

@article{DBLP:journals/cca/AlvandiM16,
 author = {Parisa Alvandi and
Marc Moreno Maza},
 doi = {10.1145/3055282.3055286},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {148--150},
 title = {Real limit points of quasi-componenets of regular chains},
 url = {https://doi.org/10.1145/3055282.3055286},
 volume = {50},
 year = {2016}
}

@article{DBLP:journals/cca/ChanC16,
 author = {Eunice Y. S. Chan and
Robert M. Corless},
 doi = {10.1145/3055282.3055288},
 journal = {{ACM} Commun. Comput. Algebra},
 note = {ISSAC 2016 Poster Prize co-winner},
 pages = {155--157},
 title = {Fibonacci--{M}andelbrot polynomials and matrices},
 url = {https://doi.org/10.1145/3055282.3055288},
 volume = {50},
 year = {2016}
}

@article{DBLP:journals/cca/ChenCMMM0X16,
 author = {Changbo Chen and
Svyatoslav Covanov and
Farnam Mansouri and
Robert H. C. Moir and
Marc Moreno Maza and
Ning Xie and
Yuzhen Xie},
 doi = {10.1145/3015306.3015312},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {97--100},
 title = {The basic polynomial algebra subprograms},
 url = {https://doi.org/10.1145/3015306.3015312},
 volume = {50},
 year = {2016}
}

@article{DBLP:journals/cca/CorlessT16,
 author = {Robert M. Corless and
Steven E. Thornton},
 doi = {10.1145/3055282.3055289},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {158--160},
 title = {The {B}ohemian eigenvalue project},
 url = {https://doi.org/10.1145/3055282.3055289},
 volume = {50},
 year = {2016}
}

@article{DBLP:journals/cca/KauersPR16,
 author = {Manuel Kauers and
Peter Paule and
Greg Reid},
 doi = {10.1145/2930964.2930968},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {27--34},
 title = {Workshop on symbolic combinatorics and algorithmic differential algebra},
 url = {https://doi.org/10.1145/2930964.2930968},
 volume = {50},
 year = {2016}
}

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

@article{DBLP:journals/jsc/ChenM16,
 author = {Changbo Chen and
Marc Moreno Maza},
 doi = {10.1016/j.jsc.2015.11.008},
 journal = {J. Symb. Comput.},
 pages = {74--93},
 title = {Quantifier elimination by cylindrical algebraic decomposition based
on regular chains},
 url = {https://doi.org/10.1016/j.jsc.2015.11.008},
 volume = {75},
 year = {2016}
}

@article{DBLP:journals/siamrev/CorlessJ16,
 author = {Robert M. Corless and
Julia E. Jankowski},
 doi = {10.1137/15M1032351},
 journal = {{SIAM} Rev.},
 pages = {775--792},
 title = {Variations on a Theme of Euler},
 url = {https://doi.org/10.1137/15M1032351},
 volume = {58},
 year = {2016}
}

@article{reviewATAP2016,
 author = {Corless, Robert M.},
 journal = {SIAM Review},
 pages = {159--173},
 title = {Review of {L.N.~Trefethen's Approximation Theory and Approximation Practice}},
 url = {https://doi.org/10.1137/16N974048},
 volume = {58},
 year = {2016}
}

@incollection{2016,
 author = {Corless, Robert M. and Jeffrey, D.J.},
 booktitle = {The {P}rinceton Companion to Applied Mathematics},
 doi = {10.1515/9781400874477},
 editor = {Nicholas J. Higham},
 publisher = {Princeton University Press},
 title = {The {Lambert} {$W$} Function},
 url = {https://doi.org/10.1515/9781400874477},
 year = {2016}
}

@inproceedings{DBLP:conf/issac/AlvandiKM16,
 author = {Parisa Alvandi and
Mahsa Kazemi and
Marc Moreno Maza},
 booktitle = {Proceedings of the {ACM} on International Symposium on Symbolic and
Algebraic Computation, {ISSAC} 2016, Waterloo, ON, Canada, July 19-22,
2016},
 doi = {10.1145/2930889.2930938},
 editor = {Sergei A. Abramov and
Eugene V. Zima and
Xiao{-}Shan Gao},
 pages = {39--46},
 publisher = {{ACM}},
 title = {Computing Limits of Real Multivariate Rational Functions},
 url = {https://doi.org/10.1145/2930889.2930938},
 year = {2016}
}

@inproceedings{DBLP:conf/synasc/ChenCMM0X16,
 author = {Changbo Chen and
Svyatoslav Covanov and
Farnam Mansouri and
Marc Moreno Maza and
Ning Xie and
Yuzhen Xie},
 booktitle = {18th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September
24-27, 2016},
 doi = {10.1109/SYNASC.2016.024},
 editor = {James H. Davenport and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {72--80},
 publisher = {{IEEE}},
 title = {Parallel Integer Polynomial Multiplication},
 url = {https://doi.org/10.1109/SYNASC.2016.024},
 year = {2016}
}

@article{Corless2015-145,
 author = {Corless, Robert M. and Maza, M.M. and Thornton, S.E.},
 journal = {ACM Communications in Computer Algebra},
 pages = {109-112},
 title = {Zigzag form over families of parametric matrices},
 volume = {48},
 year = {2015}
}

@article{Corless2015-146,
 author = {Lamb, T.D. and Corless, Robert M. and Pananos, A.D.},
 journal = {Vision Research},
 pages = {23-33},
 title = {The kinetics of regeneration of rhodopsin under enzyme-limited availability of 11-cis retinoid},
 year = {2015}
}

@article{Corless2015-148,
 author = {Aruliah, D.A. and Corless, Robert M. and Diaz-Toca, G.M. and Gonzalez-Vega, L. and Shakoori, A.},
 journal = {Linear Algebra and Its Applications},
 pages = {12-29},
 title = {The {B}{\'e}zout matrix for {H}ermite interpolants},
 volume = {474},
 year = {2015}
}

@article{Corless2015-149,
 author = {Lawrence, P.W. and Corless, Robert M.},
 journal = {SIAM Journal on Matrix Analysis and Applications},
 pages = {1425-1442},
 title = {Backward error of polynomial eigenvalue problems solved by linearization of {L}agrange interpolants},
 volume = {36},
 year = {2015}
}

@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/Maza15,
 author = {Marc Moreno Maza},
 doi = {10.1145/2815111.2815129},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {54},
 title = {Doing algebraic geometry with the RegularChains library},
 url = {https://doi.org/10.1145/2815111.2815129},
 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}
}

@article{DBLP:journals/corr/ReidWWW15,
 author = {Greg Reid and
Fei Wang and
Henry Wolkowicz and
Wenyuan Wu},
 journal = {CoRR},
 title = {Facial Reduction and {SDP} Methods for Systems of Polynomial Equations},
 url = {http://arxiv.org/abs/1504.00931},
 volume = {abs/1504.00931},
 year = {2015}
}

@article{DBLP:journals/siammax/LawrenceC15,
 author = {Piers W. Lawrence and
Robert M. Corless},
 doi = {10.1137/140979034},
 journal = {{SIAM} J. Matrix Anal. Appl.},
 pages = {1425--1442},
 title = {Backward Error of Polynomial Eigenvalue Problems Solved by Linearization
of Lagrange Interpolants},
 url = {https://doi.org/10.1137/140979034},
 volume = {36},
 year = {2015}
}

@article{reviewSTE2015,
 author = {Corless, Robert M.},
 journal = {SIAM Review},
 pages = {634--636},
 title = {Review of {J.P.~Boyd's Solving Transcendental Equations}},
 url = {https://doi.org/10.1137/15N97399X},
 volume = {57},
 year = {2015}
}

@inproceedings{DBLP:conf/casc/AlvandiCHM15,
 author = {Parisa Alvandi and
Changbo Chen and
Amir Hashemi and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 17th International Workshop,
{CASC} 2015, Aachen, Germany, September 14-18, 2015, Proceedings},
 doi = {10.1007/978-3-319-24021-3_3},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {30--44},
 publisher = {Springer},
 title = {Regular Chains under Linear Changes of Coordinates and Applications},
 url = {https://doi.org/10.1007/978-3-319-24021-3_3},
 volume = {9301},
 year = {2015}
}

@inproceedings{DBLP:conf/casc/AlvandiMSV15,
 author = {Parisa Alvandi and
Marc Moreno Maza and
{\'{E}}ric Schost and
Paul Vrbik},
 booktitle = {Computer Algebra in Scientific Computing - 17th International Workshop,
{CASC} 2015, Aachen, Germany, September 14-18, 2015, Proceedings},
 doi = {10.1007/978-3-319-24021-3_4},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {45--60},
 publisher = {Springer},
 title = {A Standard Basis Free Algorithm for Computing the Tangent Cones of
a Space Curve},
 url = {https://doi.org/10.1007/978-3-319-24021-3_4},
 volume = {9301},
 year = {2015}
}

@inproceedings{DBLP:conf/casc/ChenM15,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 17th International Workshop,
{CASC} 2015, Aachen, Germany, September 14-18, 2015, Proceedings},
 doi = {10.1007/978-3-319-24021-3_9},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {119--134},
 publisher = {Springer},
 title = {Simplification of Cylindrical Algebraic Formulas},
 url = {https://doi.org/10.1007/978-3-319-24021-3_9},
 volume = {9301},
 year = {2015}
}

@inproceedings{DBLP:conf/cascon/ChenCKMX15,
 author = {Changbo Chen and
Xiaohui Chen and
Abdoul{-}Kader Keita and
Marc Moreno Maza and
Ning Xie},
 booktitle = {Proceedings of 25th Annual International Conference on Computer Science
and Software Engineering, {CASCON} 2015, Markham, Ontario, Canada,
2-4 November, 2015},
 editor = {Jordan Gould and
Marin Litoiu and
Hanan Lutfiyya},
 pages = {70--79},
 publisher = {{IBM} / {ACM}},
 title = {MetaFork: a compilation framework for concurrency models targeting
hardware accelerators and its application to the generation of parametric
{CUDA} kernels},
 url = {http://dl.acm.org/citation.cfm?id=2886456},
 year = {2015}
}

@inproceedings{DBLP:conf/parco/HaqueMX15,
 author = {Sardar Anisul Haque and
Marc Moreno Maza and
Ning Xie},
 booktitle = {Parallel Computing: On the Road to Exascale, Proceedings of the International
Conference on Parallel Computing, ParCo 2015, 1-4 September 2015,
Edinburgh, Scotland, {UK}},
 doi = {10.3233/978-1-61499-621-7-35},
 editor = {Gerhard R. Joubert and
Hugh Leather and
Mark Parsons and
Frans J. Peters and
Mark Sawyer},
 pages = {35--44},
 publisher = {{IOS} Press},
 title = {A Many-Core Machine Model for Designing Algorithms with Minimum Parallelism
Overheads},
 url = {https://doi.org/10.3233/978-1-61499-621-7-35},
 volume = {27},
 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{Corless2014-139,
 author = {Corless, Robert M. and Jeffrey, D.J. and Wang, F.},
 journal = {Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC},
 pages = {115-121},
 title = {The asymptotic analysis of some interpolated nonlinear recurrence relations},
 year = {2014}
}

@article{Corless2014-140,
 author = {Lawrence, P.W. and Corless, Robert M.},
 journal = {Numerical Algorithms},
 pages = {447-464},
 title = {Stability of rootfinding for barycentric {Lagrange} interpolants},
 volume = {65},
 year = {2014}
}

@article{Corless2014-141,
 author = {Corless, Robert M. and Hu, J. and Jeffrey, D.J.},
 journal = {ACM Communications in Computer Algebra},
 pages = {33-41},
 title = {Some definite integrals containing the {Tree $T$} function},
 volume = {48},
 year = {2014}
}

@article{Corless2014-142,
 author = {Fillion, N. and Corless, Robert M.},
 journal = {Synth\`ese},
 pages = {1451-1467},
 title = {On the epistemological analysis of modeling and computational error in the mathematical sciences},
 volume = {191},
 year = {2014}
}

@article{Corless2014-143,
 author = {Zhang, Y. and Corless, Robert M.},
 journal = {SIAM Journal on Applied Mathematics},
 pages = {599-619},
 title = {High-accuracy series solution for two-dimensional convection in a horizontal concentric cylinder},
 volume = {74},
 year = {2014}
}

@article{Corless2014-144,
 author = {Corless, Robert M. and Thornton, S.E.},
 journal = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
 pages = {442-449},
 title = {A package for parametric matrix computations},
 volume = {8592 LNCS},
 year = {2014}
}

@article{DBLP:journals/cca/ChenCMM0X14,
 author = {Changbo Chen and
Svyatoslav Covanov and
Farnam Mansouri and
Marc Moreno Maza and
Ning Xie and
Yuzhen Xie},
 doi = {10.1145/2733693.2733723},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {197--201},
 title = {Basic Polynomial Algebra Subprograms},
 url = {https://doi.org/10.1145/2733693.2733723},
 volume = {48},
 year = {2014}
}

@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/CorlessMT14,
 author = {Robert M. Corless and
Marc Moreno Maza and
Steven E. Thornton},
 doi = {10.1145/2733693.2733702},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {109--112},
 title = {Zigzag Form over Families of Parametric Matrices},
 url = {https://doi.org/10.1145/2733693.2733702},
 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}
}

@article{DBLP:journals/corr/ReidWW14,
 author = {Greg Reid and
Fei Wang and
Wenyuan Wu},
 journal = {CoRR},
 title = {Geometric involutive bases for positive dimensional polynomial ideals
and {SDP} methods},
 url = {http://arxiv.org/abs/1405.7115},
 volume = {abs/1405.7115},
 year = {2014}
}

@article{DBLP:journals/na/LawrenceC14,
 author = {Piers W. Lawrence and
Robert M. Corless},
 doi = {10.1007/s11075-013-9770-3},
 journal = {Numer. Algorithms},
 pages = {447--464},
 title = {Stability of rootfinding for barycentric Lagrange interpolants},
 url = {https://doi.org/10.1007/s11075-013-9770-3},
 volume = {65},
 year = {2014}
}

@article{DBLP:journals/siamam/ZhangC14,
 author = {Yiming Zhang and
Robert M. Corless},
 doi = {10.1137/130931096},
 journal = {{SIAM} J. Appl. Math.},
 pages = {599--619},
 title = {High-Accuracy Series Solution for Two-Dimensional Convection in a
Horizontal Concentric Cylinder},
 url = {https://doi.org/10.1137/130931096},
 volume = {74},
 year = {2014}
}

@article{DBLP:journals/synthese/FillionC14,
 author = {Nicolas Fillion and
Robert M. Corless},
 doi = {10.1007/s11229-013-0339-4},
 journal = {Synth.},
 pages = {1451--1467},
 title = {On the epistemological analysis of modeling and computational error
in the mathematical sciences},
 url = {https://doi.org/10.1007/s11229-013-0339-4},
 volume = {191},
 year = {2014}
}

@article{MR3216217,
 author = {Balay-Wilson, Leah and Brysiewicz, Taylor},
 journal = {Rose-Hulman Undergrad. Math. J.},
 pages = {1--22},
 title = {Points of ninth order on cubic curves},
 volume = {15},
 year = {2014}
}

@inproceedings{aruliah2014confluent,
 author = {Aruliah, DA and Corless, Robert M and Diaz-Toca, GM and Gonzalez-Vega, Laureano and Shakoori, A},
 booktitle = {Proc. EACA 2014},
 editor = {Elias, Joan and Fern\'andez--S\'anchez, Jes\'us and Sombra, Martin},
 pages = {49--52},
 title = {The confluent {B}\'ezout matrix},
 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/casc/BradfordCDEMW14,
 author = {Russell J. Bradford and
Changbo Chen and
James H. Davenport and
Matthew England and
Marc Moreno Maza and
David J. Wilson},
 booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop,
{CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings},
 doi = {10.1007/978-3-319-10515-4_4},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {44--58},
 publisher = {Springer},
 title = {Truth Table Invariant Cylindrical Algebraic Decomposition by Regular
Chains},
 url = {https://doi.org/10.1007/978-3-319-10515-4_4},
 volume = {8660},
 year = {2014}
}

@inproceedings{DBLP:conf/casc/HaqueMM14,
 author = {Sardar Anisul Haque and
Farnam Mansouri and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop,
{CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings},
 doi = {10.1007/978-3-319-10515-4_13},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {171--185},
 publisher = {Springer},
 title = {On the Parallelization of Subproduct Tree Techniques Targeting Many-Core
Architectures},
 url = {https://doi.org/10.1007/978-3-319-10515-4_13},
 volume = {8660},
 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/icms/AlvandiCMMSV14,
 author = {Parisa Alvandi and
Changbo Chen and
Steffen Marcus and
Marc Moreno Maza and
{\'{E}}ric Schost and
Paul Vrbik},
 booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
Seoul, South Korea, August 5-9, 2014. Proceedings},
 doi = {10.1007/978-3-662-44199-2_71},
 editor = {Hoon Hong and
Chee Yap},
 pages = {472--479},
 publisher = {Springer},
 title = {Doing Algebraic Geometry with the RegularChains Library},
 url = {https://doi.org/10.1007/978-3-662-44199-2_71},
 volume = {8592},
 year = {2014}
}

@inproceedings{DBLP:conf/icms/ChenCMMXX14,
 author = {Changbo Chen and
Svyatoslav Covanov and
Farnam Mansouri and
Marc Moreno Maza and
Ning Xie and
Yuzhen Xie},
 booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
Seoul, South Korea, August 5-9, 2014. Proceedings},
 doi = {10.1007/978-3-662-44199-2_100},
 editor = {Hoon Hong and
Chee Yap},
 pages = {669--676},
 publisher = {Springer},
 title = {The Basic Polynomial Algebra Subprograms},
 url = {https://doi.org/10.1007/978-3-662-44199-2_100},
 volume = {8592},
 year = {2014}
}

@inproceedings{DBLP:conf/icms/ChenM14a,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
Seoul, South Korea, August 5-9, 2014. Proceedings},
 doi = {10.1007/978-3-662-44199-2_65},
 editor = {Hoon Hong and
Chee Yap},
 pages = {425--433},
 publisher = {Springer},
 title = {Cylindrical Algebraic Decomposition in the RegularChains Library},
 url = {https://doi.org/10.1007/978-3-662-44199-2_65},
 volume = {8592},
 year = {2014}
}

@inproceedings{DBLP:conf/icms/ChenM14b,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
Seoul, South Korea, August 5-9, 2014. Proceedings},
 doi = {10.1007/978-3-662-44199-2_76},
 editor = {Hoon Hong and
Chee Yap},
 pages = {504--511},
 publisher = {Springer},
 title = {Solving Parametric Polynomial Systems by RealComprehensiveTriangularize},
 url = {https://doi.org/10.1007/978-3-662-44199-2_76},
 volume = {8592},
 year = {2014}
}

@inproceedings{DBLP:conf/icms/ChenM14,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
Seoul, South Korea, August 5-9, 2014. Proceedings},
 doi = {10.1007/978-3-662-44199-2_44},
 editor = {Hoon Hong and
Chee Yap},
 pages = {283--290},
 publisher = {Springer},
 title = {Real Quantifier Elimination in the RegularChains Library},
 url = {https://doi.org/10.1007/978-3-662-44199-2_44},
 volume = {8592},
 year = {2014}
}

@inproceedings{DBLP:conf/icms/CorlessT14,
 author = {Robert M. Corless and
Steven E. Thornton},
 booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
Seoul, South Korea, August 5-9, 2014. Proceedings},
 doi = {10.1007/978-3-662-44199-2_67},
 editor = {Hoon Hong and
Chee Yap},
 pages = {442--449},
 publisher = {Springer},
 title = {A Package for Parametric Matrix Computations},
 url = {https://doi.org/10.1007/978-3-662-44199-2_67},
 volume = {8592},
 year = {2014}
}

@inproceedings{DBLP:conf/icms/HaqueLMMPX14,
 author = {Sardar Anisul Haque and
Xin Li and
Farnam Mansouri and
Marc Moreno Maza and
Wei Pan and
Ning Xie},
 booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
Seoul, South Korea, August 5-9, 2014. Proceedings},
 doi = {10.1007/978-3-662-44199-2_108},
 editor = {Hoon Hong and
Chee Yap},
 pages = {725--732},
 publisher = {Springer},
 title = {Dense Arithmetic over Finite Fields with the {CUMODP} Library},
 url = {https://doi.org/10.1007/978-3-662-44199-2_108},
 volume = {8592},
 year = {2014}
}

@inproceedings{DBLP:conf/issac/ChenM14,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
'14, Kobe, Japan, July 23-25, 2014},
 doi = {10.1145/2608628.2608666},
 editor = {Katsusuke Nabeshima and
Kosaku Nagasaka and
Franz Winkler and
{\'{A}}gnes Sz{\'{a}}nt{\'{o}}},
 pages = {91--98},
 publisher = {{ACM}},
 title = {Quantifier elimination by cylindrical algebraic decomposition based
on regular chains},
 url = {https://doi.org/10.1145/2608628.2608666},
 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/iwomp/ChenMSU14,
 author = {Xiaohui Chen and
Marc Moreno Maza and
Sushek Shekar and
Priya Unnikrishnan},
 booktitle = {Using and Improving OpenMP for Devices, Tasks, and More - 10th International
Workshop on OpenMP, {IWOMP} 2014, Salvador, Brazil, September 28-30,
2014. Proceedings},
 doi = {10.1007/978-3-319-11454-5_3},
 editor = {Luiz DeRose and
Bronis R. de Supinski and
Stephen L. Olivier and
Barbara M. Chapman and
Matthias S. M{\"{u}}ller},
 pages = {30--44},
 publisher = {Springer},
 title = {MetaFork: {A} Framework for Concurrency Platforms Targeting Multicores},
 url = {https://doi.org/10.1007/978-3-319-11454-5_3},
 volume = {8766},
 year = {2014}
}

@inproceedings{DBLP:conf/mkm/EnglandBCDMW14,
 author = {Matthew England and
Russell J. Bradford and
Changbo Chen and
James H. Davenport and
Marc Moreno Maza and
David J. Wilson},
 booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
 doi = {10.1007/978-3-319-08434-3_5},
 editor = {Stephen M. Watt and
James H. Davenport and
Alan P. Sexton and
Petr Sojka and
Josef Urban},
 pages = {45--60},
 publisher = {Springer},
 title = {Problem Formulation for Truth-Table Invariant Cylindrical Algebraic
Decomposition by Incremental Triangular Decomposition},
 url = {https://doi.org/10.1007/978-3-319-08434-3_5},
 volume = {8543},
 year = {2014}
}

@inproceedings{DBLP:conf/snc/LisleHR14,
 author = {Ian G. Lisle and
Tracy Shih{-}lung Huang and
Gregory J. Reid},
 booktitle = {Symbolic-Numeric Computation 2014, {SNC} '14, Shanghai, China, July
28-31, 2014},
 doi = {10.1145/2631948.2631962},
 editor = {Lihong Zhi and
Stephen M. Watt},
 pages = {61--69},
 publisher = {{ACM}},
 title = {Structure of symmetry of {PDE:} exploiting partially integrated systems},
 url = {https://doi.org/10.1145/2631948.2631962},
 year = {2014}
}

@inproceedings{DBLP:conf/snc/ReidWW14,
 author = {Greg Reid and
Fei Wang and
Wenyuan Wu},
 booktitle = {Symbolic-Numeric Computation 2014, {SNC} '14, Shanghai, China, July
28-31, 2014},
 doi = {10.1145/2631948.2631958},
 editor = {Lihong Zhi and
Stephen M. Watt},
 pages = {41--42},
 publisher = {{ACM}},
 title = {A note on geometric involutive bases for positive dimensional polynomial
ideals and {SDP} methods},
 url = {https://doi.org/10.1145/2631948.2631958},
 year = {2014}
}

@inproceedings{DBLP:conf/snc/WuRF14,
 author = {Wenyuan Wu and
Greg Reid and
Yong Feng},
 booktitle = {Symbolic-Numeric Computation 2014, {SNC} '14, Shanghai, China, July
28-31, 2014},
 doi = {10.1145/2631948.2631969},
 editor = {Lihong Zhi and
Stephen M. Watt},
 pages = {111--117},
 publisher = {{ACM}},
 title = {Numerical and geometric properties of a method for finding points
on real solution components},
 url = {https://doi.org/10.1145/2631948.2631969},
 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}
}

@inproceedings{Moir2014,
 author = {Moir, Robert H.C. and Corless, Robert M. and Jeffrey, D.J.},
 booktitle = {Proc. EACA 2014},
 editor = {Elias, Joan and Fern\'andez--S\'anchez, Jes\'us and Sombra, Martin},
 pages = {139--142},
 title = {UNWINDING PATHS ON THE {R}IEMANN SPHERE
FOR CONTINUOUS INTEGRALS OF RATIONAL FUNCTIONS},
 year = {2014}
}

@inproceedings{MR3392712,
 author = {Reid, Greg and Wang, Fei and Wu, Wenyuan},
 booktitle = {S{NC} 2014---{P}roceedings of the 2014 {S}ymposium on
{S}ymbolic-{N}umeric {C}omputation},
 pages = {41--42},
 publisher = {ACM, New York},
 title = {A note on geometric involutive bases for positive dimensional
polynomial ideals and {SDP} methods},
 year = {2014}
}

@inproceedings{MR3392723,
 author = {Wu, Wenyuan and Reid, Greg and Feng, Yong},
 booktitle = {S{NC} 2014---{P}roceedings of the 2014 {S}ymposium on
{S}ymbolic-{N}umeric {C}omputation},
 pages = {111--117},
 publisher = {ACM, New York},
 title = {Numerical and geometric properties of a method for finding
points on real solution components},
 year = {2014}
}

@article{Corless2013-135,
 author = {Corless, Robert M.},
 journal = {Theoretical Computer Science},
 pages = {70--80},
 title = {Pseudospectra of exponential matrix polynomials},
 url = {https://doi.org/10.1016/j.tcs.2012.10.021},
 volume = {479},
 year = {2013}
}

@article{Corless2013-136,
 author = {Corless, Robert M. and Diaz-Toca, G.M. and Fioravanti, M. and Gonzalez-Vega, L. and Rua, I.F. and Shakoori, A.},
 journal = {Computer Aided Geometric Design},
 pages = {675-706},
 title = {Computing the topology of a real algebraic plane curve whose defining equations are available only ``by values''},
 volume = {30},
 year = {2013}
}

@article{Corless2013-137,
 author = {Chen, C. and Corless, Robert M. and Maza, M.M. and Yu, P. and Zhang, Y.},
 journal = {International Journal of Bifurcation and Chaos},
 title = {An application of regular chain theory to the study of limit cycles},
 volume = {23},
 year = {2013}
}

@article{DBLP:journals/cagd/CorlessDFGRS13,
 author = {Robert M. Corless and
Gema M. Diaz{-}Toca and
Mario Fioravanti and
Laureano Gonz{\'{a}}lez{-}Vega and
Ignacio F. R{\'{u}}a and
Azar Shakoori},
 doi = {10.1016/j.cagd.2013.04.003},
 journal = {Comput. Aided Geom. Des.},
 pages = {675--706},
 title = {Computing the topology of a real algebraic plane curve whose defining
equations are available only "by values"},
 url = {https://doi.org/10.1016/j.cagd.2013.04.003},
 volume = {30},
 year = {2013}
}

@article{DBLP:journals/corr/abs-1302-4688,
 author = {Parisa Alvandi and
Changbo Chen and
Marc Moreno Maza},
 journal = {CoRR},
 title = {An Algorithm for Computing the Limit Points of the Quasi-component
of a Regular Chain},
 url = {http://arxiv.org/abs/1302.4688},
 volume = {abs/1302.4688},
 year = {2013}
}

@article{DBLP:journals/ijbc/ChenCMYZ13,
 author = {Changbo Chen and
Robert M. Corless and
Marc Moreno Maza and
Pei Yu and
Yiming Zhang},
 doi = {10.1142/S021812741350154X},
 journal = {Int. J. Bifurc. Chaos},
 title = {An Application of Regular Chain Theory to the Study of Limit cycles},
 url = {https://doi.org/10.1142/S021812741350154X},
 volume = {23},
 year = {2013}
}

@article{DBLP:journals/ijmssc/QinWFR13,
 author = {Xiaolin Qin and
Wenyuan Wu and
Yong Feng and
Greg Reid},
 doi = {10.1142/S1793962313420087},
 journal = {Int. J. Model. Simul. Sci. Comput.},
 pages = {1342008},
 title = {Structural Analysis of High-Index {DAE} for Process simulation},
 url = {https://doi.org/10.1142/S1793962313420087},
 volume = {4},
 year = {2013}
}

@article{DBLP:journals/jsc/ChenDMMXX13,
 author = {Changbo Chen and
James H. Davenport and
John P. May and
Marc Moreno Maza and
Bican Xia and
Rong Xiao},
 doi = {10.1016/j.jsc.2011.12.014},
 journal = {J. Symb. Comput.},
 pages = {3--26},
 title = {Triangular decomposition of semi-algebraic systems},
 url = {https://doi.org/10.1016/j.jsc.2011.12.014},
 volume = {49},
 year = {2013}
}

@article{DBLP:journals/jsc/ChenDMXX13,
 author = {Changbo Chen and
James H. Davenport and
Marc Moreno Maza and
Bican Xia and
Rong Xiao},
 doi = {10.1016/j.jsc.2012.05.013},
 journal = {J. Symb. Comput.},
 pages = {72--96},
 title = {Computing with semi-algebraic sets: Relaxation techniques and effective
boundaries},
 url = {https://doi.org/10.1016/j.jsc.2012.05.013},
 volume = {52},
 year = {2013}
}

@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}
}

@article{DBLP:journals/tcs/Corless13,
 author = {Robert M. Corless},
 doi = {10.1016/j.tcs.2012.10.021},
 journal = {Theor. Comput. Sci.},
 pages = {70--80},
 title = {Pseudospectra of exponential matrix polynomials},
 url = {https://doi.org/10.1016/j.tcs.2012.10.021},
 volume = {479},
 year = {2013}
}

@book{Corless2013-138,
 author = {Corless, Robert M. and Fillion, N.},
 pages = {1-869},
 publisher = {Springer},
 title = {A graduate introduction to numerical methods:
From the viewpoint of backward error analysis},
 year = {2013}
}

@incollection{Corless2006-98,
 author = {David J. Jeffrey and Robert M. Corless},
 booktitle = {Handbook of Linear Algebra},
 doi = {10.1201/9781420010572.ch72},
 editor = {Hogben, Leslie},
 publisher = {CRC Press},
 title = {Linear Algebra in {M}aple},
 url = {http://doi.org/10.1201/9781420010572.ch72},
 year = {2013}
}

@inproceedings{10.1007/978-1-4614-7621-4_13,
 author = {Corless, Robert M.
and Lawrence, Piers W.},
 booktitle = {Computational and Analytical Mathematics},
 editor = {Bailey, David H.
and Bauschke, Heinz H.
and Borwein, Peter
and Garvan, Frank
and Th{\'e}ra, Michel
and Vanderwerff, Jon D.
and Wolkowicz, Henry},
 pages = {305--324},
 publisher = {Springer New York},
 title = {The Largest Roots of the {M}andelbrot Polynomials},
 year = {2013}
}

@inproceedings{Chen2013ComputingTS,
 author = {Changbo Chen and Marc Moreno Maza and Yuzhen Xie},
 booktitle = {{Mathematical Aspects of Computer Science and Information Sciences (MACIS 2013)}},
 editor = {Tomas Sturm},
 title = {Computing the Supremum of the Real Roots of a Parametric Univariate Polynomial (extended Abstract)},
 url = {https://pdfs.semanticscholar.org/9c9e/8e6ed2bda2f65120d797fd1cf92164a11d78.pdf?_ga=1.204788496.1298320037.1479263167},
 year = {2013}
}

@inproceedings{DBLP:conf/casc/AlvandiCM13,
 author = {Parisa Alvandi and
Changbo Chen and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 15th International Workshop,
{CASC} 2013, Berlin, Germany, September 9-13, 2013. Proceedings},
 doi = {10.1007/978-3-319-02297-0_3},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {30--45},
 publisher = {Springer},
 title = {Computing the Limit Points of the Quasi-component of a Regular Chain
in Dimension One},
 url = {https://doi.org/10.1007/978-3-319-02297-0_3},
 volume = {8136},
 year = {2013}
}

@inproceedings{DBLP:conf/issac/WuR13,
 author = {Wenyuan Wu and
Greg Reid},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'13,
Boston, MA, USA, June 26-29, 2013},
 doi = {10.1145/2465506.2465954},
 editor = {Manuel Kauers},
 pages = {339--346},
 publisher = {{ACM}},
 title = {Finding points on real solution components and applications to differential
polynomial systems},
 url = {https://doi.org/10.1145/2465506.2465954},
 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{1742-6596-341-1-012022,
 author = {Marc {Moreno Maza} and Wei Pan},
 journal = {Journal of Physics: Conference Series},
 pages = {012022},
 title = {Solving Bivariate Polynomial Systems on a {GPU}},
 url = {http://stacks.iop.org/1742-6596/341/i=1/a=012022},
 volume = {341},
 year = {2012}
}

@article{AMX11,
 author = {M. Md. {Ali} and M. {Moreno Maza} and  Y. Xie},
 journal = {J. of Physics: Conference Series},
 title = {On the Factor Refinement Principle and its Implementation on Multicore Architectures},
 url = {http://iopscience.iop.org/1742-6596/385/1/012015},
 volume = {385},
 year = {2012}
}

@article{Corless2012-131,
 author = {Kalugin, G.A. and Jeffrey, D.J. and Corless, Robert M. and Borwein, P.B.},
 journal = {Integral Transforms and Special Functions},
 pages = {581-593},
 title = {Stieltjes and other integral representations for functions of {Lambert $W$}},
 volume = {23},
 year = {2012}
}

@article{Corless2012-132,
 author = {Kalugin, G.A. and Jeffrey, D.J. and Corless, Robert M.},
 journal = {Integral Transforms and Special Functions},
 pages = {817-829},
 title = {Bernstein, {P}ick, {P}oisson and related integral expressions for {L}ambert {$W$}},
 volume = {23},
 year = {2012}
}

@article{Corless2012-133,
 author = {Lawrence, P.W. and Corless, Robert M. and Jeffrey, D.J.},
 journal = {ACM Transactions on Mathematical Software},
 pages = {1--17},
 title = {Algorithm 917: Complex double-precision evaluation of the {W}right $\omega$ function},
 volume = {38},
 year = {2012}
}

@article{DBLP:journals/corr/abs-1201-5086,
 author = {Marc Moreno Maza and
Rong Xiao},
 journal = {CoRR},
 title = {Generating Program Invariants via Interpolation},
 url = {http://arxiv.org/abs/1201.5086},
 volume = {abs/1201.5086},
 year = {2012}
}

@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/jsc/ChenM12,
 author = {Changbo Chen and
Marc Moreno Maza},
 doi = {10.1016/j.jsc.2011.12.023},
 journal = {J. Symb. Comput.},
 pages = {610--642},
 title = {Algorithms for computing triangular decomposition of polynomial systems},
 url = {https://doi.org/10.1016/j.jsc.2011.12.023},
 volume = {47},
 year = {2012}
}

@article{DBLP:journals/mics/MazaXX12,
 author = {Marc Moreno Maza and
Bican Xia and
Rong Xiao},
 doi = {10.1007/s11786-012-0136-3},
 journal = {Math. Comput. Sci.},
 pages = {457--473},
 title = {On Solving Parametric Polynomial Systems},
 url = {https://doi.org/10.1007/s11786-012-0136-3},
 volume = {6},
 year = {2012}
}

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

@article{haque2012EuclideanAlgorithm,
 author = {{S. A.}~Haque and M. {Moreno Maza}},
 journal = {J. of Physics: Conference Series},
 title = {Plain Polynomial Arithmetic on {GPU}},
 url = {http://iopscience.iop.org/1742-6596/385/1/012014},
 volume = {385},
 year = {2012}
}

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

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

@inproceedings{DBLP:conf/ascm/ChenM12,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
China, October 2012, Contributed Papers and Invited Talks},
 doi = {10.1007/978-3-662-43799-5_17},
 editor = {Ruyong Feng and
Wen{-}shin Lee and
Yosuke Sato},
 pages = {199--221},
 publisher = {Springer},
 title = {An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions},
 url = {https://doi.org/10.1007/978-3-662-43799-5_17},
 year = {2012}
}

@inproceedings{DBLP:conf/ascm/MazaX12,
 author = {Marc Moreno Maza and
Rong Xiao},
 booktitle = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
China, October 2012, Contributed Papers and Invited Talks},
 doi = {10.1007/978-3-662-43799-5_25},
 editor = {Ruyong Feng and
Wen{-}shin Lee and
Yosuke Sato},
 pages = {349--373},
 publisher = {Springer},
 title = {Degree and Dimension Estimates for Invariant Ideals of {\textbackslash}(P{\textbackslash})
-Solvable Recurrences},
 url = {https://doi.org/10.1007/978-3-662-43799-5_25},
 year = {2012}
}

@inproceedings{DBLP:conf/casc/MarcusMV12,
 author = {Steffen Marcus and
Marc Moreno Maza and
Paul Vrbik},
 booktitle = {Computer Algebra in Scientific Computing - 14th International Workshop,
{CASC} 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings},
 doi = {10.1007/978-3-642-32973-9_17},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {198--211},
 publisher = {Springer},
 title = {On Fulton's Algorithm for Computing Intersection Multiplicities},
 url = {https://doi.org/10.1007/978-3-642-32973-9_17},
 volume = {7442},
 year = {2012}
}

@inproceedings{DBLP:conf/casc/MazaSV12,
 author = {Marc Moreno Maza and
{\'{E}}ric Schost and
Paul Vrbik},
 booktitle = {Computer Algebra in Scientific Computing - 14th International Workshop,
{CASC} 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings},
 doi = {10.1007/978-3-642-32973-9_19},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {224--235},
 publisher = {Springer},
 title = {Inversion Modulo Zero-Dimensional Regular Chains},
 url = {https://doi.org/10.1007/978-3-642-32973-9_19},
 volume = {7442},
 year = {2012}
}

@article{CMX11,
 author = {C. {Chen} and M. {Moreno Maza} and  Y. Xie},
 journal = {J. of Physics: Conference Series},
 title = {Cache Complexity and Multicore Implementation for Univariate Real Root Isolation},
 url = {http://iopscience.iop.org/article/10.1088/1742-6596/341/1/012026/pdf},
 volume = {341},
 year = {2011}
}

@article{Corless2011-125,
 author = {Rezvani, N. and Corless, Robert M.},
 journal = {SNC{'}11 - Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation},
 pages = {81-87},
 title = {Using weighted norms to find nearest polynomials satisfying linear constraints},
 year = {2011}
}

@article{Corless2011-126,
 author = {Corless, R. and Postma, E. and Stoutemyer, D.R.},
 journal = {ACM Communications in Computer Algebra},
 pages = {17-48},
 title = {Rounding coefficients and artificially underflowing terms in non-numeric expressions},
 volume = {45},
 year = {2011}
}

@article{Corless2011-127,
 author = {Butcher, J.C. and Corless, Robert M. and Gonzalez-Vega, L. and Shakoori, A.},
 journal = {Numerical Algorithms},
 pages = {319-347},
 title = {Polynomial algebra for {B}irkhoff interpolants},
 volume = {56},
 year = {2011}
}

@article{Corless2011-129,
 author = {Corless, Robert M. and Postma, E. and Stoutemyer, D.R.},
 journal = {SNC{'}11 - Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation},
 pages = {153-154},
 title = {{GCD} of multivariate approximate polynomials using beautification with the subtractive algorithm},
 year = {2011}
}

@article{DBLP:journals/cca/ChenDLMXXX11,
 author = {Changbo Chen and
James H. Davenport and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Bican Xia and
Rong Xiao and
Yuzhen Xie},
 doi = {10.1145/2110170.2110174},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {166--168},
 title = {Computing the real solutions of polynomial systems with the RegularChains
library in Maple},
 url = {https://doi.org/10.1145/2110170.2110174},
 volume = {45},
 year = {2011}
}

@article{DBLP:journals/cca/CorlessPS11,
 author = {Robert M. Corless and
Erik Postma and
David R. Stoutemyer},
 doi = {10.1145/2016567.2016570},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {17--48},
 title = {Rounding coefficients and artificially underflowing terms in non-numeric
expressions},
 url = {https://doi.org/10.1145/2016567.2016570},
 volume = {45},
 year = {2011}
}

@article{DBLP:journals/cca/MazaP11,
 author = {Marc Moreno Maza and
Wei Pan},
 doi = {10.1145/2016567.2016589},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {127--128},
 title = {Solving bivariate polynomial systems on a {GPU}},
 url = {https://doi.org/10.1145/2016567.2016589},
 volume = {45},
 year = {2011}
}

@article{DBLP:journals/cca/MazaV11,
 author = {Marc Moreno Maza and
Paul Vrbik},
 doi = {10.1145/2016567.2016590},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {129--130},
 title = {Inverting matrices modulo regular chains},
 url = {https://doi.org/10.1145/2016567.2016590},
 volume = {45},
 year = {2011}
}

@article{DBLP:journals/ijfcs/MazaX11,
 author = {Marc Moreno Maza and
Yuzhen Xie},
 doi = {10.1142/S0129054111008556},
 journal = {Int. J. Found. Comput. Sci.},
 pages = {1035--1055},
 title = {Balanced Dense Polynomial Multiplication on Multi-Cores},
 url = {https://doi.org/10.1142/S0129054111008556},
 volume = {22},
 year = {2011}
}

@article{DBLP:journals/jsc/LemaireMPX11,
 author = {Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Wei Pan and
Yuzhen Xie},
 doi = {10.1016/j.jsc.2011.08.010},
 journal = {J. Symb. Comput.},
 pages = {1291--1305},
 title = {When does {\textless}T{\textgreater} equal sat(T)?},
 url = {https://doi.org/10.1016/j.jsc.2011.08.010},
 volume = {46},
 year = {2011}
}

@article{DBLP:journals/jsc/LiMRS11,
 author = {Xin Li and
Marc Moreno Maza and
Raqeeb Rasheed and
{\'{E}}ric Schost},
 doi = {10.1016/j.jsc.2010.08.016},
 journal = {J. Symb. Comput.},
 pages = {841--858},
 title = {The modpn library: Bringing fast polynomial arithmetic into Maple},
 url = {https://doi.org/10.1016/j.jsc.2010.08.016},
 volume = {46},
 year = {2011}
}

@article{DBLP:journals/na/ButcherCGS11,
 author = {John C. Butcher and
Robert M. Corless and
Laureano Gonz{\'{a}}lez{-}Vega and
Azar Shakoori},
 doi = {10.1007/s11075-010-9385-x},
 journal = {Numer. Algorithms},
 pages = {319--347},
 title = {Polynomial algebra for Birkhoff interpolants},
 url = {https://doi.org/10.1007/s11075-010-9385-x},
 volume = {56},
 year = {2011}
}

@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{haque2011determinant,
 author = {{S. A.}~{Haque} and M. {Moreno Maza}},
 journal = {J. of Physics: Conference Series},
 title = {Determinant Computation on the {GPU} using the Condensation Method},
 url = {http://hgpu.org/?p=7012},
 volume = {341},
 year = {2011}
}

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

@inproceedings{DBLP:conf/casc/ChenM11,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 13th International Workshop,
{CASC} 2011, Kassel, Germany, September 5-9, 2011. Proceedings},
 doi = {10.1007/978-3-642-23568-9_9},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {101--125},
 publisher = {Springer},
 title = {Semi-algebraic Description of the Equilibria of Dynamical Systems},
 url = {https://doi.org/10.1007/978-3-642-23568-9_9},
 volume = {6885},
 year = {2011}
}

@inproceedings{DBLP:conf/issac/ChenDMXX11,
 author = {Changbo Chen and
James H. Davenport and
Marc Moreno Maza and
Bican Xia and
Rong Xiao},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
 doi = {10.1145/1993886.1993903},
 editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
 pages = {75--82},
 publisher = {{ACM}},
 title = {Computing with semi-algebraic sets represented by triangular decomposition},
 url = {https://doi.org/10.1145/1993886.1993903},
 year = {2011}
}

@inproceedings{DBLP:conf/issac/ChenM11,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
 doi = {10.1145/1993886.1993904},
 editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
 pages = {83--90},
 publisher = {{ACM}},
 title = {Algorithms for computing triangular decompositions of polynomial systems},
 url = {https://doi.org/10.1145/1993886.1993904},
 year = {2011}
}

@inproceedings{DBLP:conf/snc/CorlessPS11,
 author = {Robert M. Corless and
Erik Postma and
David R. Stoutemyer},
 booktitle = {{SNC} 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric
Computation, San Jose, California, USA, June 7-9, 2011},
 doi = {10.1145/2331684.2331709},
 editor = {Marc Moreno Maza},
 pages = {153--154},
 publisher = {{ACM}},
 title = {{GCD} of multivariate approximate polynomials using beautification
with the subtractive algorithm},
 url = {https://doi.org/10.1145/2331684.2331709},
 year = {2011}
}

@inproceedings{DBLP:conf/snc/LawrenceC11,
 author = {Piers W. Lawrence and
Robert M. Corless},
 booktitle = {{SNC} 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric
Computation, San Jose, California, USA, June 7-9, 2011},
 doi = {10.1145/2331684.2331706},
 editor = {Marc Moreno Maza},
 pages = {147--148},
 publisher = {{ACM}},
 title = {Numerical stability of barycentric Hermite root-finding},
 url = {https://doi.org/10.1145/2331684.2331706},
 year = {2011}
}

@inproceedings{DBLP:conf/snc/RezvaniC11,
 author = {Nargol Rezvani and
Robert M. Corless},
 booktitle = {{SNC} 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric
Computation, San Jose, California, USA, June 7-9, 2011},
 doi = {10.1145/2331684.2331697},
 editor = {Marc Moreno Maza},
 pages = {81--87},
 publisher = {{ACM}},
 title = {Using weighted norms to find nearest polynomials satisfying linear
constraints},
 url = {https://doi.org/10.1145/2331684.2331697},
 year = {2011}
}

@inproceedings{lemaire:hal-00825013,
 author = {Lemaire, Fran{\c c}ois and Chen, Changbo and H. Davenport, James and {Moreno Maza}, Marc and Phisanbut, Nalina and Xia, Bican and Xiao, Rong and Xie, Yuzhen},
 booktitle = {{Mathematical Aspects of Computer Science and Information Sciences}},
 editor = {Stefan Raschau},
 pages = {38--51},
 title = {{Solving semi-algebraic systems with the RegularChains library in Maple}},
 url = {https://hal.archives-ouvertes.fr/hal-00825013},
 year = {2011}
}

@proceedings{DBLP:conf/snc/2011,
 editor = {Marc Moreno Maza},
 publisher = {{ACM}},
 title = {{SNC} 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric
Computation, San Jose, California, USA, June 7-9, 2011},
 url = {http://dl.acm.org/citation.cfm?id=2331684},
 year = {2011}
}

@article{DBLP:journals/cca/ChenMX10,
 author = {Changno Chen and
Marc Moreno Maza and
Yuzhen Xie},
 doi = {10.1145/1940475.1940483},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {97--98},
 title = {Cache complexity and multicore implementation for univariate real
root isolation},
 url = {https://doi.org/10.1145/1940475.1940483},
 volume = {44},
 year = {2010}
}

@article{DBLP:journals/cca/ChowdhuryMPS10,
 author = {Muhammad F. I. Chowdhury and
Marc Moreno Maza and
Wei Pan and
{\'{E}}ric Schost},
 doi = {10.1145/1940475.1940484},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {99--100},
 title = {Complexity and performance results for non FFT-based univariate polynomial
multiplication},
 url = {https://doi.org/10.1145/1940475.1940484},
 volume = {44},
 year = {2010}
}

@article{DBLP:journals/cca/DahanMSP10,
 author = {Xavier Dahan and
Marc Moreno Maza and
{\'{E}}ric Schost and
Adrien Poteaux},
 doi = {10.1145/1940475.1940486},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {103--104},
 title = {Almost linear time operations with triangular sets},
 url = {https://doi.org/10.1145/1940475.1940486},
 volume = {44},
 year = {2010}
}

@article{DBLP:journals/cca/HaqueHM10,
 author = {Sardar Anisul Haque and
Shahadat Hossain and
Marc Moreno Maza},
 doi = {10.1145/1940475.1940490},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {111--112},
 title = {Cache friendly sparse matrix-vector multiplication},
 url = {https://doi.org/10.1145/1940475.1940490},
 volume = {44},
 year = {2010}
}

@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/cca/MengJFVMX10,
 author = {Lingchuan Meng and
Jeremy R. Johnson and
Franz Franchetti and
Yevgen Voronenko and
Marc Moreno Maza and
Yuzhen Xie},
 doi = {10.1145/1838599.1838616},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {25--26},
 title = {Abstract only: SPIRAL-generated modular FFTs},
 url = {https://doi.org/10.1145/1838599.1838616},
 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{DBLP:journals/jsc/BoulierLM10,
 author = {Fran{\c{c}}ois Boulier and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza},
 doi = {10.1016/j.jsc.2009.09.004},
 journal = {J. Symb. Comput.},
 pages = {124--149},
 title = {Computing differential characteristic sets by change of ordering},
 url = {https://doi.org/10.1016/j.jsc.2009.09.004},
 volume = {45},
 year = {2010}
}

@article{MP10,
 author = {M. {Moreno Maza} and  W.~Pan},
 journal = {J. of Physics: Conference Series},
 title = {Fast polynomial arithmetic on a {GPU}},
 url = {http://iopscience.iop.org/1742-6596/256/1/012009},
 volume = {256},
 year = {2010}
}

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

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

@inproceedings{DBLP:conf/cap/HaqueHM10,
 author = {Sardar Anisul Haque and
Shahadat Hossain and
Marc Moreno Maza},
 booktitle = {Proceedings of the 4th International Workshop on Parallel Symbolic
Computation, {PASCO} 2010, July 21-23, 2010, Grenoble, France},
 doi = {10.1145/1837210.1837238},
 editor = {Marc Moreno Maza and
Jean{-}Louis Roch},
 pages = {175--176},
 publisher = {{ACM}},
 title = {Cache friendly sparse matrix-vector multiplication},
 url = {https://doi.org/10.1145/1837210.1837238},
 year = {2010}
}

@inproceedings{DBLP:conf/cap/LeisersonMLX10,
 author = {Charles E. Leiserson and
Marc Moreno Maza and
Liyun Li and
Yuzhen Xie},
 booktitle = {Proceedings of the 4th International Workshop on Parallel Symbolic
Computation, {PASCO} 2010, July 21-23, 2010, Grenoble, France},
 doi = {10.1145/1837210.1837221},
 editor = {Marc Moreno Maza and
Jean{-}Louis Roch},
 pages = {53--62},
 publisher = {{ACM}},
 title = {Parallel computation of the minimal elements of a poset},
 url = {https://doi.org/10.1145/1837210.1837221},
 year = {2010}
}

@inproceedings{DBLP:conf/cap/MengVJMFX10,
 author = {Lingchuan Meng and
Yevgen Voronenko and
Jeremy R. Johnson and
Marc Moreno Maza and
Franz Franchetti and
Yuzhen Xie},
 booktitle = {Proceedings of the 4th International Workshop on Parallel Symbolic
Computation, {PASCO} 2010, July 21-23, 2010, Grenoble, France},
 doi = {10.1145/1837210.1837235},
 editor = {Marc Moreno Maza and
Jean{-}Louis Roch},
 pages = {169--170},
 publisher = {{ACM}},
 title = {Spiral-generated modular {FFT} algorithms},
 url = {https://doi.org/10.1145/1837210.1837235},
 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}
}

@inproceedings{DBLP:conf/icms/LeisersonLMX10,
 author = {Charles E. Leiserson and
Liyun Li and
Marc Moreno Maza and
Yuzhen Xie},
 booktitle = {Mathematical Software - {ICMS} 2010, Third International Congress
on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings},
 doi = {10.1007/978-3-642-15582-6_55},
 editor = {Komei Fukuda and
Joris van der Hoeven and
Michael Joswig and
Nobuki Takayama},
 pages = {342--353},
 publisher = {Springer},
 title = {Efficient Evaluation of Large Polynomials},
 url = {https://doi.org/10.1007/978-3-642-15582-6_55},
 volume = {6327},
 year = {2010}
}

@inproceedings{DBLP:conf/issac/ChenDMMXX10,
 author = {Changbo Chen and
James H. Davenport and
John P. May and
Marc Moreno Maza and
Bican Xia and
Rong Xiao},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2010, Munich, Germany, July 25-28, 2010, Proceedings},
 doi = {10.1145/1837934.1837972},
 editor = {Wolfram Koepf},
 pages = {187--194},
 publisher = {{ACM}},
 title = {Triangular decomposition of semi-algebraic systems},
 url = {https://doi.org/10.1145/1837934.1837972},
 year = {2010}
}

@proceedings{DBLP:conf/cap/2010,
 editor = {Marc Moreno Maza and
Jean{-}Louis Roch},
 publisher = {{ACM}},
 title = {Proceedings of the 4th International Workshop on Parallel Symbolic
Computation, {PASCO} 2010, July 21-23, 2010, Grenoble, France},
 year = {2010}
}

@article{brennan2009creating,
 author = {Brennan, Samantha and Corless, Robert M.},
 journal = {Atlantis: Critical Studies in Gender, Culture \& Social Justice},
 pages = {54--61},
 title = {Creating a Warmer Environment for Women in the Mathematical Sciences and in Philosophy},
 volume = {33},
 year = {2009}
}

@article{Corless2009-119,
 author = {Corless, Robert M. and Gatermann, K. and Kotsireas, I.S.},
 journal = {Journal of Symbolic Computation},
 pages = {1536-1550},
 title = {Using symmetries in the eigenvalue method for polynomial systems},
 volume = {44},
 year = {2009}
}

@article{Corless2009-120,
 author = {Ilie, S. and Corless, Robert M. and Essex, C.},
 journal = {Mathematics in Computer Science},
 pages = {557-566},
 title = {The computational complexity of extrapolation methods},
 volume = {2},
 year = {2009}
}

@article{Corless2009-121,
 author = {Yu, P. and Corless, R.},
 journal = {Communications in Nonlinear Science and Numerical Simulation},
 pages = {4041-4056},
 title = {Symbolic computation of limit cycles associated with {H}ilbert{'}s 16th problem},
 volume = {14},
 year = {2009}
}

@article{Corless2009-122,
 author = {Corless, Robert M.},
 journal = {Proceedings of the 2009 Conference on Symbolic Numeric Computation, SNC 2009},
 pages = {1--2},
 title = {Pseudospectra for exponential polynomial matrices},
 url = {https://doi.org/10.1145/1577190.1577192},
 year = {2009}
}

@article{Corless2009-124,
 author = {Amiraslani, A. and Corless, Robert M. and Lancaster, P.},
 journal = {IMA Journal of Numerical Analysis},
 pages = {141-157},
 title = {Linearization of matrix polynomials expressed in polynomial bases},
 volume = {29},
 year = {2009}
}

@article{corless2009memoriam,
 author = {Corless, Robert M and Lauterbach, Reiner and M\"oller, Hans-Michael},
 journal = {Journal of Symbolic Computation},
 pages = {1533--1535},
 publisher = {Elsevier},
 title = {In Memoriam: {Karin Gatermann}},
 volume = {44},
 year = {2009}
}

@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/cca/MazaX09,
 author = {Marc Moreno Maza and
Yuzhen Xie},
 doi = {10.1145/1823931.1823942},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {85--87},
 title = {Balanced dense polynomial multiplication on multi-cores},
 url = {https://doi.org/10.1145/1823931.1823942},
 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/CorlessGK09,
 author = {Robert M. Corless and
Karin Gatermann and
Ilias S. Kotsireas},
 doi = {10.1016/j.jsc.2008.11.009},
 journal = {J. Symb. Comput.},
 pages = {1536--1550},
 title = {Using symmetries in the eigenvalue method for polynomial systems},
 url = {https://doi.org/10.1016/j.jsc.2008.11.009},
 volume = {44},
 year = {2009}
}

@article{DBLP:journals/jsc/CorlessLM09,
 author = {Robert M. Corless and
Reiner Lauterbach and
Hans{-}Michael M{\"{o}}ller},
 doi = {10.1016/j.jsc.2009.05.001},
 journal = {J. Symb. Comput.},
 pages = {1533--1535},
 title = {Preface},
 url = {https://doi.org/10.1016/j.jsc.2009.05.001},
 volume = {44},
 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{DBLP:journals/jsc/LiMS09,
 author = {Xin Li and
Marc Moreno Maza and
{\'{E}}ric Schost},
 doi = {10.1016/j.jsc.2008.04.019},
 journal = {J. Symb. Comput.},
 pages = {891--907},
 title = {Fast arithmetic for triangular sets: From theory to practice},
 url = {https://doi.org/10.1016/j.jsc.2008.04.019},
 volume = {44},
 year = {2009}
}

@article{DBLP:journals/jsc/ReidZ09,
 author = {Greg Reid and
Lihong Zhi},
 doi = {10.1016/j.jsc.2007.10.013},
 journal = {J. Symb. Comput.},
 pages = {280--291},
 title = {Solving polynomial systems via symbolic-numeric reduction to geometric
involutive form},
 url = {https://doi.org/10.1016/j.jsc.2007.10.013},
 volume = {44},
 year = {2009}
}

@article{DBLP:journals/jsc/WuRI09,
 author = {Wenyuan Wu and
Greg Reid and
Silvana Ilie},
 doi = {10.1016/j.jsc.2008.04.020},
 journal = {J. Symb. Comput.},
 pages = {923--941},
 title = {Implicit Riquier Bases for {PDAE} and their semi-discretizations},
 url = {https://doi.org/10.1016/j.jsc.2008.04.020},
 volume = {44},
 year = {2009}
}

@article{DBLP:journals/mics/IlieCE09,
 author = {Silvana Ilie and
Robert M. Corless and
Chris Essex},
 doi = {10.1007/s11786-007-0040-4},
 journal = {Math. Comput. Sci.},
 pages = {557--566},
 title = {The Computational Complexity of Extrapolation Methods},
 url = {https://doi.org/10.1007/s11786-007-0040-4},
 volume = {2},
 year = {2009}
}

@incollection{CAMQ2009,
 booktitle = {Canadian Applied Mathematics Quarterly},
 editor = {Corless, Robert M. and Kotsireas, Ilias S.},
 title = {Special Issue: Scientific and Symbolic Computing},
 volume = {17},
 year = {2009}
}

@incollection{MR2641157,
 author = {Wu, Wenyuan and Reid, Greg and Golubitsky, Oleg},
 booktitle = {Approximate commutative algebra},
 doi = {10.1007/978-3-211-99314-9_3},
 pages = {79--97},
 publisher = {SpringerWienNewYork, Vienna},
 title = {Towards geometric completion of differential systems by
points},
 url = {https://doi.org/10.1007/978-3-211-99314-9_3},
 year = {2009}
}

@incollection{MR2641158,
 author = {Scott, Robin and Reid, Greg and Wu, Wenyuan and Zhi, Lihong},
 booktitle = {Approximate commutative algebra},
 doi = {10.1007/978-3-211-99314-9_4},
 pages = {99--124},
 publisher = {SpringerWienNewYork, Vienna},
 title = {Geometric involutive bases and applications to approximate
commutative algebra},
 url = {https://doi.org/10.1007/978-3-211-99314-9_4},
 year = {2009}
}

@inproceedings{DBLP:conf/ascm/BoulierCLM09,
 author = {Fran{\c{c}}ois Boulier and
Changbo Chen and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza},
 booktitle = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
China, October 2012, Contributed Papers and Invited Talks},
 doi = {10.1007/978-3-662-43799-5_4},
 editor = {Ruyong Feng and
Wen{-}shin Lee and
Yosuke Sato},
 pages = {33--48},
 publisher = {Springer},
 title = {Real Root Isolation of Regular Chains},
 url = {https://doi.org/10.1007/978-3-662-43799-5_4},
 year = {2009}
}

@inproceedings{DBLP:conf/hpcs/MazaX09,
 author = {Marc Moreno Maza and
Yuzhen Xie},
 booktitle = {High Performance Computing Systems and Applications, 23rd International
Symposium, {HPCS} 2009, Kingston, ON, Canada, June 14-17, 2009, Revised
Selected Papers},
 doi = {10.1007/978-3-642-12659-8_28},
 editor = {Douglas J. K. Mewhort and
Natalie M. Cann and
Gary W. Slater and
Thomas J. Naughton},
 pages = {378--399},
 publisher = {Springer},
 title = {FFT-Based Dense Polynomial Arithmetic on Multi-cores},
 url = {https://doi.org/10.1007/978-3-642-12659-8_28},
 volume = {5976},
 year = {2009}
}

@inproceedings{DBLP:conf/issac/ChenMXY09,
 author = {Changbo Chen and
Marc Moreno Maza and
Bican Xia and
Lu Yang},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
 doi = {10.1145/1576702.1576718},
 editor = {Jeremy R. Johnson and
Hyungju Park and
Erich Kaltofen},
 pages = {95--102},
 publisher = {{ACM}},
 title = {Computing cylindrical algebraic decomposition via triangular decomposition},
 url = {https://doi.org/10.1145/1576702.1576718},
 year = {2009}
}

@inproceedings{DBLP:conf/issac/LiMP09,
 author = {Xin Li and
Marc Moreno Maza and
Wei Pan},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
 doi = {10.1145/1576702.1576736},
 editor = {Jeremy R. Johnson and
Hyungju Park and
Erich Kaltofen},
 pages = {239--246},
 publisher = {{ACM}},
 title = {Computations modulo regular chains},
 url = {https://doi.org/10.1145/1576702.1576736},
 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}
}

@inproceedings{DBLP:conf/pdcat/MazaX09,
 author = {Marc Moreno Maza and
Yuzhen Xie},
 booktitle = {2009 International Conference on Parallel and Distributed Computing,
Applications and Technologies, {PDCAT} 2009, Higashi Hiroshima, Japan,
8-11 December 2009},
 doi = {10.1109/PDCAT.2009.87},
 pages = {1--9},
 publisher = {{IEEE} Computer Society},
 title = {Balanced Dense Polynomial Multiplication on Multi-Cores},
 url = {https://doi.org/10.1109/PDCAT.2009.87},
 year = {2009}
}

@inproceedings{DBLP:conf/snc/Corless09,
 author = {Robert M. Corless},
 booktitle = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
- 05, 2009},
 doi = {10.1145/1577190.1577192},
 editor = {Hiroshi Kai and
Hiroshi Sekigawa and
Tateaki Sasaki and
Kiyoshi Shirayanagi and
Ilias S. Kotsireas},
 pages = {1--2},
 publisher = {{ACM}},
 title = {Pseudospectra for exponential polynomial matrices},
 url = {https://doi.org/10.1145/1577190.1577192},
 year = {2009}
}

@article{Corless2008-115,
 author = {Corless, Robert M. and Ilie, S.},
 journal = {BIT Numerical Mathematics},
 pages = {29-49},
 title = {Polynomial cost for solving {IVP} for high-index {DAE}},
 volume = {48},
 year = {2008}
}

@article{Corless2008-116,
 author = {Corless, Robert M. and Shakoori, A. and Aruliah, D.A. and Gonzalez-Vega, L.},
 journal = {Journal of Numerical Analysis, Industrial and Applied Mathematics},
 pages = {1-16},
 title = {Barycentric {H}ermite interpolants for event location in initial-value problems},
 volume = {3},
 year = {2008}
}

@article{Corless2008-117,
 author = {Bronstein, M. and Corless, Robert M. and Davenport, J.H. and Jeffrey, D.J.},
 journal = {Integral Transforms and Special Functions},
 pages = {709-712},
 title = {Algebraic properties of the {Lambert $W$} function from a result of {R}osenlicht and of {L}iouville},
 volume = {19},
 year = {2008}
}

@article{Corless2008-118,
 author = {Ilie, S. and S{\"o}derlind, G. and Corless, Robert M.},
 journal = {Journal of Complexity},
 pages = {341-361},
 title = {Adaptivity and computational complexity in the numerical solution of {ODE}s},
 volume = {24},
 year = {2008}
}

@article{DBLP:journals/cca/0009MRS08,
 author = {Xin Li and
Marc Moreno Maza and
Raqeeb Rasheed and
{\'{E}}ric Schost},
 doi = {10.1145/1504347.1504374},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {172--174},
 title = {The modpn library: bringing fast polynomial arithmetic into {MAPLE}},
 url = {https://doi.org/10.1145/1504347.1504374},
 volume = {42},
 year = {2008}
}

@article{DBLP:journals/cca/ChenLMPX08,
 author = {Changbo Chen and
Liyun Li and
Marc Moreno Maza and
Wei Pan and
Yuzhen Xie},
 doi = {10.1145/1504347.1504368},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {162--163},
 title = {On the representation of constructible sets},
 url = {https://doi.org/10.1145/1504347.1504368},
 volume = {42},
 year = {2008}
}

@article{DBLP:journals/cca/ChenMLPLX08,
 author = {Changbo Chen and
Marc Moreno Maza and
Fran{\c{c}}ois Lemaire and
Wei Pan and
Liyun Li and
Yuzhen Xie},
 doi = {10.1145/1504347.1504378},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {182--184},
 title = {The ConstructibleSetTools and ParametricSystemTools modules of the
RegularChains library in Maple},
 url = {https://doi.org/10.1145/1504347.1504378},
 volume = {42},
 year = {2008}
}

@article{DBLP:journals/cca/MayGRMX08,
 author = {John P. May and
Mark Giesbrecht and
Daniel S. Roche and
Marc Moreno Maza and
Yuzhen Xie},
 doi = {10.1145/1394042.1394090},
 journal = {{ACM} Commun. Comput. Algebra},
 pages = {83},
 title = {Automatic variable order selection for polynomial system solving (abstract
only)},
 url = {https://doi.org/10.1145/1394042.1394090},
 volume = {42},
 year = {2008}
}

@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/ChenMPX08,
 author = {Changbo Chen and
Marc Moreno Maza and
Wei Pan and
Yuzhen Xie},
 doi = {10.1007/s11704-008-0006-y},
 journal = {Frontiers Comput. Sci. China},
 pages = {55--66},
 title = {On the verification of polynomial system solvers},
 url = {https://doi.org/10.1007/s11704-008-0006-y},
 volume = {2},
 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}
}

@article{DBLP:journals/jc/IlieSC08,
 author = {Silvana Ilie and
Gustaf S{\"{o}}derlind and
Robert M. Corless},
 doi = {10.1016/j.jco.2007.11.004},
 journal = {J. Complex.},
 pages = {341--361},
 title = {Adaptivity and computational complexity in the numerical solution
of ODEs},
 url = {https://doi.org/10.1016/j.jco.2007.11.004},
 volume = {24},
 year = {2008}
}

@article{DBLP:journals/jsc/GolubitskyKMO08,
 author = {Oleg Golubitsky and
Marina V. Kondratieva and
Marc Moreno Maza and
Alexey Ovchinnikov},
 doi = {10.1016/j.jsc.2007.12.002},
 journal = {J. Symb. Comput.},
 pages = {582--610},
 title = {A bound for the Rosenfeld-Gr{\"{o}}bner algorithm},
 url = {https://doi.org/10.1016/j.jsc.2007.12.002},
 volume = {43},
 year = {2008}
}

@article{DBLP:journals/tcs/DahanJMS08,
 author = {Xavier Dahan and
Xin Jin and
Marc Moreno Maza and
{\'{E}}ric Schost},
 doi = {10.1016/j.tcs.2007.10.003},
 journal = {Theor. Comput. Sci.},
 pages = {37--65},
 title = {Change of order for regular chains in positive dimension},
 url = {https://doi.org/10.1016/j.tcs.2007.10.003},
 volume = {392},
 year = {2008}
}

@inproceedings{DBLP:conf/iccsa/ChenLLMPX08,
 author = {Changbo Chen and
Fran{\c{c}}ois Lemaire and
Liyun Li and
Marc Moreno Maza and
Wei Pan and
Yuzhen Xie},
 booktitle = {Selected Papers of the Sixth International Conference on Computational
Sciences and Its Applications, {ICCSA} '08, Perugia, Italy, June 30
- July 3, 2008},
 doi = {10.1109/ICCSA.2008.61},
 editor = {Marina L. Gavrilova and
Osvaldo Gervasi and
Antonio Lagan{\`{a}} and
Youngsong Mun and
Andr{\'{e}}s Iglesias},
 pages = {342--352},
 publisher = {{IEEE} Computer Society},
 title = {The ConstructibleSetTools and ParametricSystemTools Modules of the
RegularChains Library in Maple},
 url = {https://doi.org/10.1109/ICCSA.2008.61},
 year = {2008}
}

@inproceedings{DBLP:conf/iccsa/LiMRS08,
 author = {Xin Li and
Marc Moreno Maza and
Raqeeb Rasheed and
{\'{E}}ric Schost},
 booktitle = {Selected Papers of the Sixth International Conference on Computational
Sciences and Its Applications, {ICCSA} '08, Perugia, Italy, June 30
- July 3, 2008},
 doi = {10.1109/ICCSA.2008.68},
 editor = {Marina L. Gavrilova and
Osvaldo Gervasi and
Antonio Lagan{\`{a}} and
Youngsong Mun and
Andr{\'{e}}s Iglesias},
 pages = {331--341},
 publisher = {{IEEE} Computer Society},
 title = {High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted
Programming Environment},
 url = {https://doi.org/10.1109/ICCSA.2008.68},
 year = {2008}
}

@inproceedings{DBLP:conf/issac/LemaireMPX08,
 author = {Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Wei Pan and
Yuzhen Xie},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2008, Linz/Hagenberg, Austria, July 20-23, 2008, Proceedings},
 doi = {10.1145/1390768.1390798},
 editor = {J. Rafael Sendra and
Laureano Gonz{\'{a}}lez{-}Vega},
 pages = {207--214},
 publisher = {{ACM}},
 title = {When does (\emph{T}) equal sat(\emph{T})?},
 url = {https://doi.org/10.1145/1390768.1390798},
 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}
}

@article{Corless2007-101,
 author = {Corless, Robert M. and Rezvani, N. and Amiraslani, A.},
 journal = {Mathematics in Computer Science},
 pages = {353-374},
 title = {Pseudospectra of matrix polynomials that are expressed in alternative bases},
 volume = {1},
 year = {2007}
}

@article{Corless2007-103,
 author = {Corless, Robert M. and Assefa, D.},
 journal = {Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC},
 pages = {108-115},
 title = {Jeffery-{H}amel flow with {Maple}: A case study of integration of elliptic functions in a {CAS}},
 year = {2007}
}

@article{Corless2007-104,
 author = {Aruliah, D.A. and Corless, Robert M. and Gonzalez-Vega, L. and Shakoori, A.},
 journal = {SNC{'}07 - Proceedings of the 2007 International Workshop on Symbolic-Numeric Computation},
 pages = {55-64},
 title = {Geometric applications of the {B}\'ezout matrix in the {L}agrange basis},
 year = {2007}
}

@article{Corless2007-106,
 author = {Aruliah, D.A. and Corless, Robert M. and Shakoori, A. and Gonzalez-Vega, L. and Rua, I.F.},
 journal = {SNC{'}07 - Proceedings of the 2007 International Workshop on Symbolic-Numeric Computation},
 pages = {46-54},
 title = {Computing the topology of a real algebraic plane curve whose equation is not directly available},
 year = {2007}
}

@article{Corless2007-108,
 author = {Zhao, J. and Davison, M. and Corless, Robert M.},
 journal = {Journal of Computational and Applied Mathematics},
 pages = {306-321},
 title = {Compact finite difference method for {A}merican option pricing},
 volume = {206},
 year = {2007}
}

@article{Corless2007-110,
 author = {Amiraslani, A. and Aruliah, D.A. and Corless, Robert M.},
 journal = {Theoretical Computer Science},
 pages = {134-147},
 title = {Block {$LU$} factors of generalized companion matrix pencils},
 volume = {381},
 year = {2007}
}

@article{Corless2007-99,
 author = {Corless, Robert M. and Ding, H. and Higham, N.J. and Jeffrey, D.J. },
 journal = {Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC},
 pages = {116-121},
 title = {The solution of {$S \exp(S) = A$} is not always the {L}ambert {$W$} function of {$A$}},
 year = {2007}
}

@article{DBLP:journals/jsc/MazaRSW07,
 author = {Marc Moreno Maza and
Gregory J. Reid and
Robin Scott and
Wenyuan Wu},
 doi = {10.1016/j.jsc.2006.12.004},
 journal = {J. Symb. Comput.},
 pages = {693--716},
 title = {On approximate triangular decompositions in dimension zero},
 url = {https://doi.org/10.1016/j.jsc.2006.12.004},
 volume = {42},
 year = {2007}
}

@article{DBLP:journals/mics/CorlessRA07,
 author = {Robert M. Corless and
Nargol Rezvani and
Amirhossein Amiraslani},
 doi = {10.1007/s11786-007-0010-x},
 journal = {Math. Comput. Sci.},
 pages = {353--374},
 title = {Pseudospectra of Matrix Polynomials that Are Expressed in Alternative
Bases},
 url = {https://doi.org/10.1007/s11786-007-0010-x},
 volume = {1},
 year = {2007}
}

@article{DBLP:journals/tcs/AmiraslaniAC07,
 author = {Amirhossein Amiraslani and
Dhavide A. Aruliah and
Robert M. Corless},
 doi = {10.1016/j.tcs.2007.04.019},
 journal = {Theor. Comput. Sci.},
 pages = {134--147},
 title = {Block {LU} factors of generalized companion matrix pencils},
 url = {https://doi.org/10.1016/j.tcs.2007.04.019},
 volume = {381},
 year = {2007}
}

@article{essex2007broken,
 author = {Essex, Christopher and Ilie, Silvana and Corless, Robert M},
 journal = {Journal of Geophysical Research: Atmospheres},
 publisher = {Wiley Online Library},
 title = {Broken symmetry and long-term forecasting},
 volume = {112},
 year = {2007}
}

@inbook{MorenoMaza2007,
 author = {Moreno Maza, Marc
and Reid, Greg J.
and Scott, Robin
and Wu, Wenyuan},
 booktitle = {Symbolic-Numeric Computation},
 doi = {10.1007/978-3-7643-7984-1_17},
 editor = {Wang, Dongming
and Zhi, Lihong},
 pages = {279--298},
 publisher = {Birkh{\"a}user Basel},
 title = {On Approximate Linearized Triangular Decompositions},
 url = {http://dx.doi.org/10.1007/978-3-7643-7984-1_17},
 year = {2007}
}

@incollection{Corless2007-100,
 author = {Corless, Robert M. and Rezvani, N.},
 booktitle = {Proceedings of the 2007 International Workshop on Symbolic-Numeric Computation},
 pages = {199-200},
 title = {The nearest polynomial of lower degree},
 url = {https://doi.org/10.1145/1277500.1277530},
 year = {2007}
}

@incollection{Corless2007-111,
 author = {Zhao, Jichao
and Corless, Robert M.
and Davison, Matt},
 booktitle = {Symbolic-Numeric Computation},
 editor = {Wang, Dongming and Zhi, Lihong},
 pages = {361--374},
 publisher = {Birkh{\"a}user},
 title = {Financial Applications of Symbolically Generated Compact Finite Difference Formulae},
 url = {https://doi.org/10.1007/978-3-7643-7984-1_22},
 year = {2007}
}

@incollection{Corless2007-112,
 author = {Corless, Robert M.},
 booktitle = {Symbolic-Numeric Computation},
 doi = {10.1007/978-3-7643-7984-1_1},
 editor = {Wang, Dongming and Zhi, Lihong},
 pages = {1--15},
 publisher = {Birkh\"auser Basel},
 title = {On a Generalized Companion Matrix Pencil for Matrix
Polynomials Expressed in the {L}agrange Basis},
 url = {https://doi.org/10.1007/978-3-7643-7984-1_1},
 year = {2007}
}

@incollection{MR2402285,
 author = {Wu, Wenyuan and Reid, Greg},
 booktitle = {I{SSAC} 2007},
 doi = {10.1145/1277548.1277599},
 pages = {377--385},
 publisher = {ACM, New York},
 title = {Symbolic-numeric computation of implicit {R}equier bases for
{PDE}},
 url = {https://doi.org/10.1145/1277548.1277599},
 year = {2007}
}

@incollection{MR2428453,
 author = {Moreno Maza, Marc and Reid, Greg J. and Scott, Robin and Wu,
Wenyuan},
 booktitle = {Symbolic-numeric computation},
 doi = {10.1007/978-3-7643-7984-1_17},
 pages = {279--298},
 publisher = {Birkh\"{a}user, Basel},
 title = {On approximate linearized triangular decompositions},
 url = {https://doi.org/10.1007/978-3-7643-7984-1_17},
 year = {2007}
}

@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\"{a}user, Basel},
 title = {Symbolic computation sequences and numerical analytic geometry
applied to multibody dynamical systems},
 url = {https://doi.org/10.1007/978-3-7643-7984-1_20},
 year = {2007}
}

@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/casc/ChenGLMP07,
 author = {Changbo Chen and
Oleg Golubitsky and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Wei Pan},
 booktitle = {Computer Algebra in Scientific Computing, 10th International Workshop,
{CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
 doi = {10.1007/978-3-540-75187-8_7},
 editor = {Victor G. Ganzha and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {73--101},
 publisher = {Springer},
 title = {Comprehensive Triangular Decomposition},
 url = {https://doi.org/10.1007/978-3-540-75187-8_7},
 volume = {4770},
 year = {2007}
}

@inproceedings{DBLP:conf/iccS/ChenLMPX07,
 author = {Changbo Chen and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Wei Pan and
Yuzhen Xie},
 booktitle = {Computational Science - {ICCS} 2007, 7th International Conference,
Beijing, China, May 27 - 30, 2007, Proceedings, Part {II}},
 doi = {10.1007/978-3-540-72586-2_38},
 editor = {Yong Shi and
G. Dick van Albada and
Jack J. Dongarra and
Peter M. A. Sloot},
 pages = {268--271},
 publisher = {Springer},
 title = {Efficient Computations of Irredundant Triangular Decompositions with
the RegularChains Library},
 url = {https://doi.org/10.1007/978-3-540-72586-2_38},
 volume = {4488},
 year = {2007}
}

@inproceedings{DBLP:conf/iccS/LiMS07,
 author = {Xin Li and
Marc Moreno Maza and
{\'{E}}ric Schost},
 booktitle = {Computational Science - {ICCS} 2007, 7th International Conference,
Beijing, China, May 27 - 30, 2007, Proceedings, Part {II}},
 doi = {10.1007/978-3-540-72586-2_35},
 editor = {Yong Shi and
G. Dick van Albada and
Jack J. Dongarra and
Peter M. A. Sloot},
 pages = {251--258},
 publisher = {Springer},
 title = {On the Virtues of Generic Programming for Symbolic Computation},
 url = {https://doi.org/10.1007/978-3-540-72586-2_35},
 volume = {4488},
 year = {2007}
}

@inproceedings{DBLP:conf/issac/AruliahCGS07a,
 author = {Dhavide A. Aruliah and
Robert M. Corless and
Laureano Gonz{\'{a}}lez{-}Vega and
Azar Shakoori},
 booktitle = {Symbolic-Numeric Computation, {SNC} 2007, International Workshop,
25-27 July 2007, University of Western Ontario, London, Ontario, Canada},
 editor = {Stephen M. Watt and
Jan Verschelde},
 pages = {197--198},
 publisher = {{ACM}},
 title = {Companion matrix pencils for hermite interpolants},
 url = {https://dl.acm.org/citation.cfm?id=1277529},
 year = {2007}
}

@inproceedings{DBLP:conf/issac/AruliahCGS07,
 author = {Dhavide A. Aruliah and
Robert M. Corless and
Laureano Gonz{\'{a}}lez{-}Vega and
Azar Shakoori},
 booktitle = {Symbolic-Numeric Computation, {SNC} 2007, International Workshop,
25-27 July 2007, University of Western Ontario, London, Ontario, Canada},
 editor = {Stephen M. Watt and
Jan Verschelde},
 pages = {55--64},
 publisher = {{ACM}},
 title = {Geometric applications of the Bezout matrix in the Lagrange basis},
 url = {https://dl.acm.org/citation.cfm?id=1277511},
 year = {2007}
}

@inproceedings{DBLP:conf/issac/AruliahCSGR07,
 author = {Dhavide A. Aruliah and
Robert M. Corless and
Azar Shakoori and
Laureano Gonz{\'{a}}lez{-}Vega and
Ignacio F. R{\'{u}}a},
 booktitle = {Symbolic-Numeric Computation, {SNC} 2007, International Workshop,
25-27 July 2007, University of Western Ontario, London, Ontario, Canada},
 editor = {Stephen M. Watt and
Jan Verschelde},
 pages = {46--54},
 publisher = {{ACM}},
 title = {Computing the topology of a real algebraic plane curve whose equation
is not directly available},
 url = {https://dl.acm.org/citation.cfm?id=1277510},
 year = {2007}
}

@inproceedings{DBLP:conf/issac/CorlessA07,
 author = {Robert M. Corless and
Dawit Assefa},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
 doi = {10.1145/1277548.1277564},
 editor = {Dongming Wang},
 pages = {108--115},
 publisher = {{ACM}},
 title = {Jeffery-hamel flow with maple: : a case study of integration of elliptic
functions in a cas},
 url = {https://doi.org/10.1145/1277548.1277564},
 year = {2007}
}

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

@inproceedings{DBLP:conf/issac/CorlessR07,
 author = {Robert M. Corless and
Nargol Rezvani},
 booktitle = {Symbolic-Numeric Computation, {SNC} 2007, International Workshop,
25-27 July 2007, University of Western Ontario, London, Ontario, Canada},
 editor = {Stephen M. Watt and
Jan Verschelde},
 pages = {199--200},
 publisher = {{ACM}},
 title = {The nearest polynomial of lower degree},
 url = {https://dl.acm.org/citation.cfm?id=1277530},
 year = {2007}
}

@inproceedings{DBLP:conf/issac/LiM07,
 author = {Xin Li and
Marc Moreno Maza},
 booktitle = {Parallel Symbolic Computation, {PASCO} 2007, International Workshop,
27-28 July 2007, University of Western Ontario, London, Ontario, Canada},
 doi = {10.1145/1278177.1278187},
 editor = {Marc Moreno Maza and
Stephen M. Watt},
 pages = {53--59},
 publisher = {{ACM}},
 title = {Multithreaded parallel implementation of arithmetic operations modulo
a triangular set},
 url = {https://doi.org/10.1145/1278177.1278187},
 year = {2007}
}

@inproceedings{DBLP:conf/issac/LiMS07,
 author = {Xin Li and
Marc Moreno Maza and
{\'{E}}ric Schost},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
 doi = {10.1145/1277548.1277585},
 editor = {Dongming Wang},
 pages = {269--276},
 publisher = {{ACM}},
 title = {Fast arithmetic for triangular sets: from theory to practice},
 url = {https://doi.org/10.1145/1277548.1277585},
 year = {2007}
}

@inproceedings{DBLP:conf/issac/MazaSWX07,
 author = {Marc Moreno Maza and
Ben Stephenson and
Stephen M. Watt and
Yuzhen Xie},
 booktitle = {Parallel Symbolic Computation, {PASCO} 2007, International Workshop,
27-28 July 2007, University of Western Ontario, London, Ontario, Canada},
 doi = {10.1145/1278177.1278188},
 editor = {Marc Moreno Maza and
Stephen M. Watt},
 pages = {60--68},
 publisher = {{ACM}},
 title = {Multiprocessed parallelism support in {ALDOR} on SMPs and multicores},
 url = {https://doi.org/10.1145/1278177.1278188},
 year = {2007}
}