@article{DBLP:journals/corr/GiesbrechtHK17,
 author = {Mark Giesbrecht and
Joseph Haraldson and
Erich Kaltofen},
 journal = {CoRR},
 title = {Computing Approximate Greatest Common Right Divisors of Differential
Polynomials},
 url = {http://arxiv.org/abs/1701.01994},
 volume = {abs/1701.01994},
 year = {2017}
}

@article{DBLP:journals/corr/PernetS17,
 author = {Cl{\'{e}}ment Pernet and
Arne Storjohann},
 journal = {CoRR},
 title = {Time and space efficient generators for quasiseparable matrices},
 url = {http://arxiv.org/abs/1701.00396},
 volume = {abs/1701.00396},
 year = {2017}
}

@article{DBLP:journals/jacm/DinS17,
 author = {Mohab Safey El Din and
{\'{E}}ric Schost},
 doi = {10.1145/2996450},
 journal = {J. {ACM}},
 pages = {48:1--48:37},
 title = {A Nearly Optimal Algorithm for Deciding Connectivity Queries in Smooth
and Bounded Real Algebraic Sets},
 url = {http://doi.acm.org/10.1145/2996450},
 volume = {63},
 year = {2017}
}

@article{DBLP:journals/jar/ZulkoskiBHKCG17,
 author = {Edward Zulkoski and
Curtis Bright and
Albert Heinle and
Ilias S. Kotsireas and
Krzysztof Czarnecki and
Vijay Ganesh},
 doi = {10.1007/s10817-016-9396-y},
 journal = {J. Autom. Reasoning},
 pages = {313--339},
 title = {Combining {SAT} Solvers with Computer Algebra Systems to Verify Combinatorial
Conjectures},
 url = {http://dx.doi.org/10.1007/s10817-016-9396-y},
 volume = {58},
 year = {2017}
}

@article{DBLP:journals/corr/BostanCS16,
 author = {Alin Bostan and
Xavier Caruso and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {Computation of the Similarity Class of the p-Curvature},
 url = {http://arxiv.org/abs/1605.06126},
 volume = {abs/1605.06126},
 year = {2016}
}

@article{DBLP:journals/corr/ChenCMM0X16,
 author = {Changbo Chen and
Svyatoslav Covanov and
Farnam Mansouri and
Marc {Moreno Maza} and
Ning Xie and
Yuzhen Xie},
 journal = {CoRR},
 title = {Parallel Integer Polynomial Multiplication},
 url = {http://arxiv.org/abs/1612.05778},
 volume = {abs/1612.05778},
 year = {2016}
}

@article{DBLP:journals/corr/ChenHLW16,
 author = {Shaoshi Chen and
Qing{-}Hu Hou and
George Labahn and
Rong{-}Hua Wang},
 journal = {CoRR},
 title = {Existence Problem of Telescopers: Beyond the Bivariate Case},
 url = {http://arxiv.org/abs/1601.03080},
 volume = {abs/1601.03080},
 year = {2016}
}

@article{DBLP:journals/corr/DinS16a,
 author = {Mohab Safey El Din and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {Bit complexity for multi-homogeneous polynomial system solving Application
to polynomial minimization},
 url = {http://arxiv.org/abs/1605.07433},
 volume = {abs/1605.07433},
 year = {2016}
}

@article{DBLP:journals/corr/FominGNS16,
 author = {Sergey Fomin and
Dima Grigoriev and
Dorian Nogneng and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {On semiring complexity of Schur polynomials},
 url = {http://arxiv.org/abs/1608.05043},
 volume = {abs/1608.05043},
 year = {2016}
}

@article{DBLP:journals/corr/JeannerodNSV16,
 author = {Claude{-}Pierre Jeannerod and
Vincent Neiger and
{\'{E}}ric Schost and
Gilles Villard},
 journal = {CoRR},
 title = {Fast computation of minimal interpolation bases in Popov form for
arbitrary shifts},
 url = {http://arxiv.org/abs/1602.00651},
 volume = {abs/1602.00651},
 year = {2016}
}

@article{DBLP:journals/corr/LabahnNZ16,
 author = {George Labahn and
Vincent Neiger and
Wei Zhou},
 journal = {CoRR},
 title = {Fast, deterministic computation of the Hermite normal form and determinant
of a polynomial matrix},
 url = {http://arxiv.org/abs/1607.04176},
 volume = {abs/1607.04176},
 year = {2016}
}

@article{DBLP:journals/corr/LabahnZ16,
 author = {George Labahn and
Wei Zhou},
 journal = {CoRR},
 title = {A fast, deterministic algorithm for computing a Hermite Normal Form
of a polynomial matrix},
 url = {http://arxiv.org/abs/1602.02049},
 volume = {abs/1602.02049},
 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/corr/MorozS16,
 author = {Guillaume Moroz and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {A Fast Algorithm for Computing the Truncated Resultant},
 url = {http://arxiv.org/abs/1609.04259},
 volume = {abs/1609.04259},
 year = {2016}
}

@article{DBLP:journals/corr/NielsenS16,
 author = {Johan S. R. Nielsen and
Arne Storjohann},
 journal = {CoRR},
 title = {Algorithms for Simultaneous Pad{\'{e}} Approximations},
 url = {http://arxiv.org/abs/1602.00836},
 volume = {abs/1602.00836},
 year = {2016}
}

@article{DBLP:journals/focm/SchostS16,
 author = {{\'{E}}ric Schost and
Pierre{-}Jean Spaenlehauer},
 doi = {10.1007/s10208-015-9256-x},
 journal = {Foundations of Computational Mathematics},
 pages = {457--492},
 title = {A Quadratically Convergent Algorithm for Structured Low-Rank Approximation},
 url = {http://dx.doi.org/10.1007/s10208-015-9256-x},
 volume = {16},
 year = {2016}
}

@article{DBLP:journals/jc/MehrabiS16,
 author = {Esmaeil Mehrabi and
{\'{E}}ric Schost},
 doi = {10.1016/j.jco.2015.11.009},
 journal = {J. Complexity},
 pages = {78--128},
 title = {A softly optimal Monte Carlo algorithm for solving bivariate polynomial
systems over the integers},
 url = {http://dx.doi.org/10.1016/j.jco.2015.11.009},
 volume = {34},
 year = {2016}
}

@article{DBLP:journals/jsc/ArnoldGR16,
 author = {Andrew Arnold and
Mark Giesbrecht and
Daniel S. Roche},
 doi = {10.1016/j.jsc.2015.11.005},
 journal = {J. Symb. Comput.},
 pages = {4--24},
 title = {Faster sparse multivariate polynomial interpolation of straight-line
programs},
 url = {http://dx.doi.org/10.1016/j.jsc.2015.11.005},
 volume = {75},
 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 = {http://dx.doi.org/10.1016/j.jsc.2015.11.008},
 volume = {75},
 year = {2016}
}

@article{DBLP:journals/jsc/GiesbrechtHL16,
 author = {Mark Giesbrecht and
Albert Heinle and
Viktor Levandovskyy},
 doi = {10.1016/j.jsc.2015.11.011},
 journal = {J. Symb. Comput.},
 pages = {127--148},
 title = {Factoring linear partial differential operators in n variables},
 url = {http://dx.doi.org/10.1016/j.jsc.2015.11.011},
 volume = {75},
 year = {2016}
}

@article{DBLP:journals/jsc/LebretonS16,
 author = {Romain Lebreton and
{\'{E}}ric Schost},
 doi = {10.1016/j.jsc.2015.03.001},
 journal = {J. Symb. Comput.},
 pages = {231--251},
 title = {A simple and fast online power series multiplication and its analysis},
 url = {http://dx.doi.org/10.1016/j.jsc.2015.03.001},
 volume = {72},
 year = {2016}
}

@article{DBLP:journals/moc/HubertL16,
 author = {Evelyne Hubert and
George Labahn},
 doi = {10.1090/mcom/3076},
 journal = {Math. Comput.},
 pages = {3029--3050},
 title = {Computation of invariants of finite abelian groups},
 url = {http://dx.doi.org/10.1090/mcom/3076},
 volume = {85},
 year = {2016}
}

@article{DBLP:journals/ol/SouravliasPK16,
 author = {Dimitris Souravlias and
Konstantinos E. Parsopoulos and
Ilias S. Kotsireas},
 doi = {10.1007/s11590-015-0927-y},
 journal = {Optimization Letters},
 pages = {1303--1314},
 title = {Circulant weighing matrices: a demanding challenge for parallel optimization
metaheuristics},
 url = {http://dx.doi.org/10.1007/s11590-015-0927-y},
 volume = {10},
 year = {2016}
}

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

@article{MR3478182,
 author = {Hadjidimos, Apostolos and Kotsireas, Ilias S. and Noutsos, Dimitrios and Vrahatis, Michael N.},
 doi = {10.1016/j.apnum.2016.02.004},
 journal = {Appl. Numer. Math.},
 pages = {1--2},
 title = {Preface [{S}pecial issue: {N}um{A}n 2012]},
 url = {http://dx.doi.org/10.1016/j.apnum.2016.02.004},
 volume = {104},
 year = {2016}
}

@article{MR3478189,
 author = {Akrivis, Georgios D. and Dougalis, Vassilios A. and
Gallopoulos, Efstratios and Hadjidimos, Apostolos and
Kotsireas, Ilias S. and Noutsos, Dimitrios and Saridakis, Yiannis G. and Vrahatis, Michael N.},
 doi = {10.1016/j.apnum.2016.02.005},
 journal = {Appl. Numer. Math.},
 pages = {99--102},
 title = {Preface [{S}pecial issue: {N}um{A}n 2014]},
 url = {http://dx.doi.org/10.1016/j.apnum.2016.02.005},
 volume = {104},
 year = {2016}
}

@article{MR3497495,
 author = {Corless, Robert M.},
 journal = {SIAM Rev.},
 pages = {159--163},
 title = {{\it {A}pproximation theory and approximation practice}. [book
review of {MR}3012510]},
 volume = {58},
 year = {2016}
}

@article{MR3540960,
 author = {De Feo, Luca and Hugounenq, Cyril and Pl\^ut, J\'er\^ome and Schost, \'Eric},
 doi = {10.1112/S146115701600036X},
 journal = {LMS J. Comput. Math.},
 pages = {267--282},
 title = {Explicit isogenies in quadratic time in any characteristic},
 url = {http://dx.doi.org/10.1112/S146115701600036X},
 volume = {19},
 year = {2016}
}

@article{MR3555187,
 author = {\Dbar okovi\'c, Dragomir \v Z. and Kotsireas, Ilias S.},
 doi = {10.1515/spma-2016-0029},
 journal = {Spec. Matrices},
 pages = {317--325},
 title = {A class of cyclic {$(v; k_1, k_2, k_3;\lambda)$} difference
families with {$v\equiv 3\pmod 4$} a prime},
 url = {http://dx.doi.org/10.1515/spma-2016-0029},
 volume = {4},
 year = {2016}
}

@article{MR3562419,
 author = {Haranas, Ioannis and Kotsireas, Ilias and G\'omez, Guillem and
Fullana, M\`arius J. and Gkigkitzis, Ioannis},
 doi = {10.1007/s10509-016-2946-2},
 journal = {Astrophys. Space Sci.},
 pages = {Paper No. 365, 12},
 title = {Yukawa effects on the mean motion of an orbiting body},
 url = {http://dx.doi.org/10.1007/s10509-016-2946-2},
 volume = {361},
 year = {2016}
}

@article{MR3572094,
 author = {Alvandi, Parisa and Kazemi, Mahsa and Moreno Maza, Marc},
 journal = {ACM Commun. Comput. Algebra},
 pages = {93--96},
 title = {Computing limits with the {\ssf {R}egular{C}hains} and {\ssf
{P}ower{S}eries} libraries: from rational functions to
{Z}ariski closure},
 volume = {50},
 year = {2016}
}

@article{MR3572095,
 author = {Chen, Changbo and Covanov, Svyatoslav and Mansouri, Farnam and
Moir, Robert H. C. and Moreno Maza, Marc and Xie, Ning and
Xie, Yuzhen},
 journal = {ACM Commun. Comput. Algebra},
 pages = {97--100},
 title = {The {B}asic {P}olynomial {A}lgebra {S}ubprograms},
 volume = {50},
 year = {2016}
}

@incollection{MR3533794,
 author = {Kotsireas, Ilias S. and Pardalos, Panos M. and Parsopoulos, Konstantinos E. and Souravlias, Dimitris},
 booktitle = {Experimental algorithms},
 doi = {10.1007/978-3-319-38851-9_13},
 pages = {184--200},
 publisher = {Springer, [Cham]},
 title = {On the solution of circulant weighing matrices problems using
algorithm portfolios on multi-core processors},
 url = {http://dx.doi.org/10.1007/978-3-319-38851-9_13},
 volume = {9685},
 year = {2016}
}

@inproceedings{DBLP:conf/casc/BrightGHKNC16,
 author = {Curtis Bright and
Vijay Ganesh and
Albert Heinle and
Ilias S. Kotsireas and
Saeed Nejati and
Krzysztof Czarnecki},
 booktitle = {Computer Algebra in Scientific Computing - 18th International Workshop, {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
 doi = {10.1007/978-3-319-45641-6_9},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {117--133},
 publisher = {Springer},
 title = {MathCheck2: {A} {SAT+CAS} Verifier for Combinatorial Conjectures},
 url = {http://dx.doi.org/10.1007/978-3-319-45641-6_9},
 volume = {9890},
 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 = {http://doi.acm.org/10.1145/2930889.2930938},
 year = {2016}
}

@inproceedings{DBLP:conf/issac/BostanCS16,
 author = {Alin Bostan and
Xavier Caruso and
{\'{E}}ric Schost},
 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.2930897},
 editor = {Sergei A. Abramov and
Eugene V. Zima and
Xiao{-}Shan Gao},
 pages = {111--118},
 publisher = {ACM},
 title = {Computation of the Similarity Class of the p-Curvature},
 url = {http://doi.acm.org/10.1145/2930889.2930897},
 year = {2016}
}

@inproceedings{DBLP:conf/issac/ChenHLW16,
 author = {Shaoshi Chen and
Qing{-}Hu Hou and
George Labahn and
Rong{-}Hua Wang},
 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.2930895},
 editor = {Sergei A. Abramov and
Eugene V. Zima and
Xiao{-}Shan Gao},
 pages = {167--174},
 publisher = {ACM},
 title = {Existence Problem of Telescopers: Beyond the Bivariate Case},
 url = {http://doi.acm.org/10.1145/2930889.2930895},
 year = {2016}
}

@inproceedings{DBLP:conf/issac/JeannerodNSV16,
 author = {Claude{-}Pierre Jeannerod and
Vincent Neiger and
{\'{E}}ric Schost and
Gilles Villard},
 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.2930928},
 editor = {Sergei A. Abramov and
Eugene V. Zima and
Xiao{-}Shan Gao},
 pages = {295--302},
 publisher = {ACM},
 title = {Fast Computation of Minimal Interpolation Bases in Popov Form for
Arbitrary Shifts},
 url = {http://doi.acm.org/10.1145/2930889.2930928},
 year = {2016}
}

@inproceedings{DBLP:conf/issac/MorozS16,
 author = {Guillaume Moroz and
{\'{E}}ric Schost},
 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.2930931},
 editor = {Sergei A. Abramov and
Eugene V. Zima and
Xiao{-}Shan Gao},
 pages = {341--348},
 publisher = {ACM},
 title = {A Fast Algorithm for Computing the Truncated Resultant},
 url = {http://doi.acm.org/10.1145/2930889.2930931},
 year = {2016}
}

@inproceedings{DBLP:conf/issac/RosenkildeS16,
 author = {Johan Sebastian Rosenkilde and
Arne Storjohann},
 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.2930933},
 editor = {Sergei A. Abramov and
Eugene V. Zima and
Xiao{-}Shan Gao},
 pages = {405--412},
 publisher = {ACM},
 title = {Algorithms for Simultaneous Pad{\'{e}} Approximations},
 url = {http://doi.acm.org/10.1145/2930889.2930933},
 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} Computer Society},
 title = {Parallel Integer Polynomial Multiplication},
 url = {http://dx.doi.org/10.1109/SYNASC.2016.024},
 year = {2016}
}

@inproceedings{DBLP:conf/synasc/ChenW16,
 author = {Shaoshi Chen and
Stephen M. Watt},
 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.022},
 editor = {James H. Davenport and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {60--64},
 publisher = {{IEEE} Computer Society},
 title = {Combinatorics of Hybrid Sets},
 url = {http://dx.doi.org/10.1109/SYNASC.2016.022},
 year = {2016}
}

@inproceedings{DBLP:conf/synasc/Watt16,
 author = {Stephen M. Watt},
 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.019},
 editor = {James H. Davenport and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {37--40},
 publisher = {{IEEE} Computer Society},
 title = {How to Build a Global Digital Mathematics Library},
 url = {http://dx.doi.org/10.1109/SYNASC.2016.019},
 year = {2016}
}

@proceedings{DBLP:conf/macis/2015,
 doi = {10.1007/978-3-319-32859-1},
 editor = {Ilias S. Kotsireas and
Siegfried M. Rump and
Chee K. Yap},
 publisher = {Springer},
 title = {Mathematical Aspects of Computer and Information Sciences - 6th International
Conference, {MACIS} 2015, Berlin, Germany, November 11-13, 2015, Revised
Selected Papers},
 url = {http://dx.doi.org/10.1007/978-3-319-32859-1},
 volume = {9582},
 year = {2016}
}

@proceedings{DBLP:conf/synasc/2016,
 editor = {James H. Davenport and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 publisher = {{IEEE} Computer Society},
 title = {18th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September
24-27, 2016},
 url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7827704},
 year = {2016}
}

@article{DBLP:journals/cc/Storjohann15,
 author = {Arne Storjohann},
 doi = {10.1007/s00037-015-0106-7},
 journal = {Computational Complexity},
 pages = {777--821},
 title = {On the complexity of inverting integer and polynomial matrices},
 url = {http://dx.doi.org/10.1007/s00037-015-0106-7},
 volume = {24},
 year = {2015}
}

@article{DBLP:journals/corr/BostanCS15,
 author = {Alin Bostan and
Xavier Caruso and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {A Fast Algorithm for Computing the p-Curvature},
 url = {http://arxiv.org/abs/1506.05645},
 volume = {abs/1506.05645},
 year = {2015}
}

@article{DBLP:journals/corr/JeannerodNSV15,
 author = {Claude{-}Pierre Jeannerod and
Vincent Neiger and
{\'{E}}ric Schost and
Gilles Villard},
 journal = {CoRR},
 title = {Computing minimal interpolation bases},
 url = {http://arxiv.org/abs/1512.03503},
 volume = {abs/1512.03503},
 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/dagstuhl-reports/CuytLSL15,
 author = {Annie A. M. Cuyt and
George Labahn and
Avraham Sidi and
Wen{-}shin Lee},
 doi = {10.4230/DagRep.5.6.48},
 journal = {Dagstuhl Reports},
 pages = {48--69},
 title = {Sparse modelling and multi-exponential analysis (Dagstuhl Seminar
15251)},
 url = {http://dx.doi.org/10.4230/DagRep.5.6.48},
 volume = {5},
 year = {2015}
}

@article{DBLP:journals/dam/DokovicKRS15,
 author = {Dragomir Z. Dokovic and
Ilias S. Kotsireas and
Daniel Recoskie and
Joe Sawada},
 doi = {10.1016/j.dam.2015.03.001},
 journal = {Discrete Applied Mathematics},
 pages = {32--40},
 title = {Charm bracelets and their application to the construction of periodic
Golay pairs},
 url = {http://dx.doi.org/10.1016/j.dam.2015.03.001},
 volume = {188},
 year = {2015}
}

@article{DBLP:journals/dcc/DokovicK15,
 author = {Dragomir Z. Dokovic and
Ilias S. Kotsireas},
 doi = {10.1007/s10623-013-9862-z},
 journal = {Des. Codes Cryptography},
 pages = {365--377},
 title = {Compression of periodic complementary sequences and applications},
 url = {http://dx.doi.org/10.1007/s10623-013-9862-z},
 volume = {74},
 year = {2015}
}

@article{DBLP:journals/dcc/DoliskaniS15,
 author = {Javad Doliskani and
{\'{E}}ric Schost},
 doi = {10.1007/s10623-013-9875-7},
 journal = {Des. Codes Cryptography},
 pages = {559--569},
 title = {Computing in degree 2\({}^{\mbox{k}}\)-extensions of finite fields
of odd characteristic},
 url = {http://dx.doi.org/10.1007/s10623-013-9875-7},
 volume = {74},
 year = {2015}
}

@article{DBLP:journals/dcc/KotsireasM15,
 author = {Ilias S. Kotsireas and
Edgar Mart{\'{\i}}nez{-}Moro},
 doi = {10.1007/s10623-015-0041-2},
 journal = {Des. Codes Cryptography},
 pages = {1--2},
 title = {Foreword: Computer Algebra in Coding Theory and Cryptography},
 url = {http://dx.doi.org/10.1007/s10623-015-0041-2},
 volume = {76},
 year = {2015}
}

@article{DBLP:journals/jc/ZhouLS15,
 author = {Wei Zhou and
George Labahn and
Arne Storjohann},
 doi = {10.1016/j.jco.2014.09.004},
 journal = {J. Complexity},
 pages = {162--173},
 title = {A deterministic algorithm for inverting a polynomial matrix},
 url = {http://dx.doi.org/10.1016/j.jco.2014.09.004},
 volume = {31},
 year = {2015}
}

@article{DBLP:journals/na/DokovicK15,
 author = {Dragomir Z. Dokovic and
Ilias S. Kotsireas},
 doi = {10.1007/s11075-014-9910-4},
 journal = {Numerical Algorithms},
 pages = {523--530},
 title = {Some new periodic Golay pairs},
 url = {http://dx.doi.org/10.1007/s11075-014-9910-4},
 volume = {69},
 year = {2015}
}

@article{DBLP:journals/pr/MacLeanL15,
 author = {Scott MacLean and
George Labahn},
 doi = {10.1016/j.patcog.2015.02.017},
 journal = {Pattern Recognition},
 pages = {2433--2445},
 title = {A Bayesian model for recognizing handwritten mathematical expressions},
 url = {http://dx.doi.org/10.1016/j.patcog.2015.02.017},
 volume = {48},
 year = {2015}
}

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

@article{DBLP:journals/tit/ChowdhuryJNSV15,
 author = {Muhammad F. I. Chowdhury and
Claude{-}Pierre Jeannerod and
Vincent Neiger and
{\'{E}}ric Schost and
Gilles Villard},
 doi = {10.1109/TIT.2015.2416068},
 journal = {{IEEE} Trans. Information Theory},
 pages = {2370--2387},
 title = {Faster Algorithms for Multivariate Interpolation With Multiplicities
and Simultaneous Polynomial Approximations},
 url = {http://dx.doi.org/10.1109/TIT.2015.2416068},
 volume = {61},
 year = {2015}
}

@article{MR3315296,
 author = {Bergen, Jeffrey and Giesbrecht, Mark and Shivakumar, Pappur N.
and Zhang, Yang},
 doi = {10.1186/s13662-015-0402-1},
 journal = {Adv. Difference Equ.},
 pages = {2015:57, 6},
 title = {Factorizations for difference operators},
 url = {http://dx.doi.org/10.1186/s13662-015-0402-1},
 year = {2015}
}

@article{MR3324592,
 author = {Aruliah, D. A. and Corless, R. M. and Diaz-Toca, G. M. and
Gonzalez-Vega, L. and Shakoori, A.},
 doi = {10.1016/j.laa.2015.02.001},
 journal = {Linear Algebra Appl.},
 pages = {12--29},
 title = {The {B}\'ezout matrix for {H}ermite interpolants},
 url = {http://dx.doi.org/10.1016/j.laa.2015.02.001},
 volume = {474},
 year = {2015}
}

@article{MR3349660,
 author = {Elsheikh, Mustafa and Giesbrecht, Mark},
 doi = {10.1016/j.laa.2015.05.001},
 journal = {Linear Algebra Appl.},
 pages = {330--349},
 title = {Relating {$p$}-adic eigenvalues and the local {S}mith normal
form},
 url = {http://dx.doi.org/10.1016/j.laa.2015.05.001},
 volume = {481},
 year = {2015}
}

@article{MR3406491,
 author = {Di Matteo, Olivia and \Dbar okovi\'c, Dragomir \v Z. and Kotsireas, Ilias S.},
 doi = {10.1515/spma-2015-0022},
 journal = {Spec. Matrices},
 pages = {227--234},
 title = {Symmetric {H}adamard matrices of order 116 and 172 exist},
 url = {http://dx.doi.org/10.1515/spma-2015-0022},
 volume = {3},
 year = {2015}
}

@article{MR3524675,
 author = {Corless, Robert M.},
 journal = {SIAM Rev.},
 pages = {634--636},
 title = {{\it {S}olving transcendental equations: the {C}hebyshev
polynomial proxy and other numerical rootfinders, perturbation
series, and oracles}. [book review of {MR}3243571]},
 volume = {57},
 year = {2015}
}

@incollection{MR3388273,
 author = {Schost, \'Eric},
 booktitle = {I{SSAC}'15---{P}roceedings of the 2015 {ACM} {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 pages = {7--12},
 publisher = {ACM, New York},
 title = {Algorithms for finite field arithmetic},
 year = {2015}
}

@incollection{MR3388284,
 author = {Bostan, Alin and Caruso, Xavier and Schost, \'Eric},
 booktitle = {I{SSAC}'15---{P}roceedings of the 2015 {ACM} {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 pages = {69--76},
 publisher = {ACM, New York},
 title = {A fast algorithm for computing the {$p$}-curvature},
 year = {2015}
}

@incollection{MR3388318,
 author = {Storjohann, Arne and Yang, Shiyun},
 booktitle = {I{SSAC}'15---{P}roceedings of the 2015 {ACM} {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 pages = {339--346},
 publisher = {ACM, New York},
 title = {A relaxed algorithm for online matrix inversion},
 year = {2015}
}

@incollection{MR3440528,
 author = {\Dbar okovi\'c, Dragomir \v Z. and Kotsireas, Ilias S.},
 booktitle = {Algebraic design theory and {H}adamard matrices},
 doi = {10.1007/978-3-319-17729-8_6},
 pages = {71--82},
 publisher = {Springer, Cham},
 title = {D-optimal matrices of orders 118, 138, 150, 154 and 174},
 url = {http://dx.doi.org/10.1007/978-3-319-17729-8_6},
 volume = {133},
 year = {2015}
}

@incollection{MR3440529,
 author = {\Dbar okovi\'c, Dragomir \v Z. and Kotsireas, Ilias S.},
 booktitle = {Algebraic design theory and {H}adamard matrices},
 doi = {10.1007/978-3-319-17729-8_7},
 pages = {83--92},
 publisher = {Springer, Cham},
 title = {Periodic {G}olay pairs of length 72},
 url = {http://dx.doi.org/10.1007/978-3-319-17729-8_7},
 volume = {133},
 year = {2015}
}

@incollection{MR3440536,
 author = {Kotsireas, Ilias S. and Seberry, Jennifer and Suharini, Yustina S.},
 booktitle = {Algebraic design theory and {H}adamard matrices},
 doi = {10.1007/978-3-319-17729-8_14},
 pages = {171--187},
 publisher = {Springer, Cham},
 title = {Inner product vectors for skew-{H}adamard matrices},
 url = {http://dx.doi.org/10.1007/978-3-319-17729-8_14},
 volume = {133},
 year = {2015}
}

@incollection{MR3447507,
 author = {Alvandi, Parisa and Chen, Changbo and Hashemi, Amir and Maza, Marc Moreno},
 booktitle = {Computer algebra in scientific computing},
 doi = {10.1007/978-3-319-24021-3_3},
 pages = {30--44},
 publisher = {Springer, Cham},
 title = {Regular chains under linear changes of coordinates and
applications},
 url = {http://dx.doi.org/10.1007/978-3-319-24021-3_3},
 volume = {9301},
 year = {2015}
}

@incollection{MR3447508,
 author = {Alvandi, Parisa and Maza, Marc Moreno and Schost, \'Eric and
Vrbik, Paul},
 booktitle = {Computer algebra in scientific computing},
 doi = {10.1007/978-3-319-24021-3_4},
 pages = {45--60},
 publisher = {Springer, Cham},
 title = {A standard basis free algorithm for computing the tangent
cones of a space curve},
 url = {http://dx.doi.org/10.1007/978-3-319-24021-3_4},
 volume = {9301},
 year = {2015}
}

@incollection{MR3447513,
 author = {Chen, Changbo and Maza, Marc Moreno},
 booktitle = {Computer algebra in scientific computing},
 doi = {10.1007/978-3-319-24021-3_9},
 pages = {119--134},
 publisher = {Springer, Cham},
 title = {Simplification of cylindrical algebraic formulas},
 url = {http://dx.doi.org/10.1007/978-3-319-24021-3_9},
 volume = {9301},
 year = {2015}
}

@incollection{MR3448133,
 author = {Kotsireas, Ilias and Kutsia, Temur and Simos, Dimitris E.},
 booktitle = {26th {I}nternational {C}onference on {R}ewriting {T}echniques
and {A}pplications},
 pages = {241--256},
 publisher = {Schloss Dagstuhl. Leibniz-Zent. Inform., Wadern},
 title = {Constructing orthogonal designs in powers of two: {G}r\"obner
bases meet equational unification},
 volume = {36},
 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/issac/BostanCS15,
 author = {Alin Bostan and
Xavier Caruso and
{\'{E}}ric Schost},
 booktitle = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2015, Bath, United Kingdom, July
06 - 09, 2015},
 doi = {10.1145/2755996.2756674},
 editor = {Kazuhiro Yokoyama and
Steve Linton and
Daniel Robertz},
 pages = {69--76},
 publisher = {ACM},
 title = {A Fast Algorithm for Computing the P-curvature},
 url = {http://doi.acm.org/10.1145/2755996.2756674},
 year = {2015}
}

@inproceedings{DBLP:conf/issac/Schost15,
 author = {{\'{E}}ric Schost},
 booktitle = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2015, Bath, United Kingdom, July
06 - 09, 2015},
 doi = {10.1145/2755996.2756637},
 editor = {Kazuhiro Yokoyama and
Steve Linton and
Daniel Robertz},
 pages = {7--12},
 publisher = {ACM},
 title = {Algorithms for Finite Field Arithmetic},
 url = {http://doi.acm.org/10.1145/2755996.2756637},
 year = {2015}
}

@inproceedings{DBLP:conf/issac/StorjohannY15,
 author = {Arne Storjohann and
Shiyun Yang},
 booktitle = {Proceedings of the 2015 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2015, Bath, United Kingdom, July
06 - 09, 2015},
 doi = {10.1145/2755996.2756672},
 editor = {Kazuhiro Yokoyama and
Steve Linton and
Daniel Robertz},
 pages = {339--346},
 publisher = {ACM},
 title = {A Relaxed Algorithm for Online Matrix Inversion},
 url = {http://doi.acm.org/10.1145/2755996.2756672},
 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 = {http://dx.doi.org/10.3233/978-1-61499-621-7-35},
 volume = {27},
 year = {2015}
}

@inproceedings{DBLP:conf/rta/KotsireasKS15,
 author = {Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
 booktitle = {26th International Conference on Rewriting Techniques and Applications, {RTA} 2015, June 29 to July 1, 2015, Warsaw, Poland},
 doi = {10.4230/LIPIcs.RTA.2015.241},
 editor = {Maribel Fern{\'{a}}ndez},
 pages = {241--256},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 title = {Constructing Orthogonal Designs in Powers of Two: Gr{\"{o}}bner Bases
Meet Equational Unification},
 url = {http://dx.doi.org/10.4230/LIPIcs.RTA.2015.241},
 volume = {36},
 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 = {http://dx.doi.org/10.1109/SYNASC.2015.18},
 year = {2015}
}

@proceedings{DBLP:conf/synasc/2015,
 editor = {Laura Kov{\'{a}}cs and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 publisher = {{IEEE} Computer Society},
 title = {17th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September
21-24, 2015},
 url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7425657},
 year = {2015}
}

@article{DBLP:journals/corr/ArnoldGR14a,
 author = {Andrew Arnold and
Mark Giesbrecht and
Daniel S. Roche},
 journal = {CoRR},
 title = {Faster Sparse Multivariate Polynomial Interpolation of Straight-Line
Programs},
 url = {http://arxiv.org/abs/1412.4088},
 volume = {abs/1412.4088},
 year = {2014}
}

@article{DBLP:journals/corr/ArnoldGR14,
 author = {Andrew Arnold and
Mark Giesbrecht and
Daniel S. Roche},
 journal = {CoRR},
 title = {Faster sparse polynomial interpolation of straight-line programs over
finite fields},
 url = {http://arxiv.org/abs/1401.4744},
 volume = {abs/1401.4744},
 year = {2014}
}

@article{DBLP:journals/corr/BostanCS14,
 author = {Alin Bostan and
Xavier Caruso and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {A fast algorithm for computing the characteristic polynomial of the
p-curvature},
 url = {http://arxiv.org/abs/1405.5341},
 volume = {abs/1405.5341},
 year = {2014}
}

@article{DBLP:journals/corr/BradfordCDEMW14,
 author = {Russell J. Bradford and
Changbo Chen and
James H. Davenport and
Matthew England and
Marc {Moreno Maza} and
David J. Wilson},
 journal = {CoRR},
 title = {Truth Table Invariant Cylindrical Algebraic Decomposition by Regular
Chains},
 url = {http://arxiv.org/abs/1401.6310},
 volume = {abs/1401.6310},
 year = {2014}
}

@article{DBLP:journals/corr/ChowdhuryJNSV14,
 author = {Muhammad F. I. Chowdhury and
Claude{-}Pierre Jeannerod and
Vincent Neiger and
{\'{E}}ric Schost and
Gilles Villard},
 journal = {CoRR},
 title = {Faster Algorithms for Multivariate Interpolation with Multiplicities
and Simultaneous Polynomial Approximations},
 url = {http://arxiv.org/abs/1402.0643},
 volume = {abs/1402.0643},
 year = {2014}
}

@article{DBLP:journals/corr/ElsheikhG14,
 author = {Mustafa Elsheikh and
Mark Giesbrecht},
 journal = {CoRR},
 title = {Relating {\textdollar}p{\textdollar}-Adic eigenvalues and the local
Smith normal form},
 url = {http://arxiv.org/abs/1401.1773},
 volume = {abs/1401.1773},
 year = {2014}
}

@article{DBLP:journals/corr/ElsheikhNG14,
 author = {Mustafa Elsheikh and
Andy Novocin and
Mark Giesbrecht},
 journal = {CoRR},
 title = {Ranks of Quotients, Remainders and {\textdollar}p{\textdollar}-Adic
Digits of Matrices},
 url = {http://arxiv.org/abs/1401.6667},
 volume = {abs/1401.6667},
 year = {2014}
}

@article{DBLP:journals/corr/EnglandBCDMW14,
 author = {Matthew England and
Russell J. Bradford and
Changbo Chen and
James H. Davenport and
Marc {Moreno Maza} and
David J. Wilson},
 journal = {CoRR},
 title = {Problem formulation for truth-table invariant cylindrical algebraic
decomposition by incremental triangular decomposition},
 url = {http://arxiv.org/abs/1404.6371},
 volume = {abs/1404.6371},
 year = {2014}
}

@article{DBLP:journals/corr/GiesbrechtH14,
 author = {Mark Giesbrecht and
Joseph Haraldson},
 journal = {CoRR},
 title = {Computing GCRDs of Approximate Differential Polynomials},
 url = {http://arxiv.org/abs/1406.0907},
 volume = {abs/1406.0907},
 year = {2014}
}

@article{DBLP:journals/corr/GiesbrechtHL14,
 author = {Mark Giesbrecht and
Albert Heinle and
Viktor Levandovskyy},
 journal = {CoRR},
 title = {Factoring Differential Operators in n Variables},
 url = {http://arxiv.org/abs/1404.0002},
 volume = {abs/1404.0002},
 year = {2014}
}

@article{DBLP:journals/corr/HaqueMX14,
 author = {Sardar Anisul Haque and
Marc {Moreno Maza} and
Ning Xie},
 journal = {CoRR},
 title = {A Many-core Machine Model for Designing Algorithms with Minimum Parallelism
Overheads},
 url = {http://arxiv.org/abs/1402.0264},
 volume = {abs/1402.0264},
 year = {2014}
}

@article{DBLP:journals/corr/MacLeanL14,
 author = {Scott MacLean and
George Labahn},
 journal = {CoRR},
 title = {A Bayesian model for recognizing handwritten mathematical expressions},
 url = {http://arxiv.org/abs/1409.5317},
 volume = {abs/1409.5317},
 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/corr/ZhouL14,
 author = {Wei Zhou and
George Labahn},
 journal = {CoRR},
 title = {Fast and deterministic computation of the determinant of a polynomial
matrix},
 url = {http://arxiv.org/abs/1409.5462},
 volume = {abs/1409.5462},
 year = {2014}
}

@article{DBLP:journals/focm/BasuRDS14,
 author = {Saugata Basu and
Marie{-}Fran{\c{c}}oise Roy and
Mohab Safey El Din and
{\'{E}}ric Schost},
 doi = {10.1007/s10208-014-9212-1},
 journal = {Foundations of Computational Mathematics},
 pages = {1117--1172},
 title = {A Baby Step-Giant Step Roadmap Algorithm for General Algebraic Sets},
 url = {http://dx.doi.org/10.1007/s10208-014-9212-1},
 volume = {14},
 year = {2014}
}

@article{DBLP:journals/jocs/KotsireasKMS14,
 author = {Ilias S. Kotsireas and
Lilia Krivodonova and
Sabine McConnell and
Erik Schnetter},
 doi = {10.1016/j.jocs.2014.04.009},
 journal = {J. Comput. Science},
 pages = {497--498},
 title = {High performance computing theory and applications - Proceedings of
{SHARCNET} Research Day 2012 (Guelph, Ontario)},
 url = {http://dx.doi.org/10.1016/j.jocs.2014.04.009},
 volume = {5},
 year = {2014}
}

@article{DBLP:journals/jscic/BabbinFL14,
 author = {Josh Babbin and
Peter A. Forsyth and
George Labahn},
 doi = {10.1007/s10915-013-9739-3},
 journal = {J. Sci. Comput.},
 pages = {409--430},
 title = {A Comparison of Iterated Optimal Stopping and Local Policy Iteration
for American Options Under Regime Switching},
 url = {http://dx.doi.org/10.1007/s10915-013-9739-3},
 volume = {58},
 year = {2014}
}

@article{DBLP:journals/moc/DoliskaniS14,
 author = {Javad Doliskani and
{\'{E}}ric Schost},
 doi = {10.1090/S0025-5718-2013-02715-9},
 journal = {Math. Comput.},
 pages = {435--446},
 title = {Taking roots over high extensions of finite fields},
 url = {http://dx.doi.org/10.1090/S0025-5718-2013-02715-9},
 volume = {83},
 year = {2014}
}

@article{DBLP:journals/na/LawrenceC14,
 author = {Piers W. Lawrence and
Robert M. Corless},
 doi = {10.1007/s11075-013-9770-3},
 journal = {Numerical Algorithms},
 pages = {447--464},
 title = {Stability of rootfinding for barycentric Lagrange interpolants},
 url = {http://dx.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} Journal of Applied Mathematics},
 pages = {599--619},
 title = {High-Accuracy Series Solution for Two-Dimensional Convection in a
Horizontal Concentric Cylinder},
 url = {http://dx.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 = {Synthese},
 pages = {1451--1467},
 title = {On the epistemological analysis of modeling and computational error
in the mathematical sciences},
 url = {http://dx.doi.org/10.1007/s11229-013-0339-4},
 volume = {191},
 year = {2014}
}

@article{MR3193950,
 author = {\Dbar okovi\'c, Dragomir \v Z. and Golubitsky, Oleg and Kotsireas, Ilias
S.},
 doi = {10.1002/jcd.21358},
 journal = {J. Combin. Des.},
 pages = {270--277},
 title = {Some new orders of {H}adamard and skew-{H}adamard matrices},
 url = {http://dx.doi.org/10.1002/jcd.21358},
 volume = {22},
 year = {2014}
}

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

@article{MR3235988,
 author = {Kotsireas, Ilias S.},
 journal = {CMS Notes},
 pages = {18--19},
 title = {A short introduction to {G}r\"obner bases},
 volume = {46},
 year = {2014}
}

@incollection{MR3239905,
 author = {Arnold, Andrew and Giesbrecht, Mark and Roche, Daniel S.},
 booktitle = {I{SSAC} 2014---{P}roceedings of the 39th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2608628.2608671},
 pages = {27--34},
 publisher = {ACM, New York},
 title = {Sparse interpolation over finite fields via low-order roots of
unity},
 url = {http://dx.doi.org/10.1145/2608628.2608671},
 year = {2014}
}

@incollection{MR3239909,
 author = {Bostan, Alin and Caruso, Xavier and Schost, \'Eric},
 booktitle = {I{SSAC} 2014---{P}roceedings of the 39th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2608628.2608650},
 pages = {59--66},
 publisher = {ACM, New York},
 title = {A fast algorithm for computing the characteristic polynomial
of the p-curvature},
 url = {http://dx.doi.org/10.1145/2608628.2608650},
 year = {2014}
}

@incollection{MR3239913,
 author = {Chen, Changbo and Moreno Maza, Marc},
 booktitle = {I{SSAC} 2014---{P}roceedings of the 39th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2608628.2608666},
 pages = {91--98},
 publisher = {ACM, New York},
 title = {Quantifier elimination by cylindrical algebraic decomposition
based on regular chains},
 url = {http://dx.doi.org/10.1145/2608628.2608666},
 year = {2014}
}

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

@incollection{MR3239917,
 author = {De Feo, Luca and Doliskani, Javad and Schost, \'Eric},
 booktitle = {I{SSAC} 2014---{P}roceedings of the 39th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2608628.2608672},
 pages = {122--129},
 publisher = {ACM, New York},
 title = {Fast arithmetic for the algebraic closure of finite fields},
 url = {http://dx.doi.org/10.1145/2608628.2608672},
 year = {2014}
}

@incollection{MR3239926,
 author = {Giesbrecht, Mark and Heinle, Albert and Levandovskyy, Viktor},
 booktitle = {I{SSAC} 2014---{P}roceedings of the 39th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2608628.2608667},
 pages = {194--201},
 publisher = {ACM, New York},
 title = {Factoring linear differential operators in {$n$} variables},
 url = {http://dx.doi.org/10.1145/2608628.2608667},
 year = {2014}
}

@incollection{MR3239950,
 author = {Storjohann, Arne and Yang, Shiyun},
 booktitle = {I{SSAC} 2014---{P}roceedings of the 39th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2608628.2608673},
 pages = {381--388},
 publisher = {ACM, New York},
 title = {Linear independence oracles and applications to rectangular
and low rank linear systems},
 url = {http://dx.doi.org/10.1145/2608628.2608673},
 year = {2014}
}

@incollection{MR3239954,
 author = {Zhou, Wei and Labahn, George},
 booktitle = {I{SSAC} 2014---{P}roceedings of the 39th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2608628.2608640},
 pages = {413--420},
 publisher = {ACM, New York},
 title = {Unimodular completion of polynomial matrices},
 url = {http://dx.doi.org/10.1145/2608628.2608640},
 year = {2014}
}

@incollection{MR3334799,
 author = {Chen, Changbo and Moreno Maza, Marc},
 booktitle = {Mathematical software---{ICMS} 2014},
 doi = {10.1007/978-3-662-44199-2_65},
 pages = {425--433},
 publisher = {Springer, Heidelberg},
 title = {Cylindrical algebraic decomposition in the {\tt
{R}egular{C}hains} library},
 url = {http://dx.doi.org/10.1007/978-3-662-44199-2_65},
 volume = {8592},
 year = {2014}
}

@incollection{MR3334801,
 author = {Corless, Robert M. and Thornton, Steven E.},
 booktitle = {Mathematical software---{ICMS} 2014},
 doi = {10.1007/978-3-662-44199-2_67},
 pages = {442--449},
 publisher = {Springer, Heidelberg},
 title = {A package for parametric matrix computations},
 url = {http://dx.doi.org/10.1007/978-3-662-44199-2_67},
 volume = {8592},
 year = {2014}
}

@incollection{MR3334805,
 author = {Alvandi, Parisa and Chen, Changbo and Marcus, Steffen and
Moreno Maza, Marc and Schost, Eric and Vrbik, Paul},
 booktitle = {Mathematical software---{ICMS} 2014},
 doi = {10.1007/978-3-662-44199-2_71},
 pages = {472--479},
 publisher = {Springer, Heidelberg},
 title = {Doing algebraic geometry with the {R}egular{C}hains library},
 url = {http://dx.doi.org/10.1007/978-3-662-44199-2_71},
 volume = {8592},
 year = {2014}
}

@incollection{MR3334810,
 author = {Chen, Changbo and Moreno Maza, Marc},
 booktitle = {Mathematical software---{ICMS} 2014},
 doi = {10.1007/978-3-662-44199-2_76},
 pages = {504--511},
 publisher = {Springer, Heidelberg},
 title = {Solving parametric polynomial systems by {\tt
{R}eal{C}omprehensive triangularize}},
 url = {http://dx.doi.org/10.1007/978-3-662-44199-2_76},
 volume = {8592},
 year = {2014}
}

@incollection{MR3334834,
 author = {Chen, Changbo and Covanov, Svyatoslav and Mansouri, Farnam and
Moreno Maza, Marc and Xie, Ning and Xie, Yuzhen},
 booktitle = {Mathematical software---{ICMS} 2014},
 doi = {10.1007/978-3-662-44199-2_100},
 pages = {669--676},
 publisher = {Springer, Heidelberg},
 title = {The basic polynomial algebra subprograms},
 url = {http://dx.doi.org/10.1007/978-3-662-44199-2_100},
 volume = {8592},
 year = {2014}
}

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

@incollection{MR3392716,
 author = {Lisle, Ian G. and Huang, S.-L. Tracy and Reid, Greg J.},
 booktitle = {S{NC} 2014---{P}roceedings of the 2014 {S}ymposium on
{S}ymbolic-{N}umeric {C}omputation},
 pages = {61--69},
 publisher = {ACM, New York},
 title = {Structure of symmetry of {PDE}: exploiting partially
integrated systems},
 year = {2014}
}

@incollection{MR3392718,
 author = {Giesbrecht, Mark and Haraldson, Joseph},
 booktitle = {S{NC} 2014---{P}roceedings of the 2014 {S}ymposium on
{S}ymbolic-{N}umeric {C}omputation},
 pages = {78--87},
 publisher = {ACM, New York},
 title = {Computing {GCRD}s of approximate differential polynomials},
 year = {2014}
}

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

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

@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 = {http://dx.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 = {http://dx.doi.org/10.1007/978-3-319-10515-4_13},
 volume = {8660},
 year = {2014}
}

@inproceedings{DBLP:conf/iccS/FelkerMW14,
 author = {Travis Felker and
Vadim Mazalov and
Stephen M. Watt},
 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.189},
 editor = {David Abramson and
Michael Lees and
Valeria V. Krzhizhanovskaya and
Jack Dongarra and
Peter M. A. Sloot},
 pages = {2055--2064},
 publisher = {Elsevier},
 title = {Distance-based High-frequency Trading},
 url = {http://dx.doi.org/10.1016/j.procs.2014.05.189},
 volume = {29},
 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 Dongarra and
Peter M. A. Sloot},
 pages = {1423--1432},
 publisher = {Elsevier},
 title = {Exploring Rounding Errors in Matlab Using Extended Precision},
 url = {http://dx.doi.org/10.1016/j.procs.2014.05.129},
 volume = {29},
 year = {2014}
}

@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 = {http://dx.doi.org/10.1007/978-3-662-44199-2_44},
 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 = {http://dx.doi.org/10.1007/978-3-662-44199-2_108},
 volume = {8592},
 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 = {http://dx.doi.org/10.1007/978-3-319-11454-5_3},
 volume = {8766},
 year = {2014}
}

@inproceedings{DBLP:conf/lion/KotsireasP14,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos},
 booktitle = {Learning and Intelligent Optimization - 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected
Papers},
 doi = {10.1007/978-3-319-09584-4_33},
 editor = {Panos M. Pardalos and
Mauricio G. C. Resende and
Chrysafis Vogiatzis and
Jose L. Walteros},
 pages = {383--390},
 publisher = {Springer},
 title = {A New Existence Condition for Hadamard Matrices with Circulant Core},
 url = {http://dx.doi.org/10.1007/978-3-319-09584-4_33},
 volume = {8426},
 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 = {http://dx.doi.org/10.1007/978-3-319-08434-3_5},
 volume = {8543},
 year = {2014}
}

@inproceedings{DBLP:conf/snc/GiesbrechtH14,
 author = {Mark Giesbrecht and
Joseph Haraldson},
 booktitle = {Symbolic-Numeric Computation 2014, {SNC} '14, Shanghai, China, July
28-31, 2014},
 doi = {10.1145/2631948.2631964},
 editor = {Lihong Zhi and
Stephen M. Watt},
 pages = {78--87},
 publisher = {ACM},
 title = {Computing GCRDs of approximate differential polynomials},
 url = {http://doi.acm.org/10.1145/2631948.2631964},
 year = {2014}
}

@inproceedings{DBLP:conf/snc/LisleHR14,
 author = {Ian G. Lisle and
S.{-}L. Tracy 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 = {http://doi.acm.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 = {http://doi.acm.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 = {http://doi.acm.org/10.1145/2631948.2631969},
 year = {2014}
}

@proceedings{DBLP:conf/mkm/2014,
 doi = {10.1007/978-3-319-08434-3},
 editor = {Stephen M. Watt and
James H. Davenport and
Alan P. Sexton and
Petr Sojka and
Josef Urban},
 publisher = {Springer},
 title = {Intelligent Computer Mathematics - International Conference, {CICM}
2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
 url = {http://dx.doi.org/10.1007/978-3-319-08434-3},
 volume = {8543},
 year = {2014}
}

@proceedings{DBLP:conf/mkm/2014ws,
 editor = {Matthew England and
James H. Davenport and
Andrea Kohlhase and
Michael Kohlhase and
Paul Libbrecht and
Walther Neuper and
Pedro Quaresma and
Alan P. Sexton and
Petr Sojka and
Josef Urban and
Stephen M. Watt},
 publisher = {CEUR-WS.org},
 title = {Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and
Work in Progress track at {CICM} co-located with Conferences on Intelligent
Computer Mathematics {(CICM} 2014), Coimbra, Portugal, July 7-11, 2014},
 url = {http://ceur-ws.org/Vol-1186},
 volume = {1186},
 year = {2014}
}

@proceedings{DBLP:conf/snc/2014,
 editor = {Lihong Zhi and
Stephen M. Watt},
 publisher = {ACM},
 title = {Symbolic-Numeric Computation 2014, {SNC} '14, Shanghai, China, July
28-31, 2014},
 url = {http://dl.acm.org/citation.cfm?id=2631948},
 year = {2014}
}

@proceedings{DBLP:conf/synasc/2014,
 editor = {Franz Winkler and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 publisher = {{IEEE} Computer Society},
 title = {16th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2014, Timisoara, Romania, September
22-25, 2014},
 url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7031476},
 year = {2014}
}

@article{DBLP:journals/aaecc/HoevenS13,
 author = {Joris van der Hoeven and
{\'{E}}ric Schost},
 doi = {10.1007/s00200-012-0179-3},
 journal = {Appl. Algebra Eng. Commun. Comput.},
 pages = {37--52},
 title = {Multi-point evaluation in higher dimensions},
 url = {http://dx.doi.org/10.1007/s00200-012-0179-3},
 volume = {24},
 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 = {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"},
 url = {http://dx.doi.org/10.1016/j.cagd.2013.04.003},
 volume = {30},
 year = {2013}
}

@article{DBLP:journals/cc/PoteauxS13,
 author = {Adrien Poteaux and
{\'{E}}ric Schost},
 doi = {10.1007/s00037-013-0063-y},
 journal = {Computational Complexity},
 pages = {463--516},
 title = {Modular Composition Modulo Triangular Sets and Applications},
 url = {http://dx.doi.org/10.1007/s00037-013-0063-y},
 volume = {22},
 year = {2013}
}

@article{DBLP:journals/corr/abs-1301-5804,
 author = {Alin Bostan and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {A simple and fast algorithm for computing exponentials of power series},
 url = {http://arxiv.org/abs/1301.5804},
 volume = {abs/1301.5804},
 year = {2013}
}

@article{DBLP:journals/corr/abs-1301-6021,
 author = {Luca De Feo and
Javad Doliskani and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {Fast algorithms for ell-adic towers over finite fields},
 url = {http://arxiv.org/abs/1301.6021},
 volume = {abs/1301.6021},
 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/corr/abs-1304-3483,
 author = {Andrew Arnold and
Mark Giesbrecht and
Daniel S. Roche},
 journal = {CoRR},
 title = {Faster sparse interpolation of straight-line program},
 url = {http://arxiv.org/abs/1304.3483},
 volume = {abs/1304.3483},
 year = {2013}
}

@article{DBLP:journals/corr/DinS13,
 author = {Mohab Safey El Din and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {A nearly optimal algorithm for deciding connectivity queries in smooth
and bounded real algebraic sets},
 url = {http://arxiv.org/abs/1307.7836},
 volume = {abs/1307.7836},
 year = {2013}
}

@article{DBLP:journals/corr/HuW13,
 author = {Rui Hu and
Stephen M. Watt},
 journal = {CoRR},
 title = {Determining Points on Handwritten Mathematical Symbols},
 url = {http://arxiv.org/abs/1306.4966},
 volume = {abs/1306.4966},
 year = {2013}
}

@article{DBLP:journals/corr/SchostS13,
 author = {{\'{E}}ric Schost and
Pierre{-}Jean Spaenlehauer},
 journal = {CoRR},
 title = {A Quadratically Convergent Algorithm for Structured Low-Rank Approximation},
 url = {http://arxiv.org/abs/1312.7279},
 volume = {abs/1312.7279},
 year = {2013}
}

@article{DBLP:journals/focm/HubertL13,
 author = {Evelyne Hubert and
George Labahn},
 doi = {10.1007/s10208-013-9165-9},
 journal = {Foundations of Computational Mathematics},
 pages = {479--516},
 title = {Scaling Invariants and Symmetry Reduction of Dynamical Systems},
 url = {http://dx.doi.org/10.1007/s10208-013-9165-9},
 volume = {13},
 year = {2013}
}

@article{DBLP:journals/heuristics/KotsireasP13,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos},
 doi = {10.1007/s10732-011-9173-3},
 journal = {J. Heuristics},
 pages = {617--627},
 title = {D-optimal matrices via quadratic integer optimization},
 url = {http://dx.doi.org/10.1007/s10732-011-9173-3},
 volume = {19},
 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 = {I. J. Bifurcation and Chaos},
 title = {An Application of Regular Chain Theory to the Study of Limit cycles},
 url = {http://dx.doi.org/10.1142/S021812741350154X},
 volume = {23},
 year = {2013}
}

@article{DBLP:journals/ijdar/MacLeanL13,
 author = {Scott MacLean and
George Labahn},
 doi = {10.1007/s10032-012-0184-x},
 journal = {IJDAR},
 pages = {139--163},
 title = {A new approach for recognizing handwritten mathematics using relational
grammars and fuzzy sets},
 url = {http://dx.doi.org/10.1007/s10032-012-0184-x},
 volume = {16},
 year = {2013}
}

@article{DBLP:journals/jocs/TesdallJKM13,
 author = {Allen M. Tesdall and
Jae{-}Hun Jung and
Ilias S. Kotsireas and
Roderick V. N. Melnik},
 doi = {10.1016/j.jocs.2012.10.002},
 journal = {J. Comput. Science},
 pages = {1--2},
 title = {Preface},
 url = {http://dx.doi.org/10.1016/j.jocs.2012.10.002},
 volume = {4},
 year = {2013}
}

@article{DBLP:journals/jsc/BarkatouBLP13,
 author = {Moulay A. Barkatou and
Carole El Bacha and
George Labahn and
Eckhard Pfl{\"{u}}gel},
 doi = {10.1016/j.jsc.2011.12.016},
 journal = {J. Symb. Comput.},
 pages = {45--64},
 title = {On simultaneous row and column reduction of higher-order linear differential
systems},
 url = {http://dx.doi.org/10.1016/j.jsc.2011.12.016},
 volume = {49},
 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 = {http://dx.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 = {http://dx.doi.org/10.1016/j.jsc.2012.05.013},
 volume = {52},
 year = {2013}
}

@article{DBLP:journals/jsc/EmirisS13,
 author = {Ioannis Z. Emiris and
{\'{E}}ric Schost},
 doi = {10.1016/j.jsc.2012.06.005},
 journal = {J. Symb. Comput.},
 pages = {1--2},
 title = {Special issue on symbolic and algebraic computation: Foundations, algorithmics and applications: {ISSAC} 2011},
 url = {http://dx.doi.org/10.1016/j.jsc.2012.06.005},
 volume = {52},
 year = {2013}
}

@article{DBLP:journals/jsc/JeannerodPS13,
 author = {Claude{-}Pierre Jeannerod and
Cl{\'{e}}ment Pernet and
Arne Storjohann},
 doi = {10.1016/j.jsc.2013.04.004},
 journal = {J. Symb. Comput.},
 pages = {46--68},
 title = {Rank-profile revealing Gaussian elimination and the {CUP} matrix decomposition},
 url = {http://dx.doi.org/10.1016/j.jsc.2013.04.004},
 volume = {56},
 year = {2013}
}

@article{DBLP:journals/jsc/KoepfW13,
 author = {Wolfram Koepf and
Stephen M. Watt},
 doi = {10.1016/j.jsc.2011.12.013},
 journal = {J. Symb. Comput.},
 pages = {1--2},
 title = {Guest Editors' foreword},
 url = {http://dx.doi.org/10.1016/j.jsc.2011.12.013},
 volume = {49},
 year = {2013}
}

@article{DBLP:journals/jsc/PoteauxS13,
 author = {Adrien Poteaux and
{\'{E}}ric Schost},
 doi = {10.1016/j.jsc.2012.05.008},
 journal = {J. Symb. Comput.},
 pages = {110--138},
 title = {On the complexity of computing with zero-dimensional triangular sets},
 url = {http://dx.doi.org/10.1016/j.jsc.2012.05.008},
 volume = {50},
 year = {2013}
}

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

@article{DBLP:journals/siamco/NgCL13,
 author = {Wai Man Ng and
Dong Eui Chang and
George Labahn},
 doi = {10.1137/11084995X},
 journal = {{SIAM} J. Control and Optimization},
 pages = {881--905},
 title = {Energy Shaping for Systems with Two Degrees of Underactuation and
More than Three Degrees of Freedom},
 url = {http://dx.doi.org/10.1137/11084995X},
 volume = {51},
 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 = {http://dx.doi.org/10.1016/j.tcs.2012.10.021},
 volume = {479},
 year = {2013}
}

@article{DBLP:journals/tcs/KotsireasMPZ13,
 author = {Ilias S. Kotsireas and
Bernard Mourrain and
Victor Y. Pan and
Lihong Zhi},
 doi = {10.1016/j.tcs.2012.10.017},
 journal = {Theor. Comput. Sci.},
 pages = {1--3},
 title = {Preface},
 url = {http://dx.doi.org/10.1016/j.tcs.2012.10.017},
 volume = {479},
 year = {2013}
}

@article{MR3003730,
 author = {Giesbrecht, Mark and Kim, Myung Sub},
 doi = {10.1016/j.jalgebra.2012.11.033},
 journal = {J. Algebra},
 pages = {341--362},
 title = {Computing the {H}ermite form of a matrix of {O}re polynomials},
 url = {http://dx.doi.org/10.1016/j.jalgebra.2012.11.033},
 volume = {376},
 year = {2013}
}

@article{MR3102414,
 author = {Huang, Y. and Forsyth, P. A. and Labahn, G.},
 journal = {Appl. Numer. Math.},
 pages = {33--51},
 title = {Inexact arithmetic considerations for direct control and
penalty methods: {A}merican options under jump diffusion},
 volume = {72},
 year = {2013}
}

@book{MR3136200,
 author = {Corless, Robert M. and Fillion, Nicolas},
 doi = {10.1007/978-1-4614-8453-0},
 pages = {xl+868},
 publisher = {Springer, New York},
 title = {A graduate introduction to numerical methods},
 url = {http://dx.doi.org/10.1007/978-1-4614-8453-0},
 year = {2013}
}

@incollection{DBLP:books/daglib/p/Kotsireas13,
 author = {Ilias S. Kotsireas},
 booktitle = {Number Theory and Related Fields, In Memory of Alf van der Poorten},
 doi = {10.1007/978-1-4614-6642-0_11},
 editor = {Jonathan M. Borwein and
Igor E. Shparlinski and
Wadim Zudilin},
 pages = {215--227},
 publisher = {Springer},
 title = {Structured Hadamard Conjecture},
 url = {http://dx.doi.org/10.1007/978-1-4614-6642-0_11},
 year = {2013}
}

@incollection{MR2963939,
 author = {Melnik, Roderick V. N. and Kotsireas, Ilias S.},
 booktitle = {Advances in applied mathematics, modeling, and computational
science},
 doi = {10.1007/978-1-4614-5389-5_1},
 pages = {1--10},
 publisher = {Springer, New York},
 title = {Interconnected challenges and new perspectives in applied
mathematical and computational sciences},
 url = {http://dx.doi.org/10.1007/978-1-4614-5389-5_1},
 volume = {66},
 year = {2013}
}

@incollection{MR3108431,
 author = {Corless, Robert M. and Lawrence, Piers W.},
 booktitle = {Computational and analytical mathematics},
 doi = {10.1007/978-1-4614-7621-4_13},
 pages = {305--324},
 publisher = {Springer, New York},
 title = {The largest roots of the {M}andelbrot polynomials},
 url = {http://dx.doi.org/10.1007/978-1-4614-7621-4_13},
 volume = {50},
 year = {2013}
}

@incollection{MR3206354,
 author = {De Feo, Luca and Doliskani, Javad and Schost, \'Eric},
 booktitle = {I{SSAC} 2013---{P}roceedings of the 38th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2465506.2465956},
 pages = {165--172},
 publisher = {ACM, New York},
 title = {Fast algorithms for {$\ell$}-adic towers over finite fields},
 url = {http://dx.doi.org/10.1145/2465506.2465956},
 year = {2013}
}

@incollection{MR3206365,
 author = {Lebreton, Romain and Mehrabi, Esmaeil and Schost, \'Eric},
 booktitle = {I{SSAC} 2013---{P}roceedings of the 38th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2465506.2465950},
 pages = {251--258},
 publisher = {ACM, New York},
 title = {On the complexity of solving bivariate systems: the case of
non-singular solutions},
 url = {http://dx.doi.org/10.1145/2465506.2465950},
 year = {2013}
}

@incollection{MR3206372,
 author = {Pauderis, Colton and Storjohann, Arne},
 booktitle = {I{SSAC} 2013---{P}roceedings of the 38th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2465506.2465955},
 pages = {307--314},
 publisher = {ACM, New York},
 title = {Computing the invariant structure of integer matrices: fast
algorithms into practice},
 url = {http://dx.doi.org/10.1145/2465506.2465955},
 year = {2013}
}

@incollection{MR3206376,
 author = {Wu, Wenyuan and Reid, Greg},
 booktitle = {I{SSAC} 2013---{P}roceedings of the 38th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2465506.2465954},
 pages = {339--346},
 publisher = {ACM, New York},
 title = {Finding points on real solution components and applications to
differential polynomial systems},
 url = {http://dx.doi.org/10.1145/2465506.2465954},
 year = {2013}
}

@incollection{MR3206378,
 author = {van der Hoeven, Joris and Lebreton, Romain and Schost, \'Eric},
 booktitle = {I{SSAC} 2013---{P}roceedings of the 38th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2465506.2465526},
 pages = {355--362},
 publisher = {ACM, New York},
 title = {Structured {FFT} and {TFT}: symmetric and lattice polynomials},
 url = {http://dx.doi.org/10.1145/2465506.2465526},
 year = {2013}
}

@incollection{MR3206381,
 author = {Zhou, Wei and Labahn, George},
 booktitle = {I{SSAC} 2013---{P}roceedings of the 38th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2465506.2465947},
 pages = {379--386},
 publisher = {ACM, New York},
 title = {Computing column bases of polynomial matrices},
 url = {http://dx.doi.org/10.1145/2465506.2465947},
 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 = {http://dx.doi.org/10.1007/978-3-319-02297-0_3},
 volume = {8136},
 year = {2013}
}

@inproceedings{DBLP:conf/casc/ArnoldGR13,
 author = {Andrew Arnold and
Mark Giesbrecht and
Daniel S. Roche},
 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_5},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {61--74},
 publisher = {Springer},
 title = {Faster Sparse Interpolation of Straight-Line Programs},
 url = {http://dx.doi.org/10.1007/978-3-319-02297-0_5},
 volume = {8136},
 year = {2013}
}

@inproceedings{DBLP:conf/mkm/Hu13,
 author = {Rui Hu and
Stephen M. Watt},
 booktitle = {Joint Proceedings of the MathUI, OpenMath, {PLMMS} and ThEdu Workshops
and Work in Progress at CICM, Bath, {UK}},
 editor = {Christoph Lange and
David Aspinall and
Jacques Carette and
James H. Davenport and
Andrea Kohlhase and
Michael Kohlhase and
Paul Libbrecht and
Pedro Quaresma and
Florian Rabe and
Petr Sojka and
Iain Whiteside and
Wolfgang Windsteiger},
 publisher = {CEUR-WS.org},
 title = {InkChat: a collaboration tool for mathematics},
 url = {http://ceur-ws.org/Vol-1010/paper-14.pdf},
 volume = {1010},
 year = {2013}
}

@inproceedings{DBLP:conf/mkm/HuW13,
 author = {Rui Hu and
Stephen M. Watt},
 booktitle = {Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems
and Projects 2013, Held as Part of {CICM} 2013, Bath, UK, July 8-12, 2013. Proceedings},
 doi = {10.1007/978-3-642-39320-4_11},
 editor = {Jacques Carette and
David Aspinall and
Christoph Lange and
Petr Sojka and
Wolfgang Windsteiger},
 pages = {168--183},
 publisher = {Springer},
 title = {Determining Points on Handwritten Mathematical Symbols},
 url = {http://dx.doi.org/10.1007/978-3-642-39320-4_11},
 volume = {7961},
 year = {2013}
}

@inproceedings{DBLP:conf/mkm/Mazalov13,
 author = {Vadim Mazalov and
Stephen M. Watt},
 booktitle = {Joint Proceedings of the MathUI, OpenMath, {PLMMS} and ThEdu Workshops
and Work in Progress at CICM, Bath, {UK}},
 editor = {Christoph Lange and
David Aspinall and
Jacques Carette and
James H. Davenport and
Andrea Kohlhase and
Michael Kohlhase and
Paul Libbrecht and
Pedro Quaresma and
Florian Rabe and
Petr Sojka and
Iain Whiteside and
Wolfgang Windsteiger},
 publisher = {CEUR-WS.org},
 title = {Recommendation systems in mathematical character recognition},
 url = {http://ceur-ws.org/Vol-1010/paper-19.pdf},
 volume = {1010},
 year = {2013}
}

@inproceedings{DBLP:conf/synasc/HuW13,
 author = {Rui Hu and
Stephen M. Watt},
 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.15},
 editor = {Nikolaj Bj{\o}rner and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {61--67},
 publisher = {{IEEE} Computer Society},
 title = {Identifying Features via Homotopy on Handwritten Mathematical Symbols},
 url = {http://dx.doi.org/10.1109/SYNASC.2013.15},
 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 Bj{\o}rner and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {131--137},
 publisher = {{IEEE} Computer Society},
 title = {Software Implementation of Numerical Algorithms in Arbitrary Precision},
 url = {http://dx.doi.org/10.1109/SYNASC.2013.25},
 year = {2013}
}

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

@proceedings{DBLP:conf/synasc/2013,
 editor = {Nikolaj Bj{\o}rner and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 publisher = {{IEEE} Computer Society},
 title = {15th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September
23-26, 2013},
 url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6820820},
 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{DBLP:journals/algorithmica/GiesbrechtRT12,
 author = {Mark Giesbrecht and
Daniel S. Roche and
Hrushikesh Tilak},
 doi = {10.1007/s00453-012-9652-4},
 journal = {Algorithmica},
 pages = {454--480},
 title = {Computing Sparse Multiples of Polynomials},
 url = {http://dx.doi.org/10.1007/s00453-012-9652-4},
 volume = {64},
 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/corr/abs-1201-5365,
 author = {Mustafa Elsheikh and
Mark Giesbrecht and
Andy Novocin and
B. David Saunders},
 journal = {CoRR},
 title = {Fast Computation of Smith Forms of Sparse Matrices Over Local Rings},
 url = {http://arxiv.org/abs/1201.5365},
 volume = {abs/1201.5365},
 year = {2012}
}

@article{DBLP:journals/corr/abs-1201-6439,
 author = {Saugata Basu and
Marie{-}Fran{\c{c}}oise Roy and
Mohab Safey El Din and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {A baby step-giant step roadmap algorithm for general algebraic sets},
 url = {http://arxiv.org/abs/1201.6439},
 volume = {abs/1201.6439},
 year = {2012}
}

@article{DBLP:journals/corr/abs-1205-3414,
 author = {Alin Bostan and
Muhammad F. I. Chowdhury and
Romain Lebreton and
Bruno Salvy and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {Power Series Solutions of Singular (q)-Differential Equations},
 url = {http://arxiv.org/abs/1205.3414},
 volume = {abs/1205.3414},
 year = {2012}
}

@article{DBLP:journals/corr/abs-1206-6177,
 author = {Xiaolin Qin and
Wenyuan Wu and
Yong Feng and
Greg Reid},
 journal = {CoRR},
 title = {Structural analysis of high-index {DAE} for process simulation},
 url = {http://arxiv.org/abs/1206.6177},
 volume = {abs/1206.6177},
 year = {2012}
}

@article{DBLP:journals/corr/abs-1210-5543,
 author = {Changbo Chen and
Marc {Moreno Maza}},
 journal = {CoRR},
 title = {An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions},
 url = {http://arxiv.org/abs/1210.5543},
 volume = {abs/1210.5543},
 year = {2012}
}

@article{DBLP:journals/jc/DahanKS12,
 author = {Xavier Dahan and
Abdulilah Kadri and
{\'{E}}ric Schost},
 doi = {10.1016/j.jco.2011.05.001},
 journal = {J. Complexity},
 pages = {109--135},
 title = {Bit-size estimates for triangular sets in positive dimension},
 url = {http://dx.doi.org/10.1016/j.jco.2011.05.001},
 volume = {28},
 year = {2012}
}

@article{DBLP:journals/jco/KotsireasKPS12,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos and
Panos M. Pardalos and
Dimitris E. Simos},
 doi = {10.1007/s10878-011-9404-4},
 journal = {J. Comb. Optim.},
 pages = {508--525},
 title = {Competent genetic algorithms for weighing matrices},
 url = {http://dx.doi.org/10.1007/s10878-011-9404-4},
 volume = {24},
 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 = {http://dx.doi.org/10.1016/j.jsc.2011.12.023},
 volume = {47},
 year = {2012}
}

@article{DBLP:journals/jsc/FeoS12,
 author = {Luca De Feo and
{\'{E}}ric Schost},
 doi = {10.1016/j.jsc.2011.12.008},
 journal = {J. Symb. Comput.},
 pages = {771--792},
 title = {Fast arithmetics in Artin-Schreier towers over finite fields},
 url = {http://dx.doi.org/10.1016/j.jsc.2011.12.008},
 volume = {47},
 year = {2012}
}

@article{DBLP:journals/jsc/GaudryS12,
 author = {Pierrick Gaudry and
{\'{E}}ric Schost},
 doi = {10.1016/j.jsc.2011.09.003},
 journal = {J. Symb. Comput.},
 pages = {368--400},
 title = {Genus 2 point counting over prime fields},
 url = {http://dx.doi.org/10.1016/j.jsc.2011.09.003},
 volume = {47},
 year = {2012}
}

@article{DBLP:journals/jsc/GiesbrechtP12,
 author = {Mark Giesbrecht and
Daniel Panario},
 doi = {10.1016/j.jsc.2011.09.001},
 journal = {J. Symb. Comput.},
 pages = {355--357},
 title = {In honour of the research and influence of Joachim von zur Gathen
at 60},
 url = {http://dx.doi.org/10.1016/j.jsc.2011.09.001},
 volume = {47},
 year = {2012}
}

@article{DBLP:journals/jsc/GuptaSSV12,
 author = {Somit Gupta and
Soumojit Sarkar and
Arne Storjohann and
Johnny Valeriote},
 doi = {10.1016/j.jsc.2011.09.006},
 journal = {J. Symb. Comput.},
 pages = {422--453},
 title = {Triangular x-basis decompositions and derandomization of linear algebra
algorithms over K[x]},
 url = {http://dx.doi.org/10.1016/j.jsc.2011.09.006},
 volume = {47},
 year = {2012}
}

@article{DBLP:journals/jsc/ZhouL12,
 author = {Wei Zhou and
George Labahn},
 doi = {10.1016/j.jsc.2011.12.009},
 journal = {J. Symb. Comput.},
 pages = {793--819},
 title = {Efficient algorithms for order basis computation},
 url = {http://dx.doi.org/10.1016/j.jsc.2011.12.009},
 volume = {47},
 year = {2012}
}

@article{DBLP:journals/mics/KotsireasCM12,
 author = {Ilias S. Kotsireas and
Irene Marquez Corbella and
Edgar Mart{\'{\i}}nez{-}Moro},
 doi = {10.1007/s11786-012-0116-7},
 journal = {Mathematics in Computer Science},
 pages = {107--108},
 title = {Foreword},
 url = {http://dx.doi.org/10.1007/s11786-012-0116-7},
 volume = {6},
 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 = {Mathematics in Computer Science},
 pages = {457--473},
 title = {On Solving Parametric Polynomial Systems},
 url = {http://dx.doi.org/10.1007/s11786-012-0136-3},
 volume = {6},
 year = {2012}
}

@article{DBLP:journals/nm/HuangFL12,
 author = {Y. Huang and
Peter A. Forsyth and
George Labahn},
 doi = {10.1007/s00211-012-0455-y},
 journal = {Numerische Mathematik},
 pages = {133--167},
 title = {Iterative methods for the solution of a singular control formulation
of a {GMWB} pricing problem},
 url = {http://dx.doi.org/10.1007/s00211-012-0455-y},
 volume = {122},
 year = {2012}
}

@article{DBLP:journals/ol/KotsireasKS12,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos and
Jennifer Seberry},
 doi = {10.1007/s11590-010-0264-0},
 journal = {Optimization Letters},
 pages = {211--217},
 title = {New weighing matrices constructed from two circulant submatrices},
 url = {http://dx.doi.org/10.1007/s11590-010-0264-0},
 volume = {6},
 year = {2012}
}

@article{DBLP:journals/siamnum/HuangFL12,
 author = {Y. Huang and
Peter A. Forsyth and
George Labahn},
 doi = {10.1137/100812641},
 journal = {{SIAM} J. Numerical Analysis},
 pages = {1861--1882},
 title = {Combined Fixed Point and Policy Iteration for Hamilton-Jacobi-Bellman
Equations in Finance},
 url = {http://dx.doi.org/10.1137/100812641},
 volume = {50},
 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 = {http://doi.acm.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{MR2914782,
 author = {\Dbar okovi\'c, Dragomir \v Z. and Kotsireas, Ilias S.},
 doi = {10.1002/jcd.21302},
 journal = {J. Combin. Des.},
 pages = {278--289},
 title = {New results on {D}-optimal matrices},
 url = {http://dx.doi.org/10.1002/jcd.21302},
 volume = {20},
 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 = {http://dx.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 = {http://dx.doi.org/10.1080/10652469.2011.640327},
 volume = {23},
 year = {2012}
}

@incollection{MR3206293,
 author = {Bostan, Alin and Chowdhury, Muhammad F. I. and Lebreton, Romain and Salvy, Bruno and Schost, \'Eric},
 booktitle = {I{SSAC} 2012---{P}roceedings of the 37th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2442829.2442848},
 pages = {107--114},
 publisher = {ACM, New York},
 title = {Power series solutions of singular {$(q)$}-differential
equations},
 url = {http://dx.doi.org/10.1145/2442829.2442848},
 year = {2012}
}

@incollection{MR3206298,
 author = {Elsheikh, Mustafa and Giesbrecht, Mark and Novocin, Andy and
Saunders, B. David},
 booktitle = {I{SSAC} 2012---{P}roceedings of the 37th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2442829.2442853},
 pages = {146--153},
 publisher = {ACM, New York},
 title = {Fast computation of {S}mith forms of sparse matrices over
local rings},
 url = {http://dx.doi.org/10.1145/2442829.2442853},
 year = {2012}
}

@incollection{MR3206307,
 author = {Hubert, Evelyne and Labahn, George},
 booktitle = {I{SSAC} 2012---{P}roceedings of the 37th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2442829.2442862},
 pages = {219--226},
 publisher = {ACM, New York},
 title = {Rational invariants of scalings from {H}ermite normal forms},
 url = {http://dx.doi.org/10.1145/2442829.2442862},
 year = {2012}
}

@incollection{MR3206309,
 author = {Lebreton, Romain and Schost, \'Eric},
 booktitle = {I{SSAC} 2012---{P}roceedings of the 37th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2442829.2442864},
 pages = {234--241},
 publisher = {ACM, New York},
 title = {Algorithms for the universal decomposition algebra},
 url = {http://dx.doi.org/10.1145/2442829.2442864},
 year = {2012}
}

@incollection{MR3206315,
 author = {Pauderis, Colton and Storjohann, Arne},
 booktitle = {I{SSAC} 2012---{P}roceedings of the 37th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2442829.2442870},
 pages = {281--288},
 publisher = {ACM, New York},
 title = {Deterministic unimodularity certification},
 url = {http://dx.doi.org/10.1145/2442829.2442870},
 year = {2012}
}

@incollection{MR3206326,
 author = {Zhou, Wei and Labahn, George and Storjohann, Arne},
 booktitle = {I{SSAC} 2012---{P}roceedings of the 37th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/2442829.2442881},
 pages = {366--373},
 publisher = {ACM, New York},
 title = {Computing minimal nullspace bases},
 url = {http://dx.doi.org/10.1145/2442829.2442881},
 year = {2012}
}

@inproceedings{DBLP:conf/aisc/HuMW12,
 author = {Rui Hu and
Vadim Mazalov and
Stephen M. Watt},
 booktitle = {Intelligent Computer Mathematics - 11th International Conference, {AISC} 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, {DML} 2012, 11th International Conference, {MKM} 2012, Systems and
Projects, Held as Part of {CICM} 2012, Bremen, Germany, July 8-13, 2012. Proceedings},
 doi = {10.1007/978-3-642-31374-5_6},
 editor = {Johan Jeuring and
John A. Campbell and
Jacques Carette and
Gabriel Dos Reis and
Petr Sojka and
Makarius Wenzel and
Volker Sorge},
 pages = {81--95},
 publisher = {Springer},
 title = {A Streaming Digital Ink Framework for Multi-party Collaboration},
 url = {http://dx.doi.org/10.1007/978-3-642-31374-5_6},
 volume = {7362},
 year = {2012}
}

@inproceedings{DBLP:conf/aisc/MazalovW12,
 author = {Vadim Mazalov and
Stephen M. Watt},
 booktitle = {Intelligent Computer Mathematics - 11th International Conference, {AISC} 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, {DML} 2012, 11th International Conference, {MKM} 2012, Systems and
Projects, Held as Part of {CICM} 2012, Bremen, Germany, July 8-13, 2012. Proceedings},
 doi = {10.1007/978-3-642-31374-5_27},
 editor = {Johan Jeuring and
John A. Campbell and
Jacques Carette and
Gabriel Dos Reis and
Petr Sojka and
Makarius Wenzel and
Volker Sorge},
 pages = {402--416},
 publisher = {Springer},
 title = {Writing on Clouds},
 url = {http://dx.doi.org/10.1007/978-3-642-31374-5_27},
 volume = {7362},
 year = {2012}
}

@inproceedings{DBLP:conf/ants/KotsireasPPV12,
 author = {Ilias S. Kotsireas and
Konstantinos E. Parsopoulos and
Grigoris S. Piperagkas and
Michael N. Vrahatis},
 booktitle = {Swarm Intelligence - 8th International Conference, {ANTS} 2012, Brussels, Belgium, September 12-14, 2012. Proceedings},
 doi = {10.1007/978-3-642-32650-9_21},
 editor = {Marco Dorigo and
Mauro Birattari and
Christian Blum and
Anders Lyhne Christensen and
Andries Petrus Engelbrecht and
Roderich Gro{\ss} and
Thomas St{\"{u}}tzle},
 pages = {220--227},
 publisher = {Springer},
 title = {Ant-Based Approaches for Solving Autocorrelation Problems},
 url = {http://dx.doi.org/10.1007/978-3-642-32650-9_21},
 volume = {7461},
 year = {2012}
}

@inproceedings{DBLP:conf/ascm/ChenM12,
 author = {Changbo Chen and
Marc {Moreno Maza}},
 booktitle = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing, 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 = {http://dx.doi.org/10.1007/978-3-662-43799-5_17},
 year = {2012}
}

@inproceedings{DBLP:conf/ascm/GiesbrechtP12,
 author = {Mark Giesbrecht and
Nam Pham},
 booktitle = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing, October
2012, Contributed Papers and Invited Talks},
 doi = {10.1007/978-3-662-43799-5_19},
 editor = {Ruyong Feng and
Wen{-}shin Lee and
Yosuke Sato},
 pages = {243--259},
 publisher = {Springer},
 title = {A Symbolic Approach to Compute a Null-Space Basis in the Projection
Method},
 url = {http://dx.doi.org/10.1007/978-3-662-43799-5_19},
 year = {2012}
}

@inproceedings{DBLP:conf/ascm/MazaX12,
 author = {Marc {Moreno Maza} and
Rong Xiao},
 booktitle = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing, 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 = {http://dx.doi.org/10.1007/978-3-662-43799-5_25},
 year = {2012}
}

@inproceedings{DBLP:conf/casc/BourdykineW12,
 author = {Pavel Bourdykine and
Stephen M. Watt},
 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_5},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {47--59},
 publisher = {Springer},
 title = {Lightweight Abstraction for Mathematical Computation in Java},
 url = {http://dx.doi.org/10.1007/978-3-642-32973-9_5},
 volume = {7442},
 year = {2012}
}

@inproceedings{DBLP:conf/casc/GiesbrechtH12,
 author = {Mark Giesbrecht and
Albert Heinle},
 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_10},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {117--128},
 publisher = {Springer},
 title = {A Polynomial-Time Algorithm for the Jacobson Form of a Matrix of Ore
Polynomials},
 url = {http://dx.doi.org/10.1007/978-3-642-32973-9_10},
 volume = {7442},
 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 = {http://dx.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 = {http://dx.doi.org/10.1007/978-3-642-32973-9_19},
 volume = {7442},
 year = {2012}
}

@inproceedings{DBLP:conf/das/MazalovW12,
 author = {Vadim Mazalov and
Stephen M. Watt},
 booktitle = {10th {IAPR} International Workshop on Document Analysis Systems, {DAS}
2012, Gold Coast, Queenslands, Australia, March 27-29, 2012},
 doi = {10.1109/DAS.2012.51},
 editor = {Michael Blumenstein and
Umapada Pal and
Seiichi Uchida},
 pages = {429--434},
 publisher = {{IEEE} Computer Society},
 title = {Linear Compression of Digital Ink via Point Selection},
 url = {http://dx.doi.org/10.1109/DAS.2012.51},
 year = {2012}
}

@inproceedings{DBLP:conf/drr/MazalovW12,
 author = {Vadim Mazalov and
Stephen M. Watt},
 booktitle = {Document Recognition and Retrieval XIX, part of the IS{\&}T-SPIE Electronic
Imaging Symposium, Burlingame, California, USA, January 25-26, 2012, Proceedings},
 doi = {10.1117/12.912112},
 editor = {Christian Viard{-}Gaudin and
Richard Zanibbi},
 pages = {82970B},
 publisher = {SPIE},
 title = {Improving isolated and in-context classication of handwritten characters},
 url = {http://dx.doi.org/10.1117/12.912112},
 volume = {8297},
 year = {2012}
}

@inproceedings{DBLP:conf/icfhr/HuW12,
 author = {Rui Hu and
Stephen M. Watt},
 booktitle = {2012 International Conference on Frontiers in Handwriting Recognition, {ICFHR} 2012, Bari, Italy, September 18-20, 2012},
 doi = {10.1109/ICFHR.2012.252},
 pages = {527--532},
 publisher = {IEEE},
 title = {Optimization of Point Selection on Digital Ink Curves},
 url = {http://dx.doi.org/10.1109/ICFHR.2012.252},
 year = {2012}
}

@inproceedings{DBLP:conf/icfhr/MazalovW12a,
 author = {Vadim Mazalov and
Stephen M. Watt},
 booktitle = {2012 International Conference on Frontiers in Handwriting Recognition, {ICFHR} 2012, Bari, Italy, September 18-20, 2012},
 doi = {10.1109/ICFHR.2012.169},
 pages = {692--697},
 publisher = {IEEE},
 title = {A Structure for Adaptive Handwriting Recognition},
 url = {http://dx.doi.org/10.1109/ICFHR.2012.169},
 year = {2012}
}

@inproceedings{DBLP:conf/icfhr/MazalovW12,
 author = {Vadim Mazalov and
Stephen M. Watt},
 booktitle = {2012 International Conference on Frontiers in Handwriting Recognition, {ICFHR} 2012, Bari, Italy, September 18-20, 2012},
 doi = {10.1109/ICFHR.2012.257},
 pages = {319--324},
 publisher = {IEEE},
 title = {Recognition of Relatively Small Handwritten Characters or "Size Matters"},
 url = {http://dx.doi.org/10.1109/ICFHR.2012.257},
 year = {2012}
}

@inproceedings{DBLP:conf/synasc/MarcusW12,
 author = {Solomon Marcus and
Stephen M. Watt},
 booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
26-29, 2012},
 doi = {10.1109/SYNASC.2012.79},
 editor = {Andrei Voronkov and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {23--29},
 publisher = {{IEEE} Computer Society},
 title = {What is an Equation?},
 url = {http://dx.doi.org/10.1109/SYNASC.2012.79},
 year = {2012}
}

@proceedings{DBLP:conf/synasc/2012,
 editor = {Andrei Voronkov and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 publisher = {{IEEE} Computer Society},
 title = {14th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
26-29, 2012},
 url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6480928},
 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{DBLP:journals/corr/abs-1101-3682,
 author = {Mark Giesbrecht and
Daniel S. Roche},
 journal = {CoRR},
 title = {Diversification improves interpolation},
 url = {http://arxiv.org/abs/1101.3682},
 volume = {abs/1101.3682},
 year = {2011}
}

@article{DBLP:journals/corr/abs-1104-0689,
 author = {Changbo Chen and
Marc {Moreno Maza}},
 journal = {CoRR},
 title = {Algorithms for Computing Triangular Decompositions of Polynomial Systems},
 url = {http://arxiv.org/abs/1104.0689},
 volume = {abs/1104.0689},
 year = {2011}
}

@article{DBLP:journals/corr/abs-1109-3656,
 author = {Mark Giesbrecht and
Myung Sub Kim},
 journal = {CoRR},
 title = {Computing the Hermite Form of a Matrix of Ore Polynomials},
 url = {http://arxiv.org/abs/1109.3656},
 volume = {abs/1109.3656},
 year = {2011}
}

@article{DBLP:journals/corr/abs-1109-4323,
 author = {Adrien Poteaux and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {On the complexity of computing with zero-dimensional triangular sets},
 url = {http://arxiv.org/abs/1109.4323},
 volume = {abs/1109.4323},
 year = {2011}
}

@article{DBLP:journals/corr/abs-1110-4350,
 author = {Javad Doliskani and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {Taking Roots over High Extensions of Finite Fields},
 url = {http://arxiv.org/abs/1110.4350},
 volume = {abs/1110.4350},
 year = {2011}
}

@article{DBLP:journals/corr/abs-1112-5717,
 author = {Claude{-}Pierre Jeannerod and
Cl{\'{e}}ment Pernet and
Arne Storjohann},
 journal = {CoRR},
 title = {Rank-profile revealing Gaussian elimination and the {CUP} matrix decomposition},
 url = {http://arxiv.org/abs/1112.5717},
 volume = {abs/1112.5717},
 year = {2011}
}

@article{DBLP:journals/dcg/DinS11,
 author = {Mohab Safey El Din and
{\'{E}}ric Schost},
 doi = {10.1007/s00454-009-9239-2},
 journal = {Discrete {\&} Computational Geometry},
 pages = {181--220},
 title = {A Baby Steps/Giant Steps Probabilistic Algorithm for~Computing Roadmaps
in Smooth Bounded Real Hypersurface},
 url = {http://dx.doi.org/10.1007/s00454-009-9239-2},
 volume = {45},
 year = {2011}
}

@article{DBLP:journals/ijdar/MacLeanLLMT11,
 author = {Scott MacLean and
George Labahn and
Edward Lank and
Mirette S. Marzouk and
David Tausky},
 doi = {10.1007/s10032-010-0118-4},
 journal = {IJDAR},
 pages = {65--74},
 title = {Grammar-based techniques for creating ground-truthed sketch corpora},
 url = {http://dx.doi.org/10.1007/s10032-010-0118-4},
 volume = {14},
 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 = {http://dx.doi.org/10.1142/S0129054111008556},
 volume = {22},
 year = {2011}
}

@article{DBLP:journals/informaticaLT/SyedKP11,
 author = {Mujahid N. Syed and
Ilias S. Kotsireas and
Panos M. Pardalos},
 journal = {Informatica, Lith. Acad. Sci.},
 pages = {577--587},
 title = {D-Optimal Designs: {A} Mathematical Programming Approach Using Cyclotomic
Cosets},
 url = {http://content.iospress.com/articles/informatica/inf22-4-07},
 volume = {22},
 year = {2011}
}

@article{DBLP:journals/jco/KotsireasKP11,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos and
Panos M. Pardalos},
 doi = {10.1007/s10878-010-9335-5},
 journal = {J. Comb. Optim.},
 pages = {873--881},
 title = {A modified power spectral density test applied to weighing matrices
with small weight},
 url = {http://dx.doi.org/10.1007/s10878-010-9335-5},
 volume = {22},
 year = {2011}
}

@article{DBLP:journals/jsc/ArnoldKR11,
 author = {Elizabeth Arnold and
Ilias S. Kotsireas and
Markus Rosenkranz},
 doi = {10.1016/j.jsc.2010.10.001},
 journal = {J. Symb. Comput.},
 pages = {495--497},
 title = {Bruno Buchberger and the world of Gr{\"{o}}bner bases},
 url = {http://dx.doi.org/10.1016/j.jsc.2010.10.001},
 volume = {46},
 year = {2011}
}

@article{DBLP:journals/jsc/BostanCHS11,
 author = {Alin Bostan and
Muhammad F. I. Chowdhury and
Joris van der Hoeven and
{\'{E}}ric Schost},
 doi = {10.1016/j.jsc.2011.08.015},
 journal = {J. Symb. Comput.},
 pages = {1378--1402},
 title = {Homotopy techniques for multiplication modulo triangular sets},
 url = {http://dx.doi.org/10.1016/j.jsc.2011.08.015},
 volume = {46},
 year = {2011}
}

@article{DBLP:journals/jsc/GiesbrechtR11,
 author = {Mark Giesbrecht and
Daniel S. Roche},
 doi = {10.1016/j.jsc.2011.08.006},
 journal = {J. Symb. Comput.},
 pages = {1242--1259},
 title = {Detecting lacunary perfect powers and computing their roots},
 url = {http://dx.doi.org/10.1016/j.jsc.2011.08.006},
 volume = {46},
 year = {2011}
}

@article{DBLP:journals/jsc/GiesbrechtW11,
 author = {Mark Giesbrecht and
Stephen M. Watt},
 doi = {10.1016/j.jsc.2010.08.009},
 journal = {J. Symb. Comput.},
 pages = {735--740},
 title = {In honour of Keith Geddes on his 60th birthday},
 url = {http://dx.doi.org/10.1016/j.jsc.2010.08.009},
 volume = {46},
 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 = {http://dx.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 = {http://dx.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 = {Numerical Algorithms},
 pages = {319--347},
 title = {Polynomial algebra for Birkhoff interpolants},
 url = {http://dx.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 = {Numerical Algorithms},
 pages = {93--106},
 title = {An analytical approach for solving nonlinear boundary value problems
in finite domains},
 url = {http://dx.doi.org/10.1007/s11075-010-9375-z},
 volume = {56},
 year = {2011}
}

@article{DBLP:journals/scp/OanceaW11,
 author = {Cosmin E. Oancea and
Stephen M. Watt},
 doi = {10.1016/j.scico.2009.09.008},
 journal = {Sci. Comput. Program.},
 pages = {258--277},
 title = {An architecture for generic extensions},
 url = {http://dx.doi.org/10.1016/j.scico.2009.09.008},
 volume = {76},
 year = {2011}
}

@article{DBLP:journals/siamsc/HuangFL11,
 author = {Y. Huang and
Peter A. Forsyth and
George Labahn},
 doi = {10.1137/110820920},
 journal = {{SIAM} J. Scientific Computing},
 pages = {2144--2168},
 title = {Methods for Pricing American Options under Regime Switching},
 url = {http://dx.doi.org/10.1137/110820920},
 volume = {33},
 year = {2011}
}

@article{DBLP:journals/tcs/DrevetIS11,
 author = {Charles{-}{\'{E}}ric Drevet and
Md. Nazrul Islam and
{\'{E}}ric Schost},
 doi = {10.1016/j.tcs.2010.12.012},
 journal = {Theor. Comput. Sci.},
 pages = {2219--2236},
 title = {Optimization techniques for small matrix multiplication},
 url = {http://dx.doi.org/10.1016/j.tcs.2010.12.012},
 volume = {412},
 year = {2011}
}

@article{DBLP:journals/tcs/KotsireasMP11,
 author = {Ilias S. Kotsireas and
Bernard Mourrain and
Victor Y. Pan},
 doi = {10.1016/j.tcs.2010.12.002},
 journal = {Theor. Comput. Sci.},
 pages = {1443--1444},
 title = {Preface},
 url = {http://dx.doi.org/10.1016/j.tcs.2010.12.002},
 volume = {412},
 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}
}

@article{MR2867877,
 author = {Kotsireas, I. S. and Koukouvinos, C. and Simos, D. E.},
 journal = {J. Appl. Math. Inform.},
 pages = {1571--1581},
 title = {A meta-software system for orthogonal designs and {H}adamard
matrices},
 volume = {29},
 year = {2011}
}

@article{MR2885688,
 author = {Syed, Mujahid N. and Kotsireas, Ilias S. and Pardalos, Panos
M.},
 journal = {Informatica (Vilnius)},
 pages = {577--587},
 title = {D-optimal designs: a mathematical programming approach using
cyclotomic cosets},
 volume = {22},
 year = {2011}
}

@article{MR2916502,
 author = {Corless, Robert and Postma, Erik and Stoutemyer, David R.},
 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 = {http://dx.doi.org/10.1145/2016567.2016570},
 volume = {45},
 year = {2011}
}

@incollection{MR2895194,
 author = {Bright, Curtis and Storjohann, Arne},
 booktitle = {I{SSAC} 2011---{P}roceedings of the 36th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1993886.1993900},
 pages = {51--57},
 publisher = {ACM, New York},
 title = {Vector rational number reconstruction},
 url = {http://dx.doi.org/10.1145/1993886.1993900},
 year = {2011}
}

@incollection{MR2895197,
 author = {Chen, Changbo and Davenport, James H. and Moreno Maza, Marc
and Xia, Bican and Xiao, Rong},
 booktitle = {I{SSAC} 2011---{P}roceedings of the 36th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1993886.1993903},
 pages = {75--82},
 publisher = {ACM, New York},
 title = {Computing with semi-algebraic sets represented by triangular
decomposition},
 url = {http://dx.doi.org/10.1145/1993886.1993903},
 year = {2011}
}

@incollection{MR2895198,
 author = {Chen, Changbo and Moreno Maza, Marc},
 booktitle = {I{SSAC} 2011---{P}roceedings of the 36th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1993886.1993904},
 pages = {83--90},
 publisher = {ACM, New York},
 title = {Algorithms for computing triangular decompositions of
polynomial systems},
 url = {http://dx.doi.org/10.1145/1993886.1993904},
 year = {2011}
}

@incollection{MR2895203,
 author = {Giesbrecht, Mark and Roche, Daniel S.},
 booktitle = {I{SSAC} 2011---{P}roceedings of the 36th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1993886.1993909},
 pages = {123--130},
 publisher = {ACM, New York},
 title = {Diversification improves interpolation},
 url = {http://dx.doi.org/10.1145/1993886.1993909},
 year = {2011}
}

@incollection{MR2895207,
 author = {Gupta, Somit and Storjohann, Arne},
 booktitle = {I{SSAC} 2011---{P}roceedings of the 36th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1993886.1993913},
 pages = {155--162},
 publisher = {ACM, New York},
 title = {Computing {H}ermite forms of polynomial matrices},
 url = {http://dx.doi.org/10.1145/1993886.1993913},
 year = {2011}
}

@incollection{MR2895225,
 author = {Sarkar, Soumojit and Storjohann, Arne},
 booktitle = {I{SSAC} 2011---{P}roceedings of the 36th {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1993886.1993931},
 pages = {297--303},
 publisher = {ACM, New York},
 title = {Normalization of row reduced matrices},
 url = {http://dx.doi.org/10.1145/1993886.1993931},
 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 = {http://dx.doi.org/10.1007/978-3-642-23568-9_9},
 volume = {6885},
 year = {2011}
}

@inproceedings{DBLP:conf/iui/TauskyLML11,
 author = {David Tausky and
Edward Lank and
Richard Mann and
George Labahn},
 booktitle = {Proceedings of the 16th International Conference on Intelligent User
Interfaces, {IUI} 2011, Palo Alto, CA, USA, February 13-16, 2011},
 doi = {10.1145/1943403.1943476},
 editor = {Pearl Pu and
Michael J. Pazzani and
Elisabeth Andr{\'{e}} and
Doug Riecken},
 pages = {403--406},
 publisher = {ACM},
 title = {Analyzing sketch content using in-air packet information},
 url = {http://doi.acm.org/10.1145/1943403.1943476},
 year = {2011}
}

@inproceedings{DBLP:conf/sbm/MacLeanTLLM11,
 author = {Scott MacLean and
David Tausky and
George Labahn and
Edward Lank and
Mirette S. Marzouk},
 booktitle = {Sketch Based Interfaces and Modeling, Vancouver, BC, Canada, 5-7 August
2011. Proceedings},
 doi = {10.2312/SBM/SBM11/007-014},
 editor = {Tracy Hammond and
Andrew Nealen},
 pages = {7--14},
 publisher = {Eurographics Association},
 title = {Is the iPad useful for sketch input? {A} comparison with the Tablet
{PC}},
 url = {http://dx.doi.org/10.2312/SBM/SBM11/007-014},
 year = {2011}
}

@inproceedings{DBLP:conf/snc/CorlessPS11,
 author = {Robert M. Corless and
Eric 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 = {http://doi.acm.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 = {http://doi.acm.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 = {http://doi.acm.org/10.1145/2331684.2331697},
 year = {2011}
}

@inproceedings{DBLP:conf/snc/Watt11,
 author = {Stephen M. Watt},
 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.2331687},
 editor = {Marc Moreno Maza},
 pages = {3--7},
 publisher = {ACM},
 title = {Polynomial approximation in handwriting recognition},
 url = {http://doi.acm.org/10.1145/2331684.2331687},
 year = {2011}
}

@inproceedings{DBLP:conf/synasc/Watt11,
 author = {Stephen M. Watt},
 booktitle = {13th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2011, Timisoara, Romania, September
26-29, 2011},
 doi = {10.1109/SYNASC.2011.64},
 editor = {Dongming Wang and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {16--18},
 publisher = {{IEEE} Computer Society},
 title = {Computational Tools for Mathematical Collaboration},
 url = {http://dx.doi.org/10.1109/SYNASC.2011.64},
 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/issac/2011,
 editor = {{\'{E}}ric Schost and
Ioannis Z. Emiris},
 publisher = {ACM},
 title = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings},
 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}
}

@proceedings{DBLP:conf/synasc/2011,
 editor = {Dongming Wang and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 publisher = {{IEEE} Computer Society},
 title = {13th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2011, Timisoara, Romania, September
26-29, 2011},
 url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6168887},
 year = {2011}
}

@article{DBLP:journals/aaecc/BankGHDS10,
 author = {Bernd Bank and
Marc Giusti and
Joos Heintz and
Mohab Safey El Din and
{\'{E}}ric Schost},
 doi = {10.1007/s00200-009-0117-1},
 journal = {Appl. Algebra Eng. Commun. Comput.},
 pages = {33--83},
 title = {On the geometry of polar varieties},
 url = {http://dx.doi.org/10.1007/s00200-009-0117-1},
 volume = {21},
 year = {2010}
}

@article{DBLP:journals/cc/GiesbrechtR10,
 author = {Mark Giesbrecht and
Daniel S. Roche},
 doi = {10.1007/s00037-010-0294-0},
 journal = {Computational Complexity},
 pages = {333--354},
 title = {Interpolation of Shifted-Lacunary Polynomials},
 url = {http://dx.doi.org/10.1007/s00037-010-0294-0},
 volume = {19},
 year = {2010}
}

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

@article{DBLP:journals/corr/abs-1002-2594,
 author = {Luca De Feo and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {Fast Arithmetics in Artin-Schreier Towers over Finite Fields},
 url = {http://arxiv.org/abs/1002.2594},
 volume = {abs/1002.2594},
 year = {2010}
}

@article{DBLP:journals/corr/abs-1002-4784,
 author = {Changbo Chen and
James H. Davenport and
John P. May and
Marc {Moreno Maza} and
Bican Xia and
Rong Xiao},
 journal = {CoRR},
 title = {Triangular Decomposition of Semi-algebraic Systems},
 url = {http://arxiv.org/abs/1002.4784},
 volume = {abs/1002.4784},
 year = {2010}
}

@article{DBLP:journals/corr/abs-1005-1087,
 author = {Joachim von zur Gathen and
Mark Giesbrecht and
Konstantin Ziegler},
 journal = {CoRR},
 title = {Composition collisions and projective polynomials},
 url = {http://arxiv.org/abs/1005.1087},
 volume = {abs/1005.1087},
 year = {2010}
}

@article{DBLP:journals/corr/abs-1008-3459,
 author = {Xavier Dahan and
Abdulilah Kadri and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {Bit-size estimates for triangular sets in positive dimension},
 url = {http://arxiv.org/abs/1008.3459},
 volume = {abs/1008.3459},
 year = {2010}
}

@article{DBLP:journals/corr/abs-1009-3214,
 author = {Mark Giesbrecht and
Daniel S. Roche and
Hrushikesh Tilak},
 journal = {CoRR},
 title = {Computing sparse multiples of polynomials},
 url = {http://arxiv.org/abs/1009.3214},
 volume = {abs/1009.3214},
 year = {2010}
}

@article{DBLP:journals/ijdar/GolubitskyW10,
 author = {Oleg Golubitsky and
Stephen M. Watt},
 doi = {10.1007/s10032-009-0107-7},
 journal = {IJDAR},
 pages = {133--146},
 title = {Distance-based classification of handwritten symbols},
 url = {http://dx.doi.org/10.1007/s10032-009-0107-7},
 volume = {13},
 year = {2010}
}

@article{DBLP:journals/jco/KotsireasKPS10,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos and
Panos M. Pardalos and
Oleg V. Shylo},
 doi = {10.1007/s10878-008-9194-5},
 journal = {J. Comb. Optim.},
 pages = {63--75},
 title = {Periodic complementary binary sequences and Combinatorial Optimization
algorithms},
 url = {http://dx.doi.org/10.1007/s10878-008-9194-5},
 volume = {20},
 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 = {http://dx.doi.org/10.1016/j.jsc.2009.09.004},
 volume = {45},
 year = {2010}
}

@article{DBLP:journals/ol/KotsireasKP10,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos and
Panos M. Pardalos},
 doi = {10.1007/s11590-009-0144-7},
 journal = {Optimization Letters},
 pages = {29--36},
 title = {An efficient string sorting algorithm for weighing matrices of small
weight},
 url = {http://dx.doi.org/10.1007/s11590-009-0144-7},
 volume = {4},
 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{MR2566473,
 author = {Bostan, Alin and Salvy, Bruno and Schost, \'Eric},
 doi = {10.1016/j.laa.2009.08.002},
 journal = {Linear Algebra Appl.},
 pages = {249--258},
 title = {Fast conversion algorithms for orthogonal polynomials},
 url = {http://dx.doi.org/10.1016/j.laa.2009.08.002},
 volume = {432},
 year = {2010}
}

@article{MR2598693,
 author = {Kotsireas, I. S. and Koukouvinos, C. and Seberry, J. and
Simos, D. E.},
 journal = {Australas. J. Combin.},
 pages = {67--78},
 title = {New classes of orthogonal designs constructed from
complementary sequences with given spread},
 volume = {46},
 year = {2010}
}

@article{MR2605514,
 author = {Kotsireas, Ilias S. and Koukouvinos, Christos and Seberry, Jennifer},
 journal = {J. Combin. Math. Combin. Comput.},
 pages = {49--54},
 title = {New weighing matrices of order {$2n$} and weight {$2n-9$}},
 volume = {72},
 year = {2010}
}

@article{MR2607791,
 author = {Akrivis, Georgios and Gallopoulos, Efstratios and Hadjidimos, Apostolos and Kotsireas, Ilias S. and Noutsos, Dimitrios and
Vrahatis, Michael N.},
 doi = {10.1016/j.apnum.2010.02.001},
 journal = {Appl. Numer. Math.},
 pages = {293--297},
 title = {Preface [{S}pecial issue: {NUMAN} 2008]},
 url = {http://dx.doi.org/10.1016/j.apnum.2010.02.001},
 volume = {60},
 year = {2010}
}

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

@article{MR2732100,
 author = {Arasu, K. T. and Kotsireas, I. S. and Koukouvinos, C. and
Seberry, Jennifer},
 journal = {Australas. J. Combin.},
 pages = {43--51},
 title = {On circulant and two-circulant weighing matrices},
 volume = {48},
 year = {2010}
}

@article{MR2743518,
 author = {Kotsireas, Ilias S. and Koukouvinos, Christos and Simos, Dimitris E.},
 journal = {J. Combin. Math. Combin. Comput.},
 pages = {105--115},
 title = {Inequivalent {H}adamard matrices from near normal sequences},
 volume = {75},
 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 = {http://dx.doi.org/10.1063/1.3496906},
 volume = {51},
 year = {2010}
}

@article{MR2923271,
 author = {De Feo, Luca and Schost, \'Eric},
 journal = {ACM Commun. Comput. Algebra},
 pages = {59--71},
 title = {{\tt transalpyne}: a language for automatic transposition},
 volume = {44},
 year = {2010}
}

@incollection{MR2781354,
 author = {Giesbrecht, Mark and Roche, Daniel S. and Tilak, Hrushikesh},
 booktitle = {Algorithms and computation. {P}art {I}},
 doi = {10.1007/978-3-642-17517-6_25},
 pages = {266--278},
 publisher = {Springer, Berlin},
 title = {Computing sparse multiples of polynomials},
 url = {http://dx.doi.org/10.1007/978-3-642-17517-6_25},
 volume = {6506},
 year = {2010}
}

@incollection{MR2920545,
 author = {von zur Gathen, Joachim and Giesbrecht, Mark and Ziegler, Konstantin},
 booktitle = {I{SSAC} 2010---{P}roceedings of the 2010 {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1837934.1837962},
 pages = {123--130},
 publisher = {ACM, New York},
 title = {Composition collisions and projective polynomials},
 url = {http://dx.doi.org/10.1145/1837934.1837962},
 year = {2010}
}

@incollection{MR2920553,
 author = {Chen, Changbo and Davenport, James H. and May, John P. and
Moreno Maza, Marc and Xia, Bican and Xiao, Rong},
 booktitle = {I{SSAC} 2010---{P}roceedings of the 2010 {I}nternational
{S}ymposium on {S}ymbolic and {A}lgebraic {C}omputation},
 doi = {10.1145/1837934.1837972},
 pages = {187--194},
 publisher = {ACM, New York},
 title = {Triangular decomposition of semi-algebraic systems},
 url = {http://dx.doi.org/10.1145/1837934.1837972},
 year = {2010}
}

@inproceedings{DBLP:conf/aisc/CaretteSSW10,
 author = {Jacques Carette and
Alan P. Sexton and
Volker Sorge and
Stephen M. Watt},
 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_16},
 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 = {172--188},
 publisher = {Springer},
 title = {Symbolic Domain Decomposition},
 url = {http://dx.doi.org/10.1007/978-3-642-14128-7_16},
 volume = {6167},
 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 = {http://dx.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 = {http://doi.acm.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 = {http://doi.acm.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 = {http://doi.acm.org/10.1145/1837210.1837235},
 year = {2010}
}

@inproceedings{DBLP:conf/casc/DraganW10,
 author = {Laurentiu Dragan and
Stephen M. Watt},
 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_7},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Ernst W. Mayr and
Evgenii V. Vorozhtsov},
 pages = {73--84},
 publisher = {Springer},
 title = {Type Specialization in Aldor},
 url = {http://dx.doi.org/10.1007/978-3-642-15274-0_7},
 volume = {6244},
 year = {2010}
}

@inproceedings{DBLP:conf/das/GolubitskyMW10,
 author = {Oleg Golubitsky and
Vadim Mazalov and
Stephen M. Watt},
 booktitle = {The Ninth {IAPR} International Workshop on Document Analysis Systems, {DAS} 2010, June 9-11, 2010, Boston, Massachusetts, {USA}},
 doi = {10.1145/1815330.1815335},
 editor = {David S. Doermann and
Venu Govindaraju and
Daniel P. Lopresti and
Premkumar Natarajan},
 pages = {35--42},
 publisher = {ACM},
 title = {Toward affine recognition of handwritten mathematical characters},
 url = {http://doi.acm.org/10.1145/1815330.1815335},
 year = {2010}
}

@inproceedings{DBLP:conf/das/GolubitskyW10,
 author = {Oleg Golubitsky and
Stephen M. Watt},
 booktitle = {The Ninth {IAPR} International Workshop on Document Analysis Systems, {DAS} 2010, June 9-11, 2010, Boston, Massachusetts, {USA}},
 doi = {10.1145/1815330.1815338},
 editor = {David S. Doermann and
Venu Govindaraju and
Daniel P. Lopresti and
Premkumar Natarajan},
 pages = {59--64},
 publisher = {ACM},
 title = {Improved classification through runoff elections},
 url = {http://doi.acm.org/10.1145/1815330.1815338},
 year = {2010}
}

@inproceedings{DBLP:conf/icfhr/MazalovW10,
 author = {Vadim Mazalov and
Stephen M. Watt},
 booktitle = {International Conference on Frontiers in Handwriting Recognition, {ICFHR} 2010, Kolkata, India, 16-18 November 2010},
 doi = {10.1109/ICFHR.2010.112},
 pages = {688--694},
 publisher = {{IEEE} Computer Society},
 title = {Digital Ink Compression via Functional Approximation},
 url = {http://dx.doi.org/10.1109/ICFHR.2010.112},
 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 = {http://dx.doi.org/10.1007/978-3-642-15582-6_55},
 volume = {6327},
 year = {2010}
}

@inproceedings{DBLP:conf/synasc/Watt10,
 author = {Stephen M. Watt},
 booktitle = {12th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2010, Timisoara, Romania, 23-26 September
2010},
 doi = {10.1109/SYNASC.2010.93},
 editor = {Tetsuo Ida and
Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 pages = {17},
 publisher = {{IEEE} Computer Society},
 title = {On the Mathematics of Mathematical Handwriting Recognition},
 url = {http://dx.doi.org/10.1109/SYNASC.2010.93},
 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}
}

@proceedings{DBLP:conf/synasc/2010,
 editor = {Tetsuo Ida and
Viorel Negru and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
 publisher = {{IEEE} Computer Society},
 title = {12th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2010, Timisoara, Romania, 23-26 September
2010},
 url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5714592},
 year = {2010}
}

@article{DBLP:journals/amco/KotsireasKS09,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos and
Dimitris E. Simos},
 doi = {10.3934/amc.2009.3.349},
 journal = {Adv. in Math. of Comm.},
 pages = {349--361},
 title = {{MDS} and near-MDS self-dual codes over large prime fields},
 url = {http://dx.doi.org/10.3934/amc.2009.3.349},
 volume = {3},
 year = {2009}
}

@article{DBLP:journals/corr/abs-0901-1848,
 author = {Mark Giesbrecht and
Daniel S. Roche},
 journal = {CoRR},
 title = {Detecting lacunary perfect powers and computing their roots},
 url = {http://arxiv.org/abs/0901.1848},
 volume = {abs/0901.1848},
 year = {2009}
}

@article{DBLP:journals/corr/abs-0901-3657,
 author = {Alin Bostan and
Muhammad F. I. Chowdhury and
Joris van der Hoeven and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {Homotopy methods for multiplication modulo triangular sets},
 url = {http://arxiv.org/abs/0901.3657},
 volume = {abs/0901.3657},
 year = {2009}
}

@article{DBLP:journals/corr/abs-0901-3843,
 author = {Alin Bostan and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {Fast algorithms for differential equations in positive characteristic},
 url = {http://arxiv.org/abs/0901.3843},
 volume = {abs/0901.3843},
 year = {2009}
}

@article{DBLP:journals/corr/abs-0902-1612,
 author = {Mohab Safey El Din and
{\'{E}}ric Schost},
 journal = {CoRR},
 title = {A baby steps/giant steps Monte Carlo algorithm for computing roadmaps
in smooth compact real hypersurfaces},
 url = {http://arxiv.org/abs/0902.1612},
 volume = {abs/0902.1612},
 year = {2009}
}

@article{DBLP:journals/corr/abs-0903-3690,
 author = {Xin Li and
Marc {Moreno Maza} and
Wei Pan},
 journal = {CoRR},
 title = {Computations modulo regular chains},
 url = {http://arxiv.org/abs/0903.3690},
 volume = {abs/0903.3690},
 year = {2009}
}

@article{DBLP:journals/corr/abs-0903-5221,
 author = {Changbo Chen and
Marc {Moreno Maza} and
Bican Xia and
Lu Yang},
 journal = {CoRR},
 title = {Computing Cylindrical Algebraic Decomposition via Triangular Decomposition},
 url = {http://arxiv.org/abs/0903.5221},
 volume = {abs/0903.5221},
 year = {2009}
}

@article{DBLP:journals/corr/abs-0906-4121,
 author = {Mark Giesbrecht and
Myung Sub Kim},
 journal = {CoRR},
 title = {On computing the Hermite form of a matrix of differential polynomials},
 url = {http://arxiv.org/abs/0906.4121},
 volume = {abs/0906.4121},
 year = {2009}
}

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

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

@article{DBLP:journals/ipl/BostanS09,
 author = {Alin Bostan and
{\'{E}}ric Schost},
 doi = {10.1016/j.ipl.2009.03.012},
 journal = {Inf. Process. Lett.},
 pages = {754--756},
 title = {A simple and fast algorithm for computing exponentials of power series},
 url = {http://dx.doi.org/10.1016/j.ipl.2009.03.012},
 volume = {109},
 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 = {http://dx.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 = {http://dx.doi.org/10.1016/j.jsc.2009.05.001},
 volume = {44},
 year = {2009}
}

@article{DBLP:journals/jsc/DahanSW09,
 author = {Xavier Dahan and
{\'{E}}ric Schost and
Jie Wu},
 doi = {10.1016/j.jsc.2008.12.002},
 journal = {J. Symb. Comput.},
 pages = {1592--1604},
 title = {Evaluation properties of invariant polynomials},
 url = {http://dx.doi.org/10.1016/j.jsc.2008.12.002},
 volume = {44},
 year = {2009}
}

@article{DBLP:journals/jsc/GiesbrechtLL09,
 author = {Mark Giesbrecht and
George Labahn and
Wen{-}shin Lee},
 doi = {10.1016/j.jsc.2008.11.003},
 journal = {J. Symb. Comput.},
 pages = {943--959},
 title = {Symbolic-numeric sparse interpolation of multivariate polynomials},
 url = {http://dx.doi.org/10.1016/j.jsc.2008.11.003},
 volume = {44},
 year = {2009}
}

@article{DBLP:journals/jsc/KotsireasK09,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos},
 doi = {10.1016/j.jsc.2007.05.004},
 journal = {J. Symb. Comput.},
 pages = {271--279},
 title = {Hadamard matrices of Williamson type: {A} challenge for Computer Algebra},
 url = {http://dx.doi.org/10.1016/j.jsc.2007.05.004},
 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 = {http://dx.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 = {http://dx.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 = {http://dx.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 = {http://dx.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 = {Mathematics in Computer Science},
 pages = {557--566},
 title = {The Computational Complexity of Extrapolation Methods},
 url = {http://dx.doi.org/10.1007/s11786-007-0040-4},
 volume = {2},
 year = {2009}
}

@article{DBLP:journals/tcs/GargS09,
 author = {Sanchit Garg and
{\'{E}}ric Schost},
 doi = {10.1016/j.tcs.2009.03.030},
 journal = {Theor. Comput. Sci.},
 pages = {2659--2662},
 title = {Interpolation of polynomials given by straight-line programs},
 url = {http://dx.doi.org/10.1016/j.tcs.2009.03.030},
 volume = {410},
 year = {2009}
}

@article{MR2470944,
 author = {Amiraslani, A. and Corless, R. M. and Lancaster, P.},
 doi = {10.1093/imanum/drm051},
 journal = {IMA J. Numer. Anal.},
 pages = {141--157},
 title = {Linearization of matrix polynomials expressed in polynomial
bases},
 url = {http://dx.doi.org/10.1093/imanum/drm051},
 volume = {29},
 year = {2009}
}

@article{MR2499830,
 author = {Kotsireas, I. S. and Koukouvinos, C. and Simos, D. E.},
 journal = {Util. Math.},
 pages = {3--9},
 title = {Inequivalent {H}adamard matrices from base sequences},
 volume = {78},
 year = {2009}
}

@article{MR2512756,
 author = {Gallopoulos, Efstratios and Hadjidimos, Apostolos and
Kotsireas, Ilias S. and Noutsos, Dimitrios and Vrahatis, Michael N.},
 doi = {10.1016/j.cam.2008.07.015},
 journal = {J. Comput. Appl. Math.},
 pages = {1--4},
 title = {Preface [{S}pecial issue: {P}roceedings of {NUMAN} 2007
{C}onference: {R}ecent {A}pproaches to {N}umerical {A}nalysis:
{T}heory, {M}ethods and {A}pplications]},
 url = {http://dx.doi.org/10.1016/j.cam.2008.07.015},
 volume = {227},
 year = {2009}
}

@article{MR2537565,
 author = {Yu, P. and Corless, R.},
 doi = {10.1016/j.cnsns.2008.10.010},
 journal = {Commun. Nonlinear Sci. Numer. Simul.},
 pages = {4041--4056},
 title = {Symbolic computation of limit cycles associated with
{H}ilbert's 16th problem},
 url = {http://dx.doi.org/10.1016/j.cnsns.2008.10.010},
 volume = {14},
 year = {2009}
}

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

@article{MR2542675,
 author = {Kotsireas, Ilias S. and Koukouvinos, Christos},
 journal = {J. Combin. Math. Combin. Comput.},
 pages = {197--205},
 title = {New weighing matrices of order {$2n$} and weight {$2n-5$}},
 volume = {70},
 year = {2009}
}

@article{MR2557041,
 author = {Kotsireas, Ilias S. and Koukouvinos, Christos and Seberry, Jennifer},
 doi = {10.1007/s00026-009-0027-8},
 journal = {Ann. Comb.},
 pages = {305--313},
 title = {Weighing matrices and string sorting},
 url = {http://dx.doi.org/10.1007/s00026-009-0027-8},
 volume = {13},
 year = {2009}
}

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

@article{MR2597608,
 author = {B\'elanger, A. C. and Forsyth, P. A. and Labahn, G.},
 doi = {10.1080/13504860903075464},
 journal = {Appl. Math. Finance},
 pages = {451--496},
 title = {Valuing the guaranteed minimum death benefit clause with
partial withdrawals},
 url = {http://dx.doi.org/10.1080/13504860903075464},
 volume = {16},
 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 = {http://dx.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 = {http://dx.doi.org/10.1007/978-3-211-99314-9_4},
 year = {2009}
}

@incollection{MR2681667,
 author = {Boulier, Fran\c{c}ois and Chen, Changbo and Lemaire, Fran\c{c}ois and
Maza, Marc Moreno},
 booktitle = {The {J}oint {C}onference of {ASCM} 2009 and {MACIS} 2009},
 pages = {15--29},
 publisher = {Kyushu Univ. Fac. Math., Fukuoka},
 title = {Real root isolation of regular chains},
 volume = {22},
 year = {2009}
}