BibTeX records: Robert M. Corless

download as .bib file

@article{DBLP:journals/cca/CorlessJ18,
  author    = {Robert M. Corless and
               Julia E. Jankowski},
  title     = {Revisiting the discharge time of a cylindrical leaking bucket: or,
               "one does not simply call dsolve into mordor."},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {52},
  number    = {1},
  pages     = {1--10},
  year      = {2018},
  url       = {https://doi.org/10.1145/3243034.3243035},
  doi       = {10.1145/3243034.3243035},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/CorlessJ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CorlessJS18,
  author    = {Robert M. Corless and
               David J. Jeffrey and
               David R. Stoutemyer},
  title     = {Comprehensive anti-derivatives and parametric continuity},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {52},
  number    = {2},
  pages     = {32--33},
  year      = {2018},
  url       = {https://doi.org/10.1145/3282678.3282680},
  doi       = {10.1145/3282678.3282680},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/CorlessJS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-05423,
  author    = {Eunice Y. S. Chan and
               Robert M. Corless},
  title     = {A random walk through experimental mathematics},
  journal   = {CoRR},
  volume    = {abs/1801.05423},
  year      = {2018},
  url       = {http://arxiv.org/abs/1801.05423},
  archivePrefix = {arXiv},
  eprint    = {1801.05423},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1801-05423},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-10653,
  author    = {Eunice Y. S. Chan and
               Robert M. Corless and
               Laureano Gonz{\'{a}}lez{-}Vega and
               J. Rafael Sendra and
               Juana Sendra and
               Steven E. Thornton},
  title     = {Bohemian Upper Hessenberg Matrices},
  journal   = {CoRR},
  volume    = {abs/1809.10653},
  year      = {2018},
  url       = {http://arxiv.org/abs/1809.10653},
  archivePrefix = {arXiv},
  eprint    = {1809.10653},
  timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1809-10653},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-10664,
  author    = {Eunice Y. S. Chan and
               Robert M. Corless and
               Laureano Gonz{\'{a}}lez{-}Vega and
               J. Rafael Sendra and
               Juana Sendra and
               Steven E. Thornton},
  title     = {Bohemian Upper Hessenberg Toeplitz Matrices},
  journal   = {CoRR},
  volume    = {abs/1809.10664},
  year      = {2018},
  url       = {http://arxiv.org/abs/1809.10664},
  archivePrefix = {arXiv},
  eprint    = {1809.10664},
  timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1809-10664},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/SevyeriC17,
  author    = {Leili Rafiee Sevyeri and
               Robert M. Corless},
  title     = {Linearization of a specific family of B{\'{e}}zout matrices},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {51},
  number    = {1},
  pages     = {21--22},
  year      = {2017},
  url       = {https://doi.org/10.1145/3096730.3096735},
  doi       = {10.1145/3096730.3096735},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/SevyeriC17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/CorlessMT17,
  author    = {Robert M. Corless and
               Marc Moreno Maza and
               Steven E. Thornton},
  title     = {Jordan Canonical Form with Parameters from Frobenius Form with Parameters},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  pages     = {179--194},
  year      = {2017},
  crossref  = {DBLP:conf/macis/2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_13},
  doi       = {10.1007/978-3-319-72453-9\_13},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/macis/CorlessMT17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/macis/KafriJC17,
  author    = {Heba al Kafri and
               David J. Jeffrey and
               Robert M. Corless},
  title     = {Rapidly Convergent Integrals and Function Evaluation},
  booktitle = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  pages     = {270--274},
  year      = {2017},
  crossref  = {DBLP:conf/macis/2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9\_20},
  doi       = {10.1007/978-3-319-72453-9\_20},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/macis/KafriJC17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/FolitseJC17,
  author    = {K. Amenyo Folitse and
               David J. Jeffrey and
               Robert M. Corless},
  title     = {Properties and Computation of the Functional Inverse of Gamma},
  booktitle = {19th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2017, Timisoara, Romania, September
               21-24, 2017},
  pages     = {63--66},
  year      = {2017},
  crossref  = {DBLP:conf/synasc/2017},
  url       = {https://doi.org/10.1109/SYNASC.2017.00020},
  doi       = {10.1109/SYNASC.2017.00020},
  timestamp = {Thu, 14 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/FolitseJC17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-01752,
  author    = {Robert M. Corless and
               Robert H. C. Moir and
               Marc Moreno Maza and
               Ning Xie},
  title     = {Symbolic-Numeric Integration of Rational Functions},
  journal   = {CoRR},
  volume    = {abs/1712.01752},
  year      = {2017},
  url       = {http://arxiv.org/abs/1712.01752},
  archivePrefix = {arXiv},
  eprint    = {1712.01752},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1712-01752},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/ChanC16,
  author    = {Eunice Y. S. Chan and
               Robert M. Corless},
  title     = {Fibonacci-mandelbrot polynomials and matrices},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {50},
  number    = {4},
  pages     = {155--157},
  year      = {2016},
  url       = {https://doi.org/10.1145/3055282.3055288},
  doi       = {10.1145/3055282.3055288},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/ChanC16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CorlessT16,
  author    = {Robert M. Corless and
               Steven E. Thornton},
  title     = {The bohemian eigenvalue project},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {50},
  number    = {4},
  pages     = {158--160},
  year      = {2016},
  url       = {https://doi.org/10.1145/3055282.3055289},
  doi       = {10.1145/3055282.3055289},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/CorlessT16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamrev/CorlessJ16,
  author    = {Robert M. Corless and
               Julia E. Jankowski},
  title     = {Variations on a Theme of Euler},
  journal   = {{SIAM} Review},
  volume    = {58},
  number    = {4},
  pages     = {775--792},
  year      = {2016},
  url       = {https://doi.org/10.1137/15M1032351},
  doi       = {10.1137/15M1032351},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/siamrev/CorlessJ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/MoirCJ15,
  author    = {Robert H. C. Moir and
               Robert M. Corless and
               David J. Jeffrey},
  title     = {Unwinding paths on the Riemann sphere for continuous integrals of
               rational functions},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {49},
  number    = {1},
  pages     = {35},
  year      = {2015},
  url       = {https://doi.org/10.1145/2768577.2768654},
  doi       = {10.1145/2768577.2768654},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/MoirCJ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siammax/LawrenceC15,
  author    = {Piers W. Lawrence and
               Robert M. Corless},
  title     = {Backward Error of Polynomial Eigenvalue Problems Solved by Linearization
               of Lagrange Interpolants},
  journal   = {{SIAM} J. Matrix Analysis Applications},
  volume    = {36},
  number    = {4},
  pages     = {1425--1442},
  year      = {2015},
  url       = {https://doi.org/10.1137/140979034},
  doi       = {10.1137/140979034},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/siammax/LawrenceC15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/IlieJCZ15,
  author    = {Silvana Ilie and
               David J. Jeffrey and
               Robert M. Corless and
               X. Zhang},
  title     = {Computation of Stirling Numbers and Generalizations},
  booktitle = {17th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September
               21-24, 2015},
  pages     = {57--60},
  year      = {2015},
  crossref  = {DBLP:conf/synasc/2015},
  url       = {https://doi.org/10.1109/SYNASC.2015.18},
  doi       = {10.1109/SYNASC.2015.18},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/IlieJCZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CorlessHJ14,
  author    = {Robert M. Corless and
               Junrui Hu and
               David J. Jeffrey},
  title     = {Some definite integrals containing the Tree {T} function},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {48},
  number    = {1/2},
  pages     = {33--41},
  year      = {2014},
  url       = {https://doi.org/10.1145/2644288.2644297},
  doi       = {10.1145/2644288.2644297},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/CorlessHJ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CorlessMT14,
  author    = {Robert M. Corless and
               Marc Moreno Maza and
               Steven E. Thornton},
  title     = {Zigzag Form over Families of Parametric Matrices},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {48},
  number    = {3/4},
  pages     = {109--112},
  year      = {2014},
  url       = {https://doi.org/10.1145/2733693.2733702},
  doi       = {10.1145/2733693.2733702},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/CorlessMT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/na/LawrenceC14,
  author    = {Piers W. Lawrence and
               Robert M. Corless},
  title     = {Stability of rootfinding for barycentric Lagrange interpolants},
  journal   = {Numerical Algorithms},
  volume    = {65},
  number    = {3},
  pages     = {447--464},
  year      = {2014},
  url       = {https://doi.org/10.1007/s11075-013-9770-3},
  doi       = {10.1007/s11075-013-9770-3},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/na/LawrenceC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamam/ZhangC14,
  author    = {Yiming Zhang and
               Robert M. Corless},
  title     = {High-Accuracy Series Solution for Two-Dimensional Convection in a
               Horizontal Concentric Cylinder},
  journal   = {{SIAM} Journal of Applied Mathematics},
  volume    = {74},
  number    = {3},
  pages     = {599--619},
  year      = {2014},
  url       = {https://doi.org/10.1137/130931096},
  doi       = {10.1137/130931096},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/siamam/ZhangC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/FillionC14,
  author    = {Nicolas Fillion and
               Robert M. Corless},
  title     = {On the epistemological analysis of modeling and computational error
               in the mathematical sciences},
  journal   = {Synthese},
  volume    = {191},
  number    = {7},
  pages     = {1451--1467},
  year      = {2014},
  url       = {https://doi.org/10.1007/s11229-013-0339-4},
  doi       = {10.1007/s11229-013-0339-4},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/synthese/FillionC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/CorlessT14,
  author    = {Robert M. Corless and
               Steven E. Thornton},
  title     = {A Package for Parametric Matrix Computations},
  booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
               Seoul, South Korea, August 5-9, 2014. Proceedings},
  pages     = {442--449},
  year      = {2014},
  crossref  = {DBLP:conf/icms/2014},
  url       = {https://doi.org/10.1007/978-3-662-44199-2\_67},
  doi       = {10.1007/978-3-662-44199-2\_67},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icms/CorlessT14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CorlessJW14,
  author    = {Robert M. Corless and
               David J. Jeffrey and
               Fei Wang},
  title     = {The asymptotic analysis of some interpolated nonlinear recurrence
               relations},
  booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
               '14, Kobe, Japan, July 23-25, 2014},
  pages     = {115--121},
  year      = {2014},
  crossref  = {DBLP:conf/issac/2014},
  url       = {https://doi.org/10.1145/2608628.2608677},
  doi       = {10.1145/2608628.2608677},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/CorlessJW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  title     = {Computing the topology of a real algebraic plane curve whose defining
               equations are available only "by values"},
  journal   = {Computer Aided Geometric Design},
  volume    = {30},
  number    = {7},
  pages     = {675--706},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.cagd.2013.04.003},
  doi       = {10.1016/j.cagd.2013.04.003},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cagd/CorlessDFGRS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbc/ChenCMYZ13,
  author    = {Changbo Chen and
               Robert M. Corless and
               Marc Moreno Maza and
               Pei Yu and
               Yiming Zhang},
  title     = {An Application of Regular Chain Theory to the Study of Limit cycles},
  journal   = {I. J. Bifurcation and Chaos},
  volume    = {23},
  number    = {9},
  year      = {2013},
  url       = {https://doi.org/10.1142/S021812741350154X},
  doi       = {10.1142/S021812741350154X},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ijbc/ChenCMYZ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Corless13,
  author    = {Robert M. Corless},
  title     = {Pseudospectra of exponential matrix polynomials},
  journal   = {Theor. Comput. Sci.},
  volume    = {479},
  pages     = {70--80},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.tcs.2012.10.021},
  doi       = {10.1016/j.tcs.2012.10.021},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/Corless13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/LawrenceCJ12,
  author    = {Piers W. Lawrence and
               Robert M. Corless and
               David J. Jeffrey},
  title     = {Algorithm 917: Complex Double-Precision Evaluation of the Wright {\(\omega\)}
               Function},
  journal   = {{ACM} Trans. Math. Softw.},
  volume    = {38},
  number    = {3},
  pages     = {20:1--20:17},
  year      = {2012},
  url       = {https://doi.org/10.1145/2168773.2168779},
  doi       = {10.1145/2168773.2168779},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toms/LawrenceCJ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CorlessPS11,
  author    = {Robert M. Corless and
               Erik Postma and
               David R. Stoutemyer},
  title     = {Rounding coefficients and artificially underflowing terms in non-numeric
               expressions},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {45},
  number    = {1/2},
  pages     = {17--48},
  year      = {2011},
  url       = {https://doi.org/10.1145/2016567.2016570},
  doi       = {10.1145/2016567.2016570},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/CorlessPS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/na/ButcherCGS11,
  author    = {John C. Butcher and
               Robert M. Corless and
               Laureano Gonz{\'{a}}lez{-}Vega and
               Azar Shakoori},
  title     = {Polynomial algebra for Birkhoff interpolants},
  journal   = {Numerical Algorithms},
  volume    = {56},
  number    = {3},
  pages     = {319--347},
  year      = {2011},
  url       = {https://doi.org/10.1007/s11075-010-9385-x},
  doi       = {10.1007/s11075-010-9385-x},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/na/ButcherCGS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/RezvaniC11,
  author    = {Nargol Rezvani and
               Robert M. Corless},
  title     = {Using weighted norms to find nearest polynomials satisfying linear
               constraints},
  booktitle = {{SNC} 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric
               Computation, San Jose, California, USA, June 7-9, 2011},
  pages     = {81--87},
  year      = {2011},
  crossref  = {DBLP:conf/snc/2011},
  url       = {https://doi.org/10.1145/2331684.2331697},
  doi       = {10.1145/2331684.2331697},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/snc/RezvaniC11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/LawrenceC11,
  author    = {Piers W. Lawrence and
               Robert M. Corless},
  title     = {Numerical stability of barycentric Hermite root-finding},
  booktitle = {{SNC} 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric
               Computation, San Jose, California, USA, June 7-9, 2011},
  pages     = {147--148},
  year      = {2011},
  crossref  = {DBLP:conf/snc/2011},
  url       = {https://doi.org/10.1145/2331684.2331706},
  doi       = {10.1145/2331684.2331706},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/snc/LawrenceC11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/CorlessPS11,
  author    = {Robert M. Corless and
               Erik Postma and
               David R. Stoutemyer},
  title     = {{GCD} of multivariate approximate polynomials using beautification
               with the subtractive algorithm},
  booktitle = {{SNC} 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric
               Computation, San Jose, California, USA, June 7-9, 2011},
  pages     = {153--154},
  year      = {2011},
  crossref  = {DBLP:conf/snc/2011},
  url       = {https://doi.org/10.1145/2331684.2331709},
  doi       = {10.1145/2331684.2331709},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/snc/CorlessPS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CorlessLM09,
  author    = {Robert M. Corless and
               Reiner Lauterbach and
               Hans{-}Michael M{\"{o}}ller},
  title     = {Preface},
  journal   = {J. Symb. Comput.},
  volume    = {44},
  number    = {11},
  pages     = {1533--1535},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.jsc.2009.05.001},
  doi       = {10.1016/j.jsc.2009.05.001},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/CorlessLM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CorlessGK09,
  author    = {Robert M. Corless and
               Karin Gatermann and
               Ilias S. Kotsireas},
  title     = {Using symmetries in the eigenvalue method for polynomial systems},
  journal   = {J. Symb. Comput.},
  volume    = {44},
  number    = {11},
  pages     = {1536--1550},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.jsc.2008.11.009},
  doi       = {10.1016/j.jsc.2008.11.009},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/CorlessGK09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/IlieCE09,
  author    = {Silvana Ilie and
               Robert M. Corless and
               Chris Essex},
  title     = {The Computational Complexity of Extrapolation Methods},
  journal   = {Mathematics in Computer Science},
  volume    = {2},
  number    = {4},
  pages     = {557--566},
  year      = {2009},
  url       = {https://doi.org/10.1007/s11786-007-0040-4},
  doi       = {10.1007/s11786-007-0040-4},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mics/IlieCE09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/Corless09,
  author    = {Robert M. Corless},
  title     = {Pseudospectra for exponential polynomial matrices},
  booktitle = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
               - 05, 2009},
  pages     = {1--2},
  year      = {2009},
  crossref  = {DBLP:conf/snc/2009},
  url       = {https://doi.org/10.1145/1577190.1577192},
  doi       = {10.1145/1577190.1577192},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/snc/Corless09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/IlieSC08,
  author    = {Silvana Ilie and
               Gustaf S{\"{o}}derlind and
               Robert M. Corless},
  title     = {Adaptivity and computational complexity in the numerical solution
               of ODEs},
  journal   = {J. Complexity},
  volume    = {24},
  number    = {3},
  pages     = {341--361},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.jco.2007.11.004},
  doi       = {10.1016/j.jco.2007.11.004},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jc/IlieSC08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/CorlessRA07,
  author    = {Robert M. Corless and
               Nargol Rezvani and
               Amirhossein Amiraslani},
  title     = {Pseudospectra of Matrix Polynomials that Are Expressed in Alternative
               Bases},
  journal   = {Mathematics in Computer Science},
  volume    = {1},
  number    = {2},
  pages     = {353--374},
  year      = {2007},
  url       = {https://doi.org/10.1007/s11786-007-0010-x},
  doi       = {10.1007/s11786-007-0010-x},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mics/CorlessRA07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AmiraslaniAC07,
  author    = {Amirhossein Amiraslani and
               Dhavide A. Aruliah and
               Robert M. Corless},
  title     = {Block {LU} factors of generalized companion matrix pencils},
  journal   = {Theor. Comput. Sci.},
  volume    = {381},
  number    = {1-3},
  pages     = {134--147},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.tcs.2007.04.019},
  doi       = {10.1016/j.tcs.2007.04.019},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/AmiraslaniAC07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AruliahCSGR07,
  author    = {Dhavide A. Aruliah and
               Robert M. Corless and
               Azar Shakoori and
               Laureano Gonz{\'{a}}lez{-}Vega and
               Ignacio F. R{\'{u}}a},
  title     = {Computing the topology of a real algebraic plane curve whose equation
               is not directly available},
  booktitle = {Symbolic-Numeric Computation, {SNC} 2007, International Workshop,
               25-27 July 2007, University of Western Ontario, London, Ontario, Canada},
  pages     = {46--54},
  year      = {2007},
  crossref  = {DBLP:conf/issac/2007snc},
  url       = {https://dl.acm.org/citation.cfm?id=1277510},
  timestamp = {Tue, 27 Nov 2018 10:40:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/AruliahCSGR07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AruliahCGS07,
  author    = {Dhavide A. Aruliah and
               Robert M. Corless and
               Laureano Gonz{\'{a}}lez{-}Vega and
               Azar Shakoori},
  title     = {Geometric applications of the Bezout matrix in the Lagrange basis},
  booktitle = {Symbolic-Numeric Computation, {SNC} 2007, International Workshop,
               25-27 July 2007, University of Western Ontario, London, Ontario, Canada},
  pages     = {55--64},
  year      = {2007},
  crossref  = {DBLP:conf/issac/2007snc},
  url       = {https://dl.acm.org/citation.cfm?id=1277511},
  timestamp = {Tue, 27 Nov 2018 10:40:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/AruliahCGS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CorlessA07,
  author    = {Robert M. Corless and
               Dawit Assefa},
  title     = {Jeffery-hamel flow with maple: : a case study of integration of elliptic
               functions in a cas},
  booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
  pages     = {108--115},
  year      = {2007},
  crossref  = {DBLP:conf/issac/2007},
  url       = {https://doi.org/10.1145/1277548.1277564},
  doi       = {10.1145/1277548.1277564},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/CorlessA07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CorlessDJ07,
  author    = {Robert M. Corless and
               Hui Ding and
               David J. Jeffrey},
  title     = {The solution of \emph{s} exp(\emph{s}) = \emph{a} is not always the
               lambert \emph{w} function of \emph{a}},
  booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
  pages     = {116--121},
  year      = {2007},
  crossref  = {DBLP:conf/issac/2007},
  url       = {https://doi.org/10.1145/1277548.1277565},
  doi       = {10.1145/1277548.1277565},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/CorlessDJ07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AruliahCGS07a,
  author    = {Dhavide A. Aruliah and
               Robert M. Corless and
               Laureano Gonz{\'{a}}lez{-}Vega and
               Azar Shakoori},
  title     = {Companion matrix pencils for hermite interpolants},
  booktitle = {Symbolic-Numeric Computation, {SNC} 2007, International Workshop,
               25-27 July 2007, University of Western Ontario, London, Ontario, Canada},
  pages     = {197--198},
  year      = {2007},
  crossref  = {DBLP:conf/issac/2007snc},
  url       = {https://dl.acm.org/citation.cfm?id=1277529},
  timestamp = {Tue, 27 Nov 2018 10:40:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/AruliahCGS07a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CorlessR07,
  author    = {Robert M. Corless and
               Nargol Rezvani},
  title     = {The nearest polynomial of lower degree},
  booktitle = {Symbolic-Numeric Computation, {SNC} 2007, International Workshop,
               25-27 July 2007, University of Western Ontario, London, Ontario, Canada},
  pages     = {199--200},
  year      = {2007},
  crossref  = {DBLP:conf/issac/2007snc},
  url       = {https://dl.acm.org/citation.cfm?id=1277530},
  timestamp = {Tue, 27 Nov 2018 10:40:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/CorlessR07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/ZhaoC06,
  author    = {Jichao Zhao and
               Robert M. Corless},
  title     = {Compact finite difference method for integro-differential equations},
  journal   = {Applied Mathematics and Computation},
  volume    = {177},
  number    = {1},
  pages     = {271--288},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.amc.2005.11.007},
  doi       = {10.1016/j.amc.2005.11.007},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/amc/ZhaoC06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/ZhaoZC06,
  author    = {Jichao Zhao and
               Tie Zhang and
               Robert M. Corless},
  title     = {Convergence of the compact finite difference method for second-order
               elliptic equations},
  journal   = {Applied Mathematics and Computation},
  volume    = {182},
  number    = {2},
  pages     = {1454--1469},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.amc.2006.05.033},
  doi       = {10.1016/j.amc.2006.05.033},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/amc/ZhaoZC06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/na/IlieCR06,
  author    = {Silvana Ilie and
               Robert M. Corless and
               Greg Reid},
  title     = {Numerical solutions of index-1 differential algebraic equations can
               be computed in polynomial time},
  journal   = {Numerical Algorithms},
  volume    = {41},
  number    = {2},
  pages     = {161--171},
  year      = {2006},
  url       = {https://doi.org/10.1007/s11075-005-9007-1},
  doi       = {10.1007/s11075-005-9007-1},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/na/IlieCR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/RezvaniC05,
  author    = {Nargol Rezvani and
               Robert M. Corless},
  title     = {The nearest polynomial with a given zero, revisited},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {39},
  number    = {3},
  pages     = {73--79},
  year      = {2005},
  url       = {https://doi.org/10.1145/1113439.1113442},
  doi       = {10.1145/1113439.1113442},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/RezvaniC05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/CorlessWZ04,
  author    = {Robert M. Corless and
               Stephen M. Watt and
               Lihong Zhi},
  title     = {{QR} factoring to compute the {GCD} of univariate approximate polynomials},
  journal   = {{IEEE} Trans. Signal Processing},
  volume    = {52},
  number    = {12},
  pages     = {3394--3402},
  year      = {2004},
  url       = {https://doi.org/10.1109/TSP.2004.837413},
  doi       = {10.1109/TSP.2004.837413},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tsp/CorlessWZ04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/AruliahC04,
  author    = {Dhavide A. Aruliah and
               Robert M. Corless},
  title     = {Numerical parameterization of affine varieties using},
  booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
               2004, Santander, Spain, July 4-7, 2004, Proceedings},
  pages     = {12--18},
  year      = {2004},
  crossref  = {DBLP:conf/issac/2004},
  url       = {https://doi.org/10.1145/1005285.1005290},
  doi       = {10.1145/1005285.1005290},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/AruliahC04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CorlessKW03,
  author    = {Robert M. Corless and
               Hiroshi Kai and
               Stephen M. Watt},
  title     = {Approximate computation of pseudovarieties},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {37},
  number    = {3},
  pages     = {67--71},
  year      = {2003},
  url       = {https://doi.org/10.1145/990353.990359},
  doi       = {10.1145/990353.990359},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/CorlessKW03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BradfordCDJW02,
  author    = {Russell J. Bradford and
               Robert M. Corless and
               James H. Davenport and
               David J. Jeffrey and
               Stephen M. Watt},
  title     = {Reasoning about the Elementary Functions of Complex Analysis},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {36},
  number    = {3},
  pages     = {303--318},
  year      = {2002},
  url       = {https://doi.org/10.1023/A:1016007415899},
  doi       = {10.1023/A:1016007415899},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/amai/BradfordCDJW02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/BenghorbalC02,
  author    = {Mhenni Benghorbal and
               Robert M. Corless},
  title     = {The \emph{n}th derivative},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {36},
  number    = {1},
  pages     = {10--14},
  year      = {2002},
  url       = {https://doi.org/10.1145/565145.565149},
  doi       = {10.1145/565145.565149},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/BenghorbalC02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/na/Corless02,
  author    = {Robert M. Corless},
  title     = {A New View of the Computational Complexity of {IVP} for {ODE}},
  journal   = {Numerical Algorithms},
  volume    = {31},
  number    = {1-4},
  pages     = {115--124},
  year      = {2002},
  url       = {https://doi.org/10.1023/A:1021108323034},
  doi       = {10.1023/A:1021108323034},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/na/Corless02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/CorlessJ02,
  author    = {Robert M. Corless and
               David J. Jeffrey},
  title     = {The Wright omega Function},
  booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
               Joint International Conferences, {AISC} 2002 and Calculemus 2002,
               Marseille, France, July 1-5, 2002, Proceedings},
  pages     = {76--89},
  year      = {2002},
  crossref  = {DBLP:conf/aisc/2002},
  url       = {https://doi.org/10.1007/3-540-45470-5\_10},
  doi       = {10.1007/3-540-45470-5\_10},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/CorlessJ02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CorlessGKW02,
  author    = {Robert M. Corless and
               Andr{\'{e}} Galligo and
               Ilias S. Kotsireas and
               Stephen M. Watt},
  title     = {A geometric-numeric algorithm for absolute factorization of multivariate
               polynomials},
  booktitle = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
               2002, Lille, France, July 7-10, 2002, Proceedings},
  pages     = {37--45},
  year      = {2002},
  crossref  = {DBLP:conf/issac/2002},
  url       = {https://doi.org/10.1145/780506.780512},
  doi       = {10.1145/780506.780512},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/CorlessGKW02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CorlessGHKW01,
  author    = {Robert M. Corless and
               Mark Giesbrecht and
               Mark van Hoeij and
               Ilias S. Kotsireas and
               Stephen M. Watt},
  title     = {Towards factoring bivariate approximate polynomials},
  booktitle = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
               Ontario, London, Ontario, Canada, July 22-25, 2001},
  pages     = {85--92},
  year      = {2001},
  crossref  = {DBLP:conf/issac/2001},
  url       = {https://doi.org/10.1145/384101.384114},
  doi       = {10.1145/384101.384114},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/CorlessGHKW01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/alefeld01/Corless01,
  author    = {Robert M. Corless},
  title     = {Symbolic-Numeric Algorithms for Polynomials: Some recent Results},
  booktitle = {Symbolic Algebraic Methods and Verification Methods},
  pages     = {21--33},
  year      = {2001},
  crossref  = {DBLP:books/sp/Alefeld2001},
  timestamp = {Thu, 06 Apr 2006 14:01:34 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/alefeld01/Corless01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CorlessJWD00,
  author    = {Robert M. Corless and
               David J. Jeffrey and
               Stephen M. Watt and
               James H. Davenport},
  title     = {"According to Abramowitz and Stegun" or arccoth needn't
               be uncouth},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {34},
  number    = {2},
  pages     = {58--65},
  year      = {2000},
  url       = {https://doi.org/10.1145/362001.362023},
  doi       = {10.1145/362001.362023},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/CorlessJWD00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Corless00,
  author    = {Robert M. Corless},
  title     = {Southern Ontario Numerical Analysis Day},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {34},
  number    = {3},
  pages     = {28--31},
  year      = {2000},
  url       = {https://doi.org/10.1145/377604.569766},
  doi       = {10.1145/377604.569766},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/Corless00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Corless00a,
  author    = {Robert M. Corless},
  title     = {An elementary solution of a minimax problem arising in algorithms
               for automatic mesh selection},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {34},
  number    = {4},
  pages     = {7--15},
  year      = {2000},
  url       = {https://doi.org/10.1145/377626.377633},
  doi       = {10.1145/377626.377633},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/Corless00a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/CorlessDJLW00,
  author    = {Robert M. Corless and
               James H. Davenport and
               David J. Jeffrey and
               Gurjeet Litt and
               Stephen M. Watt},
  title     = {Reasoning about the Elementary Functions of Complex Analysis},
  booktitle = {Artificial Intelligence and Symbolic Computation, International Conference
               {AISC} 2000 Madrid, Spain, July 17-19, 2000, Revised Papers},
  pages     = {115--126},
  year      = {2000},
  crossref  = {DBLP:conf/aisc/2000},
  url       = {https://doi.org/10.1007/3-540-44990-6\_9},
  doi       = {10.1007/3-540-44990-6\_9},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/CorlessDJLW00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/CorlessGKW00,
  author    = {Robert M. Corless and
               Mark Giesbrecht and
               Ilias S. Kotsireas and
               Stephen M. Watt},
  title     = {Numerical Implicitization of Parametric Hypersurfaces with Linear
               Algebra},
  booktitle = {Artificial Intelligence and Symbolic Computation, International Conference
               {AISC} 2000 Madrid, Spain, July 17-19, 2000, Revised Papers},
  pages     = {174--183},
  year      = {2000},
  crossref  = {DBLP:conf/aisc/2000},
  url       = {https://doi.org/10.1007/3-540-44990-6\_13},
  doi       = {10.1007/3-540-44990-6\_13},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/CorlessGKW00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Corless99,
  author    = {Robert M. Corless},
  title     = {Open problems in computer algebra},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {33},
  number    = {3},
  pages     = {15},
  year      = {1999},
  url       = {https://doi.org/10.1145/347127.347202},
  doi       = {10.1145/347127.347202},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/Corless99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CorlessGJ99,
  author    = {Robert M. Corless and
               Mark Giesbrecht and
               David J. Jeffrey and
               Stephen M. Watt},
  title     = {Approximate polynomial decomposition},
  booktitle = {Proceedings of the 1999 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '99, Vancouver, B.C., Canada, July 29-31, 1999},
  pages     = {213--219},
  year      = {1999},
  crossref  = {DBLP:conf/issac/1999},
  url       = {https://doi.org/10.1145/309831.309939},
  doi       = {10.1145/309831.309939},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/CorlessGJ99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CorlessJ98,
  author    = {Robert M. Corless and
               David J. Jeffrey},
  title     = {Graphing elementary Riemann surfaces},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {32},
  number    = {1},
  pages     = {11--17},
  year      = {1998},
  url       = {https://doi.org/10.1145/294833.294839},
  doi       = {10.1145/294833.294839},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/CorlessJ98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CorlessW98,
  author    = {Robert M. Corless and
               Stephen M. Watt},
  title     = {Report on the {SNAP} minisymposium at {SIAM} '98},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {32},
  number    = {2},
  pages     = {35--37},
  year      = {1998},
  url       = {https://doi.org/10.1145/297049.297068},
  doi       = {10.1145/297049.297068},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/CorlessW98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChinCC98,
  author    = {Paulina Chin and
               Robert M. Corless and
               George F. Corliss},
  title     = {Optimization Strategies for the Approximate {GCD} Problem},
  booktitle = {Proceedings of the 1998 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '98, Rostock, Germany, August 13-15, 1998},
  pages     = {228--235},
  year      = {1998},
  crossref  = {DBLP:conf/issac/1998},
  url       = {https://doi.org/10.1145/281508.281622},
  doi       = {10.1145/281508.281622},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/ChinCC98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CorlessJ97,
  author    = {Robert M. Corless and
               David J. Jeffrey},
  title     = {The Turing factorization of a rectangular matrix},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {31},
  number    = {3},
  pages     = {20--30},
  year      = {1997},
  url       = {https://doi.org/10.1145/271130.271135},
  doi       = {10.1145/271130.271135},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/CorlessJ97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CorlessJMP97,
  author    = {Robert M. Corless and
               David J. Jeffrey and
               Michael B. Monagan and
               Pratibha},
  title     = {Two Perturbation Calculations in Fluid Mechanics Using Large-Expression
               Management},
  journal   = {J. Symb. Comput.},
  volume    = {23},
  number    = {4},
  pages     = {427--443},
  year      = {1997},
  url       = {https://doi.org/10.1006/jsco.1996.0097},
  doi       = {10.1006/jsco.1996.0097},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/CorlessJMP97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CorlessJ97,
  author    = {Robert M. Corless and
               David J. Jeffrey},
  title     = {Scientific Computing: One Part of the Revolution},
  journal   = {J. Symb. Comput.},
  volume    = {23},
  number    = {5/6},
  pages     = {485--495},
  year      = {1997},
  url       = {https://doi.org/10.1006/jsco.1996.0102},
  doi       = {10.1006/jsco.1996.0102},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/CorlessJ97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CorlessGT97,
  author    = {Robert M. Corless and
               Patrizia M. Gianni and
               Barry M. Trager},
  title     = {A Reordered Schur Factorization Method for Zero-dimensional Polynomial
               Systems with Multiple Roots},
  booktitle = {Proceedings of the 1997 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '97, Maui, Hawaii, USA, July 21-23, 1997},
  pages     = {133--140},
  year      = {1997},
  crossref  = {DBLP:conf/issac/1997},
  timestamp = {Wed, 16 May 2012 18:01:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/CorlessGT97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CorlessJK97,
  author    = {Robert M. Corless and
               David J. Jeffrey and
               Donald E. Knuth},
  title     = {A Sequence of Series for the Lambert {W} Function},
  booktitle = {Proceedings of the 1997 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '97, Maui, Hawaii, USA, July 21-23, 1997},
  pages     = {197--204},
  year      = {1997},
  crossref  = {DBLP:conf/issac/1997},
  timestamp = {Wed, 16 May 2012 18:01:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/CorlessJK97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adcm/CorlessGHJK96,
  author    = {Robert M. Corless and
               Gaston H. Gonnet and
               D. E. G. Hare and
               David J. Jeffrey and
               Donald E. Knuth},
  title     = {On the Lambert\emph{W} function},
  journal   = {Adv. Comput. Math.},
  volume    = {5},
  number    = {1},
  pages     = {329--359},
  year      = {1996},
  url       = {https://doi.org/10.1007/BF02124750},
  doi       = {10.1007/BF02124750},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/adcm/CorlessGHJK96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Corless96,
  author    = {Robert M. Corless},
  title     = {Message from the Editor},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {30},
  number    = {1},
  pages     = {2},
  year      = {1996},
  url       = {https://doi.org/10.1145/231191.570104},
  doi       = {10.1145/231191.570104},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/Corless96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Corless96a,
  author    = {Robert M. Corless},
  title     = {Cofactor iteration},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {30},
  number    = {1},
  pages     = {34--38},
  year      = {1996},
  url       = {https://doi.org/10.1145/231191.231197},
  doi       = {10.1145/231191.231197},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/Corless96a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Corless96b,
  author    = {Robert M. Corless},
  title     = {1996 East Coast Computer Algebra Day Abstracts, Yorktown Heights,
               New York, April 13, 1996},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {30},
  number    = {1},
  pages     = {39--49},
  year      = {1996},
  url       = {https://doi.org/10.1145/231191.570105},
  doi       = {10.1145/231191.570105},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/Corless96b},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Corless96c,
  author    = {Robert M. Corless},
  title     = {Book Review: Differential Equations with Maple V, by Martha L. Abell
               and James P. Braselton},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {30},
  number    = {1},
  pages     = {57--60},
  year      = {1996},
  url       = {https://doi.org/10.1145/231191.570106},
  doi       = {10.1145/231191.570106},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/Corless96c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CorlessJ96,
  author    = {Robert M. Corless and
               David J. Jeffrey},
  title     = {The unwinding number},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {30},
  number    = {2},
  pages     = {28--35},
  year      = {1996},
  url       = {https://doi.org/10.1145/235699.235705},
  doi       = {10.1145/235699.235705},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/CorlessJ96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Corless96d,
  author    = {Robert M. Corless},
  title     = {Gr{\"{o}}bner bases and matrix eigenproblems},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {30},
  number    = {4},
  pages     = {26--32},
  year      = {1996},
  url       = {https://doi.org/10.1145/242961.242968},
  doi       = {10.1145/242961.242968},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/Corless96d},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamrev/BorweinC96,
  author    = {Jonathan M. Borwein and
               Robert M. Corless},
  title     = {The Encyclopedia of Integer Sequences {(N.} J. A. Sloane and Simon
               Plouffe)},
  journal   = {{SIAM} Review},
  volume    = {38},
  number    = {2},
  pages     = {333--337},
  year      = {1996},
  url       = {https://doi.org/10.1137/1038058},
  doi       = {10.1137/1038058},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/siamrev/BorweinC96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/CorlessGTW95,
  author    = {Robert M. Corless and
               Patrizia M. Gianni and
               Barry M. Trager and
               Stephen M. Watt},
  title     = {The Singular Value Decomposition for Polynomial Systems},
  booktitle = {Proceedings of the 1995 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '95, Montreal, Canada, July 10-12, 1995},
  pages     = {195--207},
  year      = {1995},
  crossref  = {DBLP:conf/issac/1995},
  url       = {https://doi.org/10.1145/220346.220371},
  doi       = {10.1145/220346.220371},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/CorlessGTW95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Corless94,
  author    = {Robert M. Corless},
  title     = {Sufficiency Analysis for the Calculus of Variations},
  booktitle = {Proceedings of the International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '94, Oxford, UK, July 20-22, 1994},
  pages     = {197--204},
  year      = {1994},
  crossref  = {DBLP:conf/issac/1994},
  url       = {https://doi.org/10.1145/190347.190417},
  doi       = {10.1145/190347.190417},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/Corless94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Corless93,
  author    = {Robert M. Corless},
  title     = {What is a solution of an ODE?},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {27},
  number    = {4},
  pages     = {15--19},
  year      = {1993},
  url       = {https://doi.org/10.1145/182125.182129},
  doi       = {10.1145/182125.182129},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/Corless93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/CorlessJ92,
  author    = {Robert M. Corless and
               David J. Jeffrey},
  title     = {Well ... it isn't quite that simple},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {26},
  number    = {3},
  pages     = {2--6},
  year      = {1992},
  url       = {https://doi.org/10.1145/141897.141901},
  doi       = {10.1145/141897.141901},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/CorlessJ92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/YeC92,
  author    = {Honglin Ye and
               Robert M. Corless},
  title     = {Solving Linear Integral Equations in Maple},
  booktitle = {Proceedings of the 1992 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '92, Berkeley, CA, USA, July 27-29, 1992},
  pages     = {95--102},
  year      = {1992},
  crossref  = {DBLP:conf/issac/1992},
  url       = {https://doi.org/10.1145/143242.143279},
  doi       = {10.1145/143242.143279},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/YeC92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/CorlessJ90,
  author    = {Robert M. Corless and
               David J. Jeffrey},
  title     = {Solution of a Hydrodynamic Lubrication Problem with Maple},
  journal   = {J. Symb. Comput.},
  volume    = {9},
  number    = {4},
  pages     = {503--513},
  year      = {1990},
  url       = {https://doi.org/10.1016/S0747-7171(08)80024-7},
  doi       = {10.1016/S0747-7171(08)80024-7},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/CorlessJ90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Corless88,
  author    = {Robert M. Corless},
  title     = {A comparison of three computer algebra systems for the solution of
               a problem in hydrodynamic lubrication},
  journal   = {{ACM} {SIGSAM} Bulletin},
  volume    = {22},
  number    = {2},
  pages     = {50--62},
  year      = {1988},
  url       = {https://doi.org/10.1145/43876.43881},
  doi       = {10.1145/43876.43881},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/Corless88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/macis/2017,
  editor    = {Johannes Bl{\"{o}}mer and
               Ilias S. Kotsireas and
               Temur Kutsia and
               Dimitris E. Simos},
  title     = {Mathematical Aspects of Computer and Information Sciences - 7th International
               Conference, {MACIS} 2017, Vienna, Austria, November 15-17, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10693},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-72453-9},
  doi       = {10.1007/978-3-319-72453-9},
  isbn      = {978-3-319-72452-2},
  timestamp = {Fri, 22 Dec 2017 13:20:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/macis/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2017,
  editor    = {Tudor Jebelean and
               Viorel Negru and
               Dana Petcu and
               Daniela Zaharie and
               Tetsuo Ida and
               Stephen M. Watt},
  title     = {19th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2017, Timisoara, Romania, September
               21-24, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8528958},
  isbn      = {978-1-5386-2626-9},
  timestamp = {Mon, 19 Nov 2018 08:04:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  title     = {17th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September
               21-24, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7425657},
  isbn      = {978-1-5090-0461-4},
  timestamp = {Tue, 10 May 2016 15:47:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icms/2014,
  editor    = {Hoon Hong and
               Chee Yap},
  title     = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
               Seoul, South Korea, August 5-9, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8592},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-44199-2},
  doi       = {10.1007/978-3-662-44199-2},
  isbn      = {978-3-662-44198-5},
  timestamp = {Thu, 25 May 2017 00:43:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icms/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2014,
  editor    = {Katsusuke Nabeshima and
               Kosaku Nagasaka and
               Franz Winkler and
               {\'{A}}gnes Sz{\'{a}}nt{\'{o}}},
  title     = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
               '14, Kobe, Japan, July 23-25, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2608628},
  isbn      = {978-1-4503-2501-1},
  timestamp = {Wed, 02 Jul 2014 09:52:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snc/2011,
  editor    = {Marc Moreno Maza},
  title     = {{SNC} 2011, Proceedings of the 2011 Internation Workshop on Symbolic-Numeric
               Computation, San Jose, California, USA, June 7-9, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=2331684},
  isbn      = {978-1-4503-0515-0},
  timestamp = {Wed, 29 Mar 2017 16:45:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/snc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/snc/2009,
  editor    = {Hiroshi Kai and
               Hiroshi Sekigawa and
               Tateaki Sasaki and
               Kiyoshi Shirayanagi and
               Ilias S. Kotsireas},
  title     = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
               - 05, 2009},
  publisher = {{ACM}},
  year      = {2009},
  url       = {http://dl.acm.org/citation.cfm?id=1577190},
  isbn      = {978-1-60558-664-9},
  timestamp = {Thu, 24 Jul 2014 15:00:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/snc/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2007snc,
  editor    = {Stephen M. Watt and
               Jan Verschelde},
  title     = {Symbolic-Numeric Computation, {SNC} 2007, International Workshop,
               25-27 July 2007, University of Western Ontario, London, Ontario, Canada},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-744-5},
  timestamp = {Tue, 27 Nov 2018 10:40:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2007snc},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2007,
  editor    = {Dongming Wang},
  title     = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-743-8},
  timestamp = {Wed, 22 Aug 2007 14:24:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2004,
  editor    = {Jaime Gutierrez},
  title     = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
               2004, Santander, Spain, July 4-7, 2004, Proceedings},
  publisher = {{ACM}},
  year      = {2004},
  isbn      = {1-58113-827-X},
  timestamp = {Mon, 03 Apr 2017 18:28:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2002,
  editor    = {Jacques Calmet and
               Belaid Benhamou and
               Olga Caprotti and
               Laurent Henocque and
               Volker Sorge},
  title     = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation,
               Joint International Conferences, {AISC} 2002 and Calculemus 2002,
               Marseille, France, July 1-5, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2385},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45470-5},
  doi       = {10.1007/3-540-45470-5},
  isbn      = {3-540-43865-3},
  timestamp = {Thu, 01 Jun 2017 18:57:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2002,
  editor    = {Teo Mora},
  title     = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
               2002, Lille, France, July 7-10, 2002, Proceedings},
  publisher = {{ACM}},
  year      = {2002},
  isbn      = {1-58113-484-3},
  timestamp = {Wed, 22 Feb 2006 15:57:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2001,
  editor    = {Erich Kaltofen and
               Gilles Villard},
  title     = {Proceedings of the 2001 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} 2001, {ORCCA} {\&} University of Western
               Ontario, London, Ontario, Canada, July 22-25, 2001},
  publisher = {{ACM}},
  year      = {2001},
  url       = {http://dl.acm.org/citation.cfm?id=384101},
  isbn      = {1-58113-417-7},
  timestamp = {Wed, 16 May 2012 18:01:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/Alefeld2001,
  editor    = {G{\"{o}}tz Alefeld and
               Jiri Rohn and
               Siegfried M. Rump and
               Tetsuro Yamamoto},
  title     = {Symbolic Algebraic Methods and Verification Methods},
  publisher = {Springer},
  year      = {2001},
  isbn      = {3-211-83593-8},
  timestamp = {Thu, 06 Apr 2006 14:01:34 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/Alefeld2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2000,
  editor    = {John A. Campbell and
               Eugenio Roanes{-}Lozano},
  title     = {Artificial Intelligence and Symbolic Computation, International Conference
               {AISC} 2000 Madrid, Spain, July 17-19, 2000, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1930},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44990-6},
  doi       = {10.1007/3-540-44990-6},
  isbn      = {3-540-42071-1},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/1999,
  editor    = {Keith O. Geddes and
               Bruno Salvy and
               Samuel S. Dooley},
  title     = {Proceedings of the 1999 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '99, Vancouver, B.C., Canada, July 29-31, 1999},
  publisher = {{ACM}},
  year      = {1999},
  url       = {http://dl.acm.org/citation.cfm?id=309831},
  isbn      = {1-58113-073-2},
  timestamp = {Wed, 16 May 2012 18:01:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/1998,
  editor    = {Volker Weispfenning and
               Barry M. Trager},
  title     = {Proceedings of the 1998 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '98, Rostock, Germany, August 13-15, 1998},
  publisher = {{ACM}},
  year      = {1998},
  url       = {http://dl.acm.org/citation.cfm?id=281508},
  isbn      = {1-58113-002-3},
  timestamp = {Wed, 16 May 2012 18:01:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/1997,
  editor    = {Bruce W. Char and
               Paul S. Wang and
               Wolfgang K{\"{u}}chlin},
  title     = {Proceedings of the 1997 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '97, Maui, Hawaii, USA, July 21-23, 1997},
  publisher = {{ACM}},
  year      = {1997},
  url       = {http://dl.acm.org/citation.cfm?id=258726},
  isbn      = {0-89791-875-4},
  timestamp = {Wed, 16 May 2012 18:01:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/1995,
  editor    = {A. H. M. Levelt},
  title     = {Proceedings of the 1995 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '95, Montreal, Canada, July 10-12, 1995},
  publisher = {{ACM}},
  year      = {1995},
  url       = {http://dl.acm.org/citation.cfm?id=220346},
  isbn      = {0-89791-699-9},
  timestamp = {Wed, 16 May 2012 18:01:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/1994,
  editor    = {Malcolm A. H. MacCallum},
  title     = {Proceedings of the International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '94, Oxford, UK, July 20-22, 1994},
  publisher = {{ACM}},
  year      = {1994},
  url       = {http://dl.acm.org/citation.cfm?id=190347},
  isbn      = {0-89791-638-7},
  timestamp = {Wed, 16 May 2012 18:01:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/1992,
  editor    = {Paul S. Wang},
  title     = {Proceedings of the 1992 International Symposium on Symbolic and Algebraic
               Computation, {ISSAC} '92, Berkeley, CA, USA, July 27-29, 1992},
  publisher = {{ACM}},
  year      = {1992},
  url       = {http://dl.acm.org/citation.cfm?id=143242},
  isbn      = {0-89791-489-9},
  timestamp = {Wed, 16 May 2012 18:01:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier