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

@article{DBLP:journals/corr/abs-1801-05423,
 author = {Eunice Y. S. Chan and
Robert M. Corless},
 journal = {CoRR},
 title = {A random walk through experimental mathematics},
 url = {http://arxiv.org/abs/1801.05423},
 volume = {abs/1801.05423},
 year = {2018}
}

@article{DBLP:journals/corr/abs-1802-10409,
 author = {Jonathan D. Hauenstein and
Mohab Safey El Din and
{'{E}}ric Schost and
Thi Xuan Vu},
 journal = {CoRR},
 title = {Solving determinantal systems using homotopy techniques},
 url = {http://arxiv.org/abs/1802.10409},
 volume = {abs/1802.10409},
 year = {2018}
}

@article{DBLP:journals/jsc/DinS18,
 author = {Mohab Safey El Din and
{'{E}}ric Schost},
 doi = {10.1016/j.jsc.2017.08.001},
 journal = {J. Symb. Comput.},
 pages = {176--206},
 title = {Bit complexity for multi-homogeneous polynomial system solving - Application
to polynomial minimization},
 url = {https://doi.org/10.1016/j.jsc.2017.08.001},
 volume = {87},
 year = {2018}
}

@article{DBLP:journals/jsc/PernetS18,
 author = {Cl{'{e}}ment Pernet and
Arne Storjohann},
 doi = {10.1016/j.jsc.2017.07.010},
 journal = {J. Symb. Comput.},
 pages = {224--246},
 title = {Time and space efficient generators for quasiseparable matrices},
 url = {https://doi.org/10.1016/j.jsc.2017.07.010},
 volume = {85},
 year = {2018}
}

@article{DBLP:journals/moc/NognengS18,
 author = {Dorian Nogneng and
{'{E}}ric Schost},
 doi = {10.1090/mcom/3231},
 journal = {Math. Comput.},
 pages = {893--904},
 title = {On the evaluation of some sparse polynomials},
 url = {https://doi.org/10.1090/mcom/3231},
 volume = {87},
 year = {2018}
}

@article{DBLP:journals/nm/BeckermannLM18,
 author = {Bernhard Beckermann and
George Labahn and
Ana C. Matos},
 doi = {10.1007/s00211-017-0917-3},
 journal = {Numerische Mathematik},
 pages = {615--633},
 title = {On rational functions without Froissart doublets},
 url = {https://doi.org/10.1007/s00211-017-0917-3},
 volume = {138},
 year = {2018}
}

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

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

@article{DBLP:journals/cca/SevyeriC17,
 author = {Leili Rafiee Sevyeri and
Robert M. Corless},
 doi = {10.1145/3096730.3096735},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {21--22},
 title = {Linearization of a specific family of B{'{e}}zout matrices},
 url = {http://doi.acm.org/10.1145/3096730.3096735},
 volume = {51},
 year = {2017}
}

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

@article{DBLP:journals/corr/abs-1712-00669,
 author = {Javad Doliskani and
Anand Kumar Narayanan and
{'{E}}ric Schost},
 journal = {CoRR},
 title = {Drinfeld Modules with Complex Multiplication, Hasse Invariants and
Factoring Polynomials over Finite Fields},
 url = {http://arxiv.org/abs/1712.00669},
 volume = {abs/1712.00669},
 year = {2017}
}

@article{DBLP:journals/corr/abs-1712-01752,
 author = {Robert M. Corless and
Robert H. C. Moir and
Marc Moreno Maza and
Ning Xie},
 journal = {CoRR},
 title = {Symbolic-Numeric Integration of Rational Functions},
 url = {http://arxiv.org/abs/1712.01752},
 volume = {abs/1712.01752},
 year = {2017}
}

@article{DBLP:journals/corr/abs-1712-04007,
 author = {Mark Giesbrecht and
Joseph Haraldson and
George Labahn},
 journal = {CoRR},
 title = {Computing Lower Rank Approximations of Matrix Polynomials},
 url = {http://arxiv.org/abs/1712.04007},
 volume = {abs/1712.04007},
 year = {2017}
}

@article{DBLP:journals/corr/abs-1712-04177,
 author = {Seung Gyu Hyun and
Vincent Neiger and
Hamid Rahkooy and
{'{E}}ric Schost},
 journal = {CoRR},
 title = {Block-Krylov techniques in the context of sparse-FGLM algorithms},
 url = {http://arxiv.org/abs/1712.04177},
 volume = {abs/1712.04177},
 year = {2017}
}

@article{DBLP:journals/corr/BostanJMS17,
 author = {Alin Bostan and
Claude{-}Pierre Jeannerod and
Christophe Mouilleron and
{'{E}}ric Schost},
 journal = {CoRR},
 title = {On matrices with displacement structure: generalized operators and
faster algorithms},
 url = {http://arxiv.org/abs/1703.03734},
 volume = {abs/1703.03734},
 year = {2017}
}

@article{DBLP:journals/corr/BrieulleFDFS17,
 author = {Ludovic Brieulle and
Luca De Feo and
Javad Doliskani and
Jean{-}Pierre Flori and
{'{E}}ric Schost},
 journal = {CoRR},
 title = {Computing isomorphisms and embeddings of finite fields},
 url = {http://arxiv.org/abs/1705.01221},
 volume = {abs/1705.01221},
 year = {2017}
}

@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/NeigerRS17aa,
 author = {Vincent Neiger and
Hamid Rahkooy and
{'{E}}ric Schost},
 journal = {CoRR},
 title = {Algorithms for zero-dimensional ideals using linear recurrent sequences},
 url = {http://arxiv.org/abs/1707.01971},
 volume = {abs/1707.01971},
 year = {2017}
}

@article{DBLP:journals/corr/NeigerRS17,
 author = {Vincent Neiger and
Johan Rosenkilde and
{'{E}}ric Schost},
 journal = {CoRR},
 title = {Fast Computation of the Roots of Polynomials Over the Ring of Power
Series},
 url = {http://arxiv.org/abs/1705.10658},
 volume = {abs/1705.10658},
 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 = {https://doi.org/10.1007/s10817-016-9396-y},
 volume = {58},
 year = {2017}
}

@article{DBLP:journals/jc/LabahnNZ17,
 author = {George Labahn and
Vincent Neiger and
Wei Zhou},
 doi = {10.1016/j.jco.2017.03.003},
 journal = {J. Complexity},
 pages = {44--71},
 title = {Fast, deterministic computation of the Hermite normal form and determinant
of a polynomial matrix},
 url = {https://doi.org/10.1016/j.jco.2017.03.003},
 volume = {42},
 year = {2017}
}

@article{DBLP:journals/jsc/JeannerodNSV17,
 author = {Claude{-}Pierre Jeannerod and
Vincent Neiger and
{'{E}}ric Schost and
Gilles Villard},
 doi = {10.1016/j.jsc.2016.11.015},
 journal = {J. Symb. Comput.},
 pages = {272--314},
 title = {Computing minimal interpolation bases},
 url = {https://doi.org/10.1016/j.jsc.2016.11.015},
 volume = {83},
 year = {2017}
}

@article{DBLP:journals/mics/Dana-PicardKKKP17,
 author = {Thierry N. Dana{-}Picard and
Wolfram Koepf and
Ilias S. Kotsireas and
Zolt{'{a}}n Kov{'{a}}cs and
Alexander Prokopenya and
Werner M. Seiler},
 doi = {10.1007/s11786-017-0324-2},
 journal = {Mathematics in Computer Science},
 pages = {251--252},
 title = {Foreword},
 url = {https://doi.org/10.1007/s11786-017-0324-2},
 volume = {11},
 year = {2017}
}

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

@article{DBLP:journals/mics/Kotsireas17,
 author = {Ilias S. Kotsireas},
 doi = {10.1007/s11786-017-0312-6},
 journal = {Mathematics in Computer Science},
 pages = {1--6},
 title = {Mathematics in Computer Science: After 10 Years},
 url = {https://doi.org/10.1007/s11786-017-0312-6},
 volume = {11},
 year = {2017}
}

@article{DBLP:journals/siammax/BostanJMS17,
 author = {Alin Bostan and
Claude{-}Pierre Jeannerod and
Christophe Mouilleron and
{'{E}}ric Schost},
 doi = {10.1137/16M1062855},
 journal = {{SIAM} J. Matrix Analysis Applications},
 pages = {733--775},
 title = {On Matrices With Displacement Structure: Generalized Operators and
Faster Algorithms},
 url = {https://doi.org/10.1137/16M1062855},
 volume = {38},
 year = {2017}
}

@article{DBLP:journals/tcs/VerscheldeWZ17,
 author = {Jan Verschelde and
Stephen M. Watt and
Lihong Zhi},
 doi = {10.1016/j.tcs.2017.03.023},
 journal = {Theor. Comput. Sci.},
 pages = {1--2},
 title = {{TCS} {SNC} Preface},
 url = {https://doi.org/10.1016/j.tcs.2017.03.023},
 volume = {681},
 year = {2017}
}

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

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

@inproceedings{DBLP:conf/casc/JingM17a,
 author = {Rui{-}Juan Jing and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 19th International Workshop,
{CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
 doi = {10.1007/978-3-319-66320-3_18},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {242--256},
 publisher = {Springer},
 title = {Computing the Integer Points of a Polyhedron, {II:} Complexity Estimates},
 url = {https://doi.org/10.1007/978-3-319-66320-3_18},
 volume = {10490},
 year = {2017}
}

@inproceedings{DBLP:conf/casc/JingM17,
 author = {Rui{-}Juan Jing and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 19th International Workshop,
{CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
 doi = {10.1007/978-3-319-66320-3_17},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {225--241},
 publisher = {Springer},
 title = {Computing the Integer Points of a Polyhedron, {I:} Algorithm},
 url = {https://doi.org/10.1007/978-3-319-66320-3_17},
 volume = {10490},
 year = {2017}
}

@inproceedings{DBLP:conf/casc/NeigerRS17,
 author = {Vincent Neiger and
Hamid Rahkooy and
{'{E}}ric Schost},
 booktitle = {Computer Algebra in Scientific Computing - 19th International Workshop,
{CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
 doi = {10.1007/978-3-319-66320-3_23},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {313--328},
 publisher = {Springer},
 title = {Algorithms for Zero-Dimensional Ideals Using Linear Recurrent Sequences},
 url = {https://doi.org/10.1007/978-3-319-66320-3_23},
 volume = {10490},
 year = {2017}
}

@inproceedings{DBLP:conf/casc/WuCR17,
 author = {Wenyuan Wu and
Changbo Chen and
Greg Reid},
 booktitle = {Computer Algebra in Scientific Computing - 19th International Workshop,
{CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
 doi = {10.1007/978-3-319-66320-3_27},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {377--391},
 publisher = {Springer},
 title = {Penalty Function Based Critical Point Approach to Compute Real Witness
Solution Points of Polynomial Systems},
 url = {https://doi.org/10.1007/978-3-319-66320-3_27},
 volume = {10490},
 year = {2017}
}

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

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

@inproceedings{DBLP:conf/issac/EmirisKKL17,
 author = {Ioannis Z. Emiris and
Christos Konaxis and
Ilias S. Kotsireas and
Cl{'{e}}ment Laroche},
 booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
 doi = {10.1145/3087604.3087629},
 editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
 pages = {149--156},
 publisher = {{ACM}},
 title = {Matrix Representations by Means of Interpolation},
 url = {http://doi.acm.org/10.1145/3087604.3087629},
 year = {2017}
}

@inproceedings{DBLP:conf/issac/GiesbrechtHL17,
 author = {Mark Giesbrecht and
Joseph Haraldson and
George Labahn},
 booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
 doi = {10.1145/3087604.3087648},
 editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
 pages = {181--188},
 publisher = {{ACM}},
 title = {Computing the Nearest Rank-Deficient Matrix Polynomial},
 url = {http://doi.acm.org/10.1145/3087604.3087648},
 year = {2017}
}

@inproceedings{DBLP:conf/issac/HaqueHMM17,
 author = {Sardar Anisul Haque and
Amir Hashemi and
Davood Mohajerani and
Marc Moreno Maza},
 booktitle = {Proceedings of the International Workshop on Parallel Symbolic Computation,
PASCO@ISSAC 2017, Kaiserslautern, Germany, July 23-24, 2017},
 doi = {10.1145/3115936.3115946},
 editor = {Jean{-}Charles Faug{\`{e}}re and
Michael B. Monagan and
Hans{-}Wolfgang Loidl},
 pages = {10:1--10:10},
 publisher = {{ACM}},
 title = {Plain, and Somehow Sparse, Univariate Polynomial Division on Graphics
Processing Units},
 url = {http://doi.acm.org/10.1145/3115936.3115946},
 year = {2017}
}

@inproceedings{DBLP:conf/issac/HyunLS17,
 author = {Seung Gyu Hyun and
Romain Lebreton and
{'{E}}ric Schost},
 booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
 doi = {10.1145/3087604.3087659},
 editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
 pages = {205--212},
 publisher = {{ACM}},
 title = {Algorithms for Structured Linear Systems Solving and Their Implementation},
 url = {http://doi.acm.org/10.1145/3087604.3087659},
 year = {2017}
}

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

@inproceedings{DBLP:conf/issac/KaltofenPSW17,
 author = {Erich L. Kaltofen and
Cl{'{e}}ment Pernet and
Arne Storjohann and
Cleveland Waddell},
 booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
 doi = {10.1145/3087604.3087645},
 editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
 pages = {237--244},
 publisher = {{ACM}},
 title = {Early Termination in Parametric Linear System Solving and Rational
Function Vector Recovery with Error Correction},
 url = {http://doi.acm.org/10.1145/3087604.3087645},
 year = {2017}
}

@inproceedings{DBLP:conf/issac/KhochtaliRS17,
 author = {Mohamed Khochtali and
Johan Rosenkilde and
Arne Storjohann},
 booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
 doi = {10.1145/3087604.3087650},
 editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
 pages = {253--260},
 publisher = {{ACM}},
 title = {Popov Form Computation for Matrices of Ore Polynomials},
 url = {http://doi.acm.org/10.1145/3087604.3087650},
 year = {2017}
}

@inproceedings{DBLP:conf/issac/MantzaflarisST17,
 author = {Angelos Mantzaflaris and
{'{E}}ric Schost and
Elias P. Tsigaridas},
 booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
 doi = {10.1145/3087604.3087653},
 editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
 pages = {301--308},
 publisher = {{ACM}},
 title = {Sparse Rational Univariate Representation},
 url = {http://doi.acm.org/10.1145/3087604.3087653},
 year = {2017}
}

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

@inproceedings{DBLP:conf/issac/NeigerRS17,
 author = {Vincent Neiger and
Johan Rosenkilde and
{'{E}}ric Schost},
 booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
July 25-28, 2017},
 doi = {10.1145/3087604.3087642},
 editor = {Michael A. Burr and
Chee K. Yap and
Mohab Safey El Din},
 pages = {349--356},
 publisher = {{ACM}},
 title = {Fast Computation of the Roots of Polynomials Over the Ring of Power
Series},
 url = {http://doi.acm.org/10.1145/3087604.3087642},
 year = {2017}
}

@inproceedings{DBLP:conf/macis/CorlessMT17,
 author = {Robert M. Corless and
Marc Moreno Maza and
Steven E. Thornton},
 booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
 doi = {10.1007/978-3-319-72453-9_13},
 editor = {Johannes Bl{"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
 pages = {179--194},
 publisher = {Springer},
 title = {Jordan Canonical Form with Parameters from Frobenius Form with Parameters},
 url = {https://doi.org/10.1007/978-3-319-72453-9_13},
 volume = {10693},
 year = {2017}
}

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

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

@inproceedings{DBLP:conf/mkm/IonW17,
 author = {Patrick D. F. Ion and
Stephen M. Watt},
 booktitle = {Intelligent Computer Mathematics - 10th International Conference,
{CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
 doi = {10.1007/978-3-319-62075-6_5},
 editor = {Herman Geuvers and
Matthew England and
Osman Hasan and
Florian Rabe and
Olaf Teschke},
 pages = {56--69},
 publisher = {Springer},
 title = {The Global Digital Mathematics Library and the International Mathematical
Knowledge Trust},
 url = {https://doi.org/10.1007/978-3-319-62075-6_5},
 volume = {10383},
 year = {2017}
}

@inproceedings{DBLP:conf/srds/AflakiVBKS17,
 author = {Saba Aflaki and
Matthias Volk and
Borzoo Bonakdarpour and
Joost{-}Pieter Katoen and
Arne Storjohann},
 booktitle = {36th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2017,
Hong Kong, Hong Kong, September 26-29, 2017},
 doi = {10.1109/SRDS.2017.22},
 pages = {94--103},
 publisher = {{IEEE} Computer Society},
 title = {Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms},
 url = {https://doi.org/10.1109/SRDS.2017.22},
 year = {2017}
}

@inproceedings{DBLP:conf/sycss/IdaW17,
 author = {Tetsuo Ida and
Stephen M. Watt},
 booktitle = {{SCSS} 2017, The 8th International Symposium on Symbolic Computation
in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
 editor = {Mohamed Mosbah and
Micha{"{e}}l Rusinowitch},
 pages = {83--95},
 publisher = {EasyChair},
 title = {Origami folds in higher-dimension},
 url = {http://www.easychair.org/publications/paper/Origami_folds_in_higher-dimension},
 volume = {45},
 year = {2017}
}

@proceedings{DBLP:conf/macis/2017,
 doi = {10.1007/978-3-319-72453-9},
 editor = {Johannes Bl{"{o}}mer and
Ilias S. Kotsireas and
Temur Kutsia and
Dimitris E. Simos},
 publisher = {Springer},
 title = {Mathematical Aspects of Computer and Information Sciences - 7th International
Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
 url = {https://doi.org/10.1007/978-3-319-72453-9},
 volume = {10693},
 year = {2017}
}

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

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

@article{DBLP:journals/cca/ChanC16,
 author = {Eunice Y. S. Chan and
Robert M. Corless},
 doi = {10.1145/3055282.3055288},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {155--157},
 title = {Fibonacci-mandelbrot polynomials and matrices},
 url = {http://doi.acm.org/10.1145/3055282.3055288},
 volume = {50},
 year = {2016}
}

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

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

@article{DBLP:journals/cca/IlieS16,
 author = {Silvana Ilie and
Arne Storjohann},
 doi = {10.1145/2930964.2930969},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {35--39},
 title = {Abstracts of the 2015 east coast computer algebra day},
 url = {http://doi.acm.org/10.1145/2930964.2930969},
 volume = {50},
 year = {2016}
}

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

@article{DBLP:journals/cca/LabahnW16,
 author = {George Labahn and
Stephen M. Watt},
 doi = {10.1145/2930964.2930967},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {25--26},
 title = {Thematic program in computer algebra: July 1 - Dec 31, 2015},
 url = {http://doi.acm.org/10.1145/2930964.2930967},
 volume = {50},
 year = {2016}
}

@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 Sebastian Rosenkilde 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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://doi.org/10.1137/15M1032351},
 volume = {58},
 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 = {https://doi.org/10.1007/978-3-319-45641-6_9},
 volume = {9890},
 year = {2016}
}

@inproceedings{DBLP:conf/isaim/Kotsireas16,
 author = {Ilias S. Kotsireas},
 booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016.},
 title = {Computational Approaches to Open Problems in Combinatorics},
 url = {http://isaim2016.cs.virginia.edu/papers/ISAIM2016_Proofs_Kotsireas.pdf},
 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/BrightGHKNC16,
 author = {Curtis Bright and
Vijay Ganesh and
Albert Heinle and
Ilias S. Kotsireas and
Saeed Nejati and
Krzysztof Czarnecki},
 booktitle = {Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic
Computation co-located with 18th International Symposium on Symbolic
and Numeric Algorithms for Scientific Computing {(SYNASC} 2016), Timisoara,
Romania, September 24, 2016.},
 editor = {Erika {'{A}}brah{'{a}}m and
James H. Davenport and
Pascal Fontaine},
 pages = {13--19},
 publisher = {CEUR-WS.org},
 title = {MathCheck2: {A} {SAT+CAS} Verifier for Combinatorial Conjectures},
 url = {http://ceur-ws.org/Vol-1804/paper-04.pdf},
 volume = {1804},
 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 = {https://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 = {https://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 = {https://doi.org/10.1109/SYNASC.2016.019},
 year = {2016}
}

@inproceedings{DBLP:conf/wea/KotsireasPPS16,
 author = {Ilias S. Kotsireas and
Panos M. Pardalos and
Konstantinos E. Parsopoulos and
Dimitris Souravlias},
 booktitle = {Experimental Algorithms - 15th International Symposium, {SEA} 2016,
St. Petersburg, Russia, June 5-8, 2016, Proceedings},
 doi = {10.1007/978-3-319-38851-9_13},
 editor = {Andrew V. Goldberg and
Alexander S. Kulikov},
 pages = {184--200},
 publisher = {Springer},
 title = {On the Solution of Circulant Weighing Matrices Problems Using Algorithm
Portfolios on Multi-core Processors},
 url = {https://doi.org/10.1007/978-3-319-38851-9_13},
 volume = {9685},
 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 = {https://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/cca/GiesbrechtHL15,
 author = {Mark Giesbrecht and
Albert Heinle and
Viktor Levandovskyy},
 doi = {10.1145/2768577.2768645},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {33},
 title = {On factoring differential and difference operators in mph{n} variables},
 url = {http://doi.acm.org/10.1145/2768577.2768645},
 volume = {49},
 year = {2015}
}

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

@article{DBLP:journals/cca/Labahn15a,
 author = {George Labahn},
 doi = {10.1145/2768577.2768641},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {31--32},
 title = {Rational invariants of finite abelian groups},
 url = {http://doi.acm.org/10.1145/2768577.2768641},
 volume = {49},
 year = {2015}
}

@article{DBLP:journals/cca/Labahn15,
 author = {George Labahn},
 doi = {10.1145/2768577.2768621},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {25},
 title = {Dynamical systems and scaling invariants},
 url = {http://doi.acm.org/10.1145/2768577.2768621},
 volume = {49},
 year = {2015}
}

@article{DBLP:journals/cca/Maza15,
 author = {Marc Moreno Maza},
 doi = {10.1145/2815111.2815129},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {54},
 title = {Doing algebraic geometry with the RegularChains library},
 url = {http://doi.acm.org/10.1145/2815111.2815129},
 volume = {49},
 year = {2015}
}

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

@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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://doi.org/10.1109/TIT.2015.2416068},
 volume = {61},
 year = {2015}
}

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

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

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

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

@inproceedings{DBLP:conf/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 = {https://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 = {https://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 = {https://doi.org/10.1109/SYNASC.2015.18},
 year = {2015}
}

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

@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/cca/ArnoldS14,
 author = {Andrew Arnold and
{'{E}}ric Schost},
 doi = {10.1145/2733693.2733698},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {98--99},
 title = {A Truncated Fourier Transform middle product},
 url = {http://doi.acm.org/10.1145/2733693.2733698},
 volume = {48},
 year = {2014}
}

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

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

@article{DBLP:journals/cca/CorlessMT14,
 author = {Robert M. Corless and
Marc Moreno Maza and
Steven E. Thornton},
 doi = {10.1145/2733693.2733702},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {109--112},
 title = {Zigzag Form over Families of Parametric Matrices},
 url = {http://doi.acm.org/10.1145/2733693.2733702},
 volume = {48},
 year = {2014}
}

@article{DBLP:journals/cca/Kotsireas14a,
 author = {Ilias S. Kotsireas},
 doi = {10.1145/2733693.2733718},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {154},
 title = {Message from the {SIGSAM} Chair},
 url = {http://doi.acm.org/10.1145/2733693.2733718},
 volume = {48},
 year = {2014}
}

@article{DBLP:journals/cca/Kotsireas14,
 author = {Ilias S. Kotsireas},
 doi = {10.1145/2644288.2644296},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {32},
 title = {Message from the {SIGSAM} Chair},
 url = {http://doi.acm.org/10.1145/2644288.2644296},
 volume = {48},
 year = {2014}
}

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

@article{DBLP:journals/cca/StorjohannY14,
 author = {Arne Storjohann and
Shiyun Yang},
 doi = {10.1145/2733693.2733713},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {140--142},
 title = {A Relaxed Algorithm for Online Matrix Inversion},
 url = {http://doi.acm.org/10.1145/2733693.2733713},
 volume = {48},
 year = {2014}
}

@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 {	extdollar}p{	extdollar}-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 {	extdollar}p{	extdollar}-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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://doi.org/10.1007/s11075-013-9770-3},
 volume = {65},
 year = {2014}
}

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

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

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

@inproceedings{DBLP:conf/casc/BradfordCDEMW14,
 author = {Russell J. Bradford and
Changbo Chen and
James H. Davenport and
Matthew England and
Marc Moreno Maza and
David J. Wilson},
 booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop,
{CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings},
 doi = {10.1007/978-3-319-10515-4_4},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {44--58},
 publisher = {Springer},
 title = {Truth Table Invariant Cylindrical Algebraic Decomposition by Regular
Chains},
 url = {https://doi.org/10.1007/978-3-319-10515-4_4},
 volume = {8660},
 year = {2014}
}

@inproceedings{DBLP:conf/casc/HaqueMM14,
 author = {Sardar Anisul Haque and
Farnam Mansouri and
Marc Moreno Maza},
 booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop,
{CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings},
 doi = {10.1007/978-3-319-10515-4_13},
 editor = {Vladimir P. Gerdt and
Wolfram Koepf and
Werner M. Seiler and
Evgenii V. Vorozhtsov},
 pages = {171--185},
 publisher = {Springer},
 title = {On the Parallelization of Subproduct Tree Techniques Targeting Many-Core
Architectures},
 url = {https://doi.org/10.1007/978-3-319-10515-4_13},
 volume = {8660},
 year = {2014}
}

@inproceedings{DBLP:conf/iccS/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 J. Dongarra and
Peter M. A. Sloot},
 pages = {2055--2064},
 publisher = {Elsevier},
 title = {Distance-based High-frequency Trading},
 url = {https://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 J. Dongarra and
Peter M. A. Sloot},
 pages = {1423--1432},
 publisher = {Elsevier},
 title = {Exploring Rounding Errors in Matlab Using Extended Precision},
 url = {https://doi.org/10.1016/j.procs.2014.05.129},
 volume = {29},
 year = {2014}
}

@inproceedings{DBLP:conf/icms/AlvandiCMMSV14,
 author = {Parisa Alvandi and
Changbo Chen and
Steffen Marcus and
Marc Moreno Maza and
{'{E}}ric Schost and
Paul Vrbik},
 booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
Seoul, South Korea, August 5-9, 2014. Proceedings},
 doi = {10.1007/978-3-662-44199-2_71},
 editor = {Hoon Hong and
Chee Yap},
 pages = {472--479},
 publisher = {Springer},
 title = {Doing Algebraic Geometry with the RegularChains Library},
 url = {https://doi.org/10.1007/978-3-662-44199-2_71},
 volume = {8592},
 year = {2014}
}

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

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

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

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

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

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

@inproceedings{DBLP:conf/issac/ArnoldGR14,
 author = {Andrew Arnold and
Mark Giesbrecht and
Daniel S. Roche},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
'14, Kobe, Japan, July 23-25, 2014},
 doi = {10.1145/2608628.2608671},
 editor = {Katsusuke Nabeshima and
Kosaku Nagasaka and
Franz Winkler and
{'{A}}gnes Sz{'{a}}nt{'{o}}},
 pages = {27--34},
 publisher = {{ACM}},
 title = {Sparse interpolation over finite fields via low-order roots of unity},
 url = {http://doi.acm.org/10.1145/2608628.2608671},
 year = {2014}
}

@inproceedings{DBLP:conf/issac/BostanCS14,
 author = {Alin Bostan and
Xavier Caruso and
{'{E}}ric Schost},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
'14, Kobe, Japan, July 23-25, 2014},
 doi = {10.1145/2608628.2608650},
 editor = {Katsusuke Nabeshima and
Kosaku Nagasaka and
Franz Winkler and
{'{A}}gnes Sz{'{a}}nt{'{o}}},
 pages = {59--66},
 publisher = {{ACM}},
 title = {A fast algorithm for computing the characteristic polynomial of the
p-curvature},
 url = {http://doi.acm.org/10.1145/2608628.2608650},
 year = {2014}
}

@inproceedings{DBLP:conf/issac/ChenM14,
 author = {Changbo Chen and
Marc Moreno Maza},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
'14, Kobe, Japan, July 23-25, 2014},
 doi = {10.1145/2608628.2608666},
 editor = {Katsusuke Nabeshima and
Kosaku Nagasaka and
Franz Winkler and
{'{A}}gnes Sz{'{a}}nt{'{o}}},
 pages = {91--98},
 publisher = {{ACM}},
 title = {Quantifier elimination by cylindrical algebraic decomposition based
on regular chains},
 url = {http://doi.acm.org/10.1145/2608628.2608666},
 year = {2014}
}

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

@inproceedings{DBLP:conf/issac/FeoDS14,
 author = {Luca De Feo and
Javad Doliskani and
{'{E}}ric Schost},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
'14, Kobe, Japan, July 23-25, 2014},
 doi = {10.1145/2608628.2608672},
 editor = {Katsusuke Nabeshima and
Kosaku Nagasaka and
Franz Winkler and
{'{A}}gnes Sz{'{a}}nt{'{o}}},
 pages = {122--129},
 publisher = {{ACM}},
 title = {Fast arithmetic for the algebraic closure of finite fields},
 url = {http://doi.acm.org/10.1145/2608628.2608672},
 year = {2014}
}

@inproceedings{DBLP:conf/issac/GiesbrechtHL14,
 author = {Mark Giesbrecht and
Albert Heinle and
Viktor Levandovskyy},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
'14, Kobe, Japan, July 23-25, 2014},
 doi = {10.1145/2608628.2608667},
 editor = {Katsusuke Nabeshima and
Kosaku Nagasaka and
Franz Winkler and
{'{A}}gnes Sz{'{a}}nt{'{o}}},
 pages = {194--201},
 publisher = {{ACM}},
 title = {Factoring linear differential operators in mph{n} variables},
 url = {http://doi.acm.org/10.1145/2608628.2608667},
 year = {2014}
}

@inproceedings{DBLP:conf/issac/StorjohannY14,
 author = {Arne Storjohann and
Shiyun Yang},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
'14, Kobe, Japan, July 23-25, 2014},
 doi = {10.1145/2608628.2608673},
 editor = {Katsusuke Nabeshima and
Kosaku Nagasaka and
Franz Winkler and
{'{A}}gnes Sz{'{a}}nt{'{o}}},
 pages = {381--388},
 publisher = {{ACM}},
 title = {Linear independence oracles and applications to rectangular and low
rank linear systems},
 url = {http://doi.acm.org/10.1145/2608628.2608673},
 year = {2014}
}

@inproceedings{DBLP:conf/issac/ZhouL14,
 author = {Wei Zhou and
George Labahn},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
'14, Kobe, Japan, July 23-25, 2014},
 doi = {10.1145/2608628.2608640},
 editor = {Katsusuke Nabeshima and
Kosaku Nagasaka and
Franz Winkler and
{'{A}}gnes Sz{'{a}}nt{'{o}}},
 pages = {413--420},
 publisher = {{ACM}},
 title = {Unimodular completion of polynomial matrices},
 url = {http://doi.acm.org/10.1145/2608628.2608640},
 year = {2014}
}

@inproceedings{DBLP:conf/iwomp/ChenMSU14,
 author = {Xiaohui Chen and
Marc Moreno Maza and
Sushek Shekar and
Priya Unnikrishnan},
 booktitle = {Using and Improving OpenMP for Devices, Tasks, and More - 10th International
Workshop on OpenMP, {IWOMP} 2014, Salvador, Brazil, September 28-30,
2014. Proceedings},
 doi = {10.1007/978-3-319-11454-5_3},
 editor = {Luiz DeRose and
Bronis R. de Supinski and
Stephen L. Olivier and
Barbara M. Chapman and
Matthias S. M{"{u}}ller},
 pages = {30--44},
 publisher = {Springer},
 title = {MetaFork: {A} Framework for Concurrency Platforms Targeting Multicores},
 url = {https://doi.org/10.1007/978-3-319-11454-5_3},
 volume = {8766},
 year = {2014}
}

@inproceedings{DBLP:conf/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 = {https://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 = {https://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}
}

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

@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 = {https://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 = {https://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 = {https://doi.org/10.1016/j.cagd.2013.04.003},
 volume = {30},
 year = {2013}
}

@article{DBLP:journals/cca/ArnoldGR13,
 author = {Andrew Arnold and
Mark Giesbrecht and
Daniel S. Roche},
 doi = {10.1145/2576802.2576815},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {104--105},
 title = {Recursive sparse interpolation},
 url = {http://doi.acm.org/10.1145/2576802.2576815},
 volume = {47},
 year = {2013}
}

@article{DBLP:journals/cca/SchostS13,
 author = {{'{E}}ric Schost and
Pierre{-}Jean Spaenlehauer},
 doi = {10.1145/2576802.2576811},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {96--97},
 title = {Newton-like iteration for determinantal systems and structured low
rank approximation},
 url = {http://doi.acm.org/10.1145/2576802.2576811},
 volume = {47},
 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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://doi.org/10.1016/j.jsc.2011.12.014},
 volume = {49},
 year = {2013}
}

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

@article{DBLP:journals/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 = {https://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 = {https://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 = {https://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 = {https://doi.org/10.1016/j.jsc.2012.05.008},
 volume = {50},
 year = {2013}
}

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

@article{DBLP:journals/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 = {https://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 = {https://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 = {https://doi.org/10.1016/j.tcs.2012.10.017},
 volume = {479},
 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 = {https://doi.org/10.1007/978-1-4614-6642-0_11},
 year = {2013}
}

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

@inproceedings{DBLP:conf/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 = {https://doi.org/10.1007/978-3-319-02297-0_5},
 volume = {8136},
 year = {2013}
}

@inproceedings{DBLP:conf/issac/FeoDS13,
 author = {Luca De Feo and
Javad Doliskani and
{'{E}}ric Schost},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'13,
Boston, MA, USA, June 26-29, 2013},
 doi = {10.1145/2465506.2465956},
 editor = {Manuel Kauers},
 pages = {165--172},
 publisher = {{ACM}},
 title = {Fast algorithms for mph{l}-adic towers over finite fields},
 url = {http://doi.acm.org/10.1145/2465506.2465956},
 year = {2013}
}

@inproceedings{DBLP:conf/issac/HoevenLS13,
 author = {Joris van der Hoeven and
Romain Lebreton and
{'{E}}ric Schost},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'13,
Boston, MA, USA, June 26-29, 2013},
 doi = {10.1145/2465506.2465526},
 editor = {Manuel Kauers},
 pages = {355--362},
 publisher = {{ACM}},
 title = {Structured {FFT} and {TFT:} symmetric and lattice polynomials},
 url = {http://doi.acm.org/10.1145/2465506.2465526},
 year = {2013}
}

@inproceedings{DBLP:conf/issac/LebretonMS13,
 author = {Romain Lebreton and
Esmaeil Mehrabi and
{'{E}}ric Schost},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'13,
Boston, MA, USA, June 26-29, 2013},
 doi = {10.1145/2465506.2465950},
 editor = {Manuel Kauers},
 pages = {251--258},
 publisher = {{ACM}},
 title = {On the complexity of solving bivariate systems: the case of non-singular
solutions},
 url = {http://doi.acm.org/10.1145/2465506.2465950},
 year = {2013}
}

@inproceedings{DBLP:conf/issac/PauderisS13,
 author = {Colton Pauderis and
Arne Storjohann},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'13,
Boston, MA, USA, June 26-29, 2013},
 doi = {10.1145/2465506.2465955},
 editor = {Manuel Kauers},
 pages = {307--314},
 publisher = {{ACM}},
 title = {Computing the invariant structure of integer matrices: fast algorithms
into practice},
 url = {http://doi.acm.org/10.1145/2465506.2465955},
 year = {2013}
}

@inproceedings{DBLP:conf/issac/WuR13,
 author = {Wenyuan Wu and
Greg Reid},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'13,
Boston, MA, USA, June 26-29, 2013},
 doi = {10.1145/2465506.2465954},
 editor = {Manuel Kauers},
 pages = {339--346},
 publisher = {{ACM}},
 title = {Finding points on real solution components and applications to differential
polynomial systems},
 url = {http://doi.acm.org/10.1145/2465506.2465954},
 year = {2013}
}

@inproceedings{DBLP:conf/issac/ZhouL13,
 author = {Wei Zhou and
George Labahn},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'13,
Boston, MA, USA, June 26-29, 2013},
 doi = {10.1145/2465506.2465947},
 editor = {Manuel Kauers},
 pages = {379--386},
 publisher = {{ACM}},
 title = {Computing column bases of polynomial matrices},
 url = {http://doi.acm.org/10.1145/2465506.2465947},
 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 = {https://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 = {https://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 = {https://doi.org/10.1109/SYNASC.2013.25},
 year = {2013}
}

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

@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{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 = {https://doi.org/10.1007/s00453-012-9652-4},
 volume = {64},
 year = {2012}
}

@article{DBLP:journals/cca/LabahnM12,
 author = {George Labahn and
Johannes Middeke},
 doi = {10.1145/2429135.2429156},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {106--107},
 title = {Gr{"{o}}bner walk for computing matrix normal forms over Ore polynomials},
 url = {http://doi.acm.org/10.1145/2429135.2429156},
 volume = {46},
 year = {2012}
}

@article{DBLP:journals/cca/LebretonMS12,
 author = {Romain Lebreton and
Esmaeil Mehrabi and
{'{E}}ric Schost},
 doi = {10.1145/2429135.2429157},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {108--109},
 title = {On the complexity of computing certain resultants},
 url = {http://doi.acm.org/10.1145/2429135.2429157},
 volume = {46},
 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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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}
}

@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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 {	extbackslash}(P{	extbackslash})
-Solvable Recurrences},
 url = {https://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 = {https://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 = {https://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 = {https://doi.org/10.1007/978-3-642-32973-9_17},
 volume = {7442},
 year = {2012}
}

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

@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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://doi.org/10.1109/ICFHR.2012.257},
 year = {2012}
}

@inproceedings{DBLP:conf/issac/BostanSCSL12,
 author = {Alin Bostan and
Bruno Salvy and
Muhammad F. I. Chowdhury and
{'{E}}ric Schost and
Romain Lebreton},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'12,
Grenoble, France - July 22 - 25, 2012},
 doi = {10.1145/2442829.2442848},
 editor = {Joris van der Hoeven and
Mark van Hoeij},
 pages = {107--114},
 publisher = {{ACM}},
 title = {Power series solutions of singular (q)-differential equations},
 url = {http://doi.acm.org/10.1145/2442829.2442848},
 year = {2012}
}

@inproceedings{DBLP:conf/issac/ElsheikhGNS12,
 author = {Mustafa Elsheikh and
Mark Giesbrecht and
Andy Novocin and
B. David Saunders},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'12,
Grenoble, France - July 22 - 25, 2012},
 doi = {10.1145/2442829.2442853},
 editor = {Joris van der Hoeven and
Mark van Hoeij},
 pages = {146--153},
 publisher = {{ACM}},
 title = {Fast computation of Smith forms of sparse matrices over local rings},
 url = {http://doi.acm.org/10.1145/2442829.2442853},
 year = {2012}
}

@inproceedings{DBLP:conf/issac/HubertL12,
 author = {Evelyne Hubert and
George Labahn},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'12,
Grenoble, France - July 22 - 25, 2012},
 doi = {10.1145/2442829.2442862},
 editor = {Joris van der Hoeven and
Mark van Hoeij},
 pages = {219--226},
 publisher = {{ACM}},
 title = {Rational invariants of scalings from Hermite normal forms},
 url = {http://doi.acm.org/10.1145/2442829.2442862},
 year = {2012}
}

@inproceedings{DBLP:conf/issac/LebretonS12,
 author = {Romain Lebreton and
{'{E}}ric Schost},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'12,
Grenoble, France - July 22 - 25, 2012},
 doi = {10.1145/2442829.2442864},
 editor = {Joris van der Hoeven and
Mark van Hoeij},
 pages = {234--241},
 publisher = {{ACM}},
 title = {Algorithms for the universal decomposition algebra},
 url = {http://doi.acm.org/10.1145/2442829.2442864},
 year = {2012}
}

@inproceedings{DBLP:conf/issac/PauderisS12,
 author = {Colton Pauderis and
Arne Storjohann},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'12,
Grenoble, France - July 22 - 25, 2012},
 doi = {10.1145/2442829.2442870},
 editor = {Joris van der Hoeven and
Mark van Hoeij},
 pages = {281--288},
 publisher = {{ACM}},
 title = {Deterministic unimodularity certification},
 url = {http://doi.acm.org/10.1145/2442829.2442870},
 year = {2012}
}

@inproceedings{DBLP:conf/issac/ZhouLS12,
 author = {Wei Zhou and
George Labahn and
Arne Storjohann},
 booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'12,
Grenoble, France - July 22 - 25, 2012},
 doi = {10.1145/2442829.2442881},
 editor = {Joris van der Hoeven and
Mark van Hoeij},
 pages = {366--373},
 publisher = {{ACM}},
 title = {Computing minimal nullspace bases},
 url = {http://doi.acm.org/10.1145/2442829.2442881},
 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 = {https://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{DBLP:journals/cca/ChenDLMXXX11,
 author = {Changbo Chen and
James H. Davenport and
Fran{\c{c}}ois Lemaire and
Marc Moreno Maza and
Bican Xia and
Rong Xiao and
Yuzhen Xie},
 doi = {10.1145/2110170.2110174},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {166--168},
 title = {Computing the real solutions of polynomial systems with the RegularChains
library in Maple},
 url = {http://doi.acm.org/10.1145/2110170.2110174},
 volume = {45},
 year = {2011}
}

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

@article{DBLP:journals/cca/KotsireasZ11,
 author = {Ilias S. Kotsireas and
Eugene V. Zima},
 doi = {10.1145/2016567.2016576},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {92--99},
 title = {Abstracts of {WWCA} 2011 in honor of Herb Wilf's 80th birthday},
 url = {http://doi.acm.org/10.1145/2016567.2016576},
 volume = {45},
 year = {2011}
}

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

@article{DBLP:journals/cca/MazaV11,
 author = {Marc Moreno Maza and
Paul Vrbik},
 doi = {10.1145/2016567.2016590},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {129--130},
 title = {Inverting matrices modulo regular chains},
 url = {http://doi.acm.org/10.1145/2016567.2016590},
 volume = {45},
 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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 = {https://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 {	extless}T{	extgreater} equal sat(T)?},
 url = {https://doi.org/10.1016/j.jsc.2011.08.010},
 volume = {46},
 year = {2011}
}

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

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

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

@article{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 = {https://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 = {https://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 = {https://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 = {https://doi.org/10.1016/j.tcs.2010.12.002},
 volume = {412},
 year = {2011}
}

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

@inproceedings{DBLP:conf/issac/BrightS11,
 author = {Curtis Bright and
Arne Storjohann},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
 doi = {10.1145/1993886.1993900},
 editor = {{'{E}}ric Schost and
Ioannis Z. Emiris},
 pages = {51--58},
 publisher = {{ACM}},
 title = {Vector rational number reconstruction},
 url = {http://doi.acm.org/10.1145/1993886.1993900},
 year = {2011}
}

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

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

@inproceedings{DBLP:conf/issac/GiesbrechtR11,
 author = {Mark Giesbrecht and
Daniel S. Roche},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
 doi = {10.1145/1993886.1993909},
 editor = {{'{E}}ric Schost and
Ioannis Z. Emiris},
 pages = {123--130},
 publisher = {{ACM}},
 title = {Diversification improves interpolation},
 url = {http://doi.acm.org/10.1145/1993886.1993909},
 year = {2011}
}

@inproceedings{DBLP:conf/issac/GuptaS11,
 author = {Somit Gupta and
Arne Storjohann},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
 doi = {10.1145/1993886.1993913},
 editor = {{'{E}}ric Schost and
Ioannis Z. Emiris},
 pages = {155--162},
 publisher = {{ACM}},
 title = {Computing hermite forms of polynomial matrices},
 url = {http://doi.acm.org/10.1145/1993886.1993913},
 year = {2011}
}

@inproceedings{DBLP:conf/issac/SarkarS11,
 author = {Soumojit Sarkar and
Arne Storjohann},
 booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
2011, Proceedings},
 doi = {10.1145/1993886.1993931},
 editor = {{'{E}}ric Schost and
Ioannis Z. Emiris},
 pages = {297--304},
 publisher = {{ACM}},
 title = {Normalization of row reduced matrices},
 url = {http://doi.acm.org/10.1145/1993886.1993931},
 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 = {https://doi.org/10.2312/SBM/SBM11/007-014},
 year = {2011}
}

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

@article{DBLP:journals/ajc/ArasuKKS10,
 author = {K. T. Arasu and
Ilias S. Kotsireas and
Christos Koukouvinos and
Jennifer Seberry},
 journal = {Australasian J. Combinatorics},
 pages = {43--52},
 title = {On circulant and two-circulant weighing matrices},
 url = {http://ajc.maths.uq.edu.au/pdf/48/ajc_v48_p043.pdf},
 volume = {48},
 year = {2010}
}

@article{DBLP:journals/ajc/KotsireasKSS10,
 author = {Ilias S. Kotsireas and
Christos Koukouvinos and
Jennifer Seberry and
Dimitris E. Simos},
 journal = {Australasian J. Combinatorics},
 pages = {67--78},
 title = {New classes of orthogonal designs constructed from complementary sequences
with given spread},
 url = {http://ajc.maths.uq.edu.au/pdf/46/ajc_v46_p067.pdf},
 volume = {46},
 year = {2010}
}

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

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

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

@article{DBLP:journals/cca/DrevetIS10,
 author = {Charles{-}{'{E}}ric Drevet and
Md. Nazrul Islam and
{'{E}}ric Schost},
 doi = {10.1145/1940475.1940488},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {107--108},
 title = {Optimization techniques for small matrix multiplication},
 url = {http://doi.acm.org/10.1145/1940475.1940488},
 volume = {44},
 year = {2010}
}

@article{DBLP:journals/cca/ErocalS10,
 author = {Bur{\c{c}}in Er{"{o}}cal and
Arne Storjohann},
 doi = {10.1145/1940475.1940489},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {109--110},
 title = {Nullspace computation over rational function fields for symbolic summation},
 url = {http://doi.acm.org/10.1145/1940475.1940489},
 volume = {44},
 year = {2010}
}

@article{DBLP:journals/cca/FeoS10a,
 author = {Luca De Feo and
{'{E}}ric Schost},
 doi = {10.1145/1940475.1940487},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {105--106},
 title = {transalpyne: a language for automatic transposition},
 url = {http://doi.acm.org/10.1145/1940475.1940487},
 volume = {44},
 year = {2010}
}

@article{DBLP:journals/cca/FeoS10,
 author = {Luca De Feo and
{'{E}}ric Schost},
 doi = {10.1145/1838599.1838624},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {59--71},
 title = {transalpyne: a language for automatic transposition},
 url = {http://doi.acm.org/10.1145/1838599.1838624},
 volume = {44},
 year = {2010}
}

@article{DBLP:journals/cca/GiesbrechtRT10,
 author = {Mark Giesbrecht and
Daniel S. Roche and
Hrushikesh Tilak},
 doi = {10.1145/1838599.1838614},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {25},
 title = {Abstract only: Complexity of sparsest multiple computation},
 url = {http://doi.acm.org/10.1145/1838599.1838614},
 volume = {44},
 year = {2010}
}

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

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

@article{DBLP:journals/cca/MengJFVMX10,
 author = {Lingchuan Meng and
Jeremy R. Johnson and
Franz Franchetti and
Yevgen Voronenko and
Marc Moreno Maza and
Yuzhen Xie},
 doi = {10.1145/1838599.1838616},
 journal = {{ACM} Comm. Computer Algebra},
 pages = {25--26},
 title = {Abstract only: SPIRAL-generated modular FFTs},
 url = {http://doi.acm.org/10.1145/1838599.1838616},
 volume = {44},
 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 = {https://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 = {https://doi.org/10.1016/j.camwa.2009.07.053},
 volume = {59},
 year = {2010}
}

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

@article{DBLP:journals/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/corr/CaretteSSW10,
 author = {Jacques Carette and
Alan P. Sexton and
Volker Sorge and
Stephen M. Watt},
 journal = {CoRR},
 title = {Symbolic Domain Decomposition},
 url = {http://arxiv.org/abs/1004.5549},
 volume = {abs/1004.5549},
 year = {2010}
}

@article{DBLP:journals/corr/Giesbrecht10,
 author = {Mark Giesbrecht},
 journal = {CoRR},
 title = {Some Results on the Functional Decomposition of Polynomials},
 url = {http://arxiv.org/abs/1004.5433},
 volume = {abs/1004.5433},
 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 = {https://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 = {https://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 = {https://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 = {https://doi.org/10.1007/s11590-009-0144-7},
 volume = {4},
 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 = {https://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 = {https://doi.org/10.1007/978-3-642-14128-7_20},
 volume = {6167},
 year = {2010}
}

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