BibTeX records: Changbo Chen

download as .bib file

@inproceedings{DBLP:conf/aisc/ChenW18,
  author    = {Changbo Chen and
               Wenyuan Wu},
  title     = {Revealing Bistability in Neurological Disorder Models By Solving Parametric
               Polynomial Systems Geometrically},
  booktitle = {Artificial Intelligence and Symbolic Computation - 13th International
               Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings},
  pages     = {170--180},
  year      = {2018},
  crossref  = {DBLP:conf/aisc/2018},
  url       = {https://doi.org/10.1007/978-3-319-99957-9\_11},
  doi       = {10.1007/978-3-319-99957-9\_11},
  timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/ChenW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ChenW18,
  author    = {Changbo Chen and
               Wenyuan Wu},
  title     = {A Continuation Method for Visualizing Planar Real Algebraic Curves
               with Singularities},
  booktitle = {Computer Algebra in Scientific Computing - 20th International Workshop,
               {CASC} 2018, Lille, France, September 17-21, 2018, Proceedings},
  pages     = {99--115},
  year      = {2018},
  crossref  = {DBLP:conf/casc/2018},
  url       = {https://doi.org/10.1007/978-3-319-99639-4\_7},
  doi       = {10.1007/978-3-319-99639-4\_7},
  timestamp = {Mon, 03 Sep 2018 14:17:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/ChenW18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ChenWF17,
  author    = {Changbo Chen and
               Wenyuan Wu and
               Yong Feng},
  title     = {Full Rank Representation of Real Algebraic Sets and Applications},
  booktitle = {Computer Algebra in Scientific Computing - 19th International Workshop,
               {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  pages     = {51--65},
  year      = {2017},
  crossref  = {DBLP:conf/casc/2017},
  url       = {https://doi.org/10.1007/978-3-319-66320-3\_5},
  doi       = {10.1007/978-3-319-66320-3\_5},
  timestamp = {Thu, 07 Sep 2017 12:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/ChenWF17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/WuCR17,
  author    = {Wenyuan Wu and
               Changbo Chen and
               Greg Reid},
  title     = {Penalty Function Based Critical Point Approach to Compute Real Witness
               Solution Points of Polynomial Systems},
  booktitle = {Computer Algebra in Scientific Computing - 19th International Workshop,
               {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  pages     = {377--391},
  year      = {2017},
  crossref  = {DBLP:conf/casc/2017},
  url       = {https://doi.org/10.1007/978-3-319-66320-3\_27},
  doi       = {10.1007/978-3-319-66320-3\_27},
  timestamp = {Thu, 07 Sep 2017 12:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/WuCR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  title     = {The basic polynomial algebra subprograms},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {50},
  number    = {3},
  pages     = {97--100},
  year      = {2016},
  url       = {https://doi.org/10.1145/3015306.3015312},
  doi       = {10.1145/3015306.3015312},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/ChenCMMM0X16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ChenM16,
  author    = {Changbo Chen and
               Marc Moreno Maza},
  title     = {Quantifier elimination by cylindrical algebraic decomposition based
               on regular chains},
  journal   = {J. Symb. Comput.},
  volume    = {75},
  pages     = {74--93},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.jsc.2015.11.008},
  doi       = {10.1016/j.jsc.2015.11.008},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/ChenM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ChenW16,
  author    = {Changbo Chen and
               Wenyuan Wu},
  title     = {A Numerical Method for Computing Border Curves of Bi-parametric Real
               Polynomial Systems and Applications},
  booktitle = {Computer Algebra in Scientific Computing - 18th International Workshop,
               {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  pages     = {156--171},
  year      = {2016},
  crossref  = {DBLP:conf/casc/2016},
  url       = {https://doi.org/10.1007/978-3-319-45641-6\_11},
  doi       = {10.1007/978-3-319-45641-6\_11},
  timestamp = {Mon, 22 May 2017 17:10:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/ChenW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/ChenCMM0X16,
  author    = {Changbo Chen and
               Svyatoslav Covanov and
               Farnam Mansouri and
               Marc Moreno Maza and
               Ning Xie and
               Yuzhen Xie},
  title     = {Parallel Integer Polynomial Multiplication},
  booktitle = {18th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September
               24-27, 2016},
  pages     = {72--80},
  year      = {2016},
  crossref  = {DBLP:conf/synasc/2016},
  url       = {https://doi.org/10.1109/SYNASC.2016.024},
  doi       = {10.1109/SYNASC.2016.024},
  timestamp = {Thu, 15 Nov 2018 09:52:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/ChenCMM0X16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/ChenW16a,
  author    = {Changbo Chen and
               Wenyuan Wu},
  title     = {A Numerical Method for Analyzing the Stability of Bi-Parametric Biological
               Systems},
  booktitle = {18th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September
               24-27, 2016},
  pages     = {91--98},
  year      = {2016},
  crossref  = {DBLP:conf/synasc/2016},
  url       = {https://doi.org/10.1109/SYNASC.2016.026},
  doi       = {10.1109/SYNASC.2016.026},
  timestamp = {Thu, 15 Nov 2018 09:52:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/ChenW16a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenCMM0X16,
  author    = {Changbo Chen and
               Svyatoslav Covanov and
               Farnam Mansouri and
               Marc Moreno Maza and
               Ning Xie and
               Yuzhen Xie},
  title     = {Parallel Integer Polynomial Multiplication},
  journal   = {CoRR},
  volume    = {abs/1612.05778},
  year      = {2016},
  url       = {http://arxiv.org/abs/1612.05778},
  archivePrefix = {arXiv},
  eprint    = {1612.05778},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ChenCMM0X16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/AlvandiCHM15,
  author    = {Parisa Alvandi and
               Changbo Chen and
               Amir Hashemi and
               Marc Moreno Maza},
  title     = {Regular Chains under Linear Changes of Coordinates and Applications},
  booktitle = {Computer Algebra in Scientific Computing - 17th International Workshop,
               {CASC} 2015, Aachen, Germany, September 14-18, 2015, Proceedings},
  pages     = {30--44},
  year      = {2015},
  crossref  = {DBLP:conf/casc/2015},
  url       = {https://doi.org/10.1007/978-3-319-24021-3\_3},
  doi       = {10.1007/978-3-319-24021-3\_3},
  timestamp = {Fri, 02 Nov 2018 09:44:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/casc/AlvandiCHM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ChenM15,
  author    = {Changbo Chen and
               Marc Moreno Maza},
  title     = {Simplification of Cylindrical Algebraic Formulas},
  booktitle = {Computer Algebra in Scientific Computing - 17th International Workshop,
               {CASC} 2015, Aachen, Germany, September 14-18, 2015, Proceedings},
  pages     = {119--134},
  year      = {2015},
  crossref  = {DBLP:conf/casc/2015},
  url       = {https://doi.org/10.1007/978-3-319-24021-3\_9},
  doi       = {10.1007/978-3-319-24021-3\_9},
  timestamp = {Fri, 02 Nov 2018 09:44:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/casc/ChenM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/ChenCKMX15,
  author    = {Changbo Chen and
               Xiaohui Chen and
               Abdoul{-}Kader Keita and
               Marc Moreno Maza and
               Ning Xie},
  title     = {MetaFork: a compilation framework for concurrency models targeting
               hardware accelerators and its application to the generation of parametric
               {CUDA} kernels},
  booktitle = {Proceedings of 25th Annual International Conference on Computer Science
               and Software Engineering, {CASCON} 2015, Markham, Ontario, Canada,
               2-4 November, 2015},
  pages     = {70--79},
  year      = {2015},
  crossref  = {DBLP:conf/cascon/2015},
  url       = {http://dl.acm.org/citation.cfm?id=2886456},
  timestamp = {Thu, 02 Jun 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cascon/ChenCKMX15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/ChenCMM0X14,
  author    = {Changbo Chen and
               Svyatoslav Covanov and
               Farnam Mansouri and
               Marc Moreno Maza and
               Ning Xie and
               Yuzhen Xie},
  title     = {Basic Polynomial Algebra Subprograms},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {48},
  number    = {3/4},
  pages     = {197--201},
  year      = {2014},
  url       = {https://doi.org/10.1145/2733693.2733723},
  doi       = {10.1145/2733693.2733723},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/ChenCMM0X14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  title     = {Truth Table Invariant Cylindrical Algebraic Decomposition by Regular
               Chains},
  booktitle = {Computer Algebra in Scientific Computing - 16th International Workshop,
               {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings},
  pages     = {44--58},
  year      = {2014},
  crossref  = {DBLP:conf/casc/2014},
  url       = {https://doi.org/10.1007/978-3-319-10515-4\_4},
  doi       = {10.1007/978-3-319-10515-4\_4},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/BradfordCDEMW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/ChenM14,
  author    = {Changbo Chen and
               Marc Moreno Maza},
  title     = {Real Quantifier Elimination in the RegularChains Library},
  booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
               Seoul, South Korea, August 5-9, 2014. Proceedings},
  pages     = {283--290},
  year      = {2014},
  crossref  = {DBLP:conf/icms/2014},
  url       = {https://doi.org/10.1007/978-3-662-44199-2\_44},
  doi       = {10.1007/978-3-662-44199-2\_44},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icms/ChenM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/ChenM14a,
  author    = {Changbo Chen and
               Marc Moreno Maza},
  title     = {Cylindrical Algebraic Decomposition in the RegularChains Library},
  booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
               Seoul, South Korea, August 5-9, 2014. Proceedings},
  pages     = {425--433},
  year      = {2014},
  crossref  = {DBLP:conf/icms/2014},
  url       = {https://doi.org/10.1007/978-3-662-44199-2\_65},
  doi       = {10.1007/978-3-662-44199-2\_65},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icms/ChenM14a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  title     = {Doing Algebraic Geometry with the RegularChains Library},
  booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
               Seoul, South Korea, August 5-9, 2014. Proceedings},
  pages     = {472--479},
  year      = {2014},
  crossref  = {DBLP:conf/icms/2014},
  url       = {https://doi.org/10.1007/978-3-662-44199-2\_71},
  doi       = {10.1007/978-3-662-44199-2\_71},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icms/AlvandiCMMSV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/ChenM14b,
  author    = {Changbo Chen and
               Marc Moreno Maza},
  title     = {Solving Parametric Polynomial Systems by RealComprehensiveTriangularize},
  booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
               Seoul, South Korea, August 5-9, 2014. Proceedings},
  pages     = {504--511},
  year      = {2014},
  crossref  = {DBLP:conf/icms/2014},
  url       = {https://doi.org/10.1007/978-3-662-44199-2\_76},
  doi       = {10.1007/978-3-662-44199-2\_76},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icms/ChenM14b},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/ChenCMMXX14,
  author    = {Changbo Chen and
               Svyatoslav Covanov and
               Farnam Mansouri and
               Marc Moreno Maza and
               Ning Xie and
               Yuzhen Xie},
  title     = {The Basic Polynomial Algebra Subprograms},
  booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress,
               Seoul, South Korea, August 5-9, 2014. Proceedings},
  pages     = {669--676},
  year      = {2014},
  crossref  = {DBLP:conf/icms/2014},
  url       = {https://doi.org/10.1007/978-3-662-44199-2\_100},
  doi       = {10.1007/978-3-662-44199-2\_100},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icms/ChenCMMXX14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChenM14,
  author    = {Changbo Chen and
               Marc Moreno Maza},
  title     = {Quantifier elimination by cylindrical algebraic decomposition based
               on regular chains},
  booktitle = {International Symposium on Symbolic and Algebraic Computation, {ISSAC}
               '14, Kobe, Japan, July 23-25, 2014},
  pages     = {91--98},
  year      = {2014},
  crossref  = {DBLP:conf/issac/2014},
  url       = {https://doi.org/10.1145/2608628.2608666},
  doi       = {10.1145/2608628.2608666},
  timestamp = {Fri, 08 Mar 2019 15:12:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/ChenM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  title     = {Problem Formulation for Truth-Table Invariant Cylindrical Algebraic
               Decomposition by Incremental Triangular Decomposition},
  booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
               2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
  pages     = {45--60},
  year      = {2014},
  crossref  = {DBLP:conf/mkm/2014},
  url       = {https://doi.org/10.1007/978-3-319-08434-3\_5},
  doi       = {10.1007/978-3-319-08434-3\_5},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/EnglandBCDMW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  title     = {Truth Table Invariant Cylindrical Algebraic Decomposition by Regular
               Chains},
  journal   = {CoRR},
  volume    = {abs/1401.6310},
  year      = {2014},
  url       = {http://arxiv.org/abs/1401.6310},
  archivePrefix = {arXiv},
  eprint    = {1401.6310},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/BradfordCDEMW14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  title     = {Problem formulation for truth-table invariant cylindrical algebraic
               decomposition by incremental triangular decomposition},
  journal   = {CoRR},
  volume    = {abs/1404.6371},
  year      = {2014},
  url       = {http://arxiv.org/abs/1404.6371},
  archivePrefix = {arXiv},
  eprint    = {1404.6371},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/EnglandBCDMW14},
  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/jsc/ChenDMMXX13,
  author    = {Changbo Chen and
               James H. Davenport and
               John P. May and
               Marc Moreno Maza and
               Bican Xia and
               Rong Xiao},
  title     = {Triangular decomposition of semi-algebraic systems},
  journal   = {J. Symb. Comput.},
  volume    = {49},
  pages     = {3--26},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.jsc.2011.12.014},
  doi       = {10.1016/j.jsc.2011.12.014},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/ChenDMMXX13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ChenDMXX13,
  author    = {Changbo Chen and
               James H. Davenport and
               Marc Moreno Maza and
               Bican Xia and
               Rong Xiao},
  title     = {Computing with semi-algebraic sets: Relaxation techniques and effective
               boundaries},
  journal   = {J. Symb. Comput.},
  volume    = {52},
  pages     = {72--96},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.jsc.2012.05.013},
  doi       = {10.1016/j.jsc.2012.05.013},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/ChenDMXX13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/AlvandiCM13,
  author    = {Parisa Alvandi and
               Changbo Chen and
               Marc Moreno Maza},
  title     = {Computing the Limit Points of the Quasi-component of a Regular Chain
               in Dimension One},
  booktitle = {Computer Algebra in Scientific Computing - 15th International Workshop,
               {CASC} 2013, Berlin, Germany, September 9-13, 2013. Proceedings},
  pages     = {30--45},
  year      = {2013},
  crossref  = {DBLP:conf/casc/2013},
  url       = {https://doi.org/10.1007/978-3-319-02297-0\_3},
  doi       = {10.1007/978-3-319-02297-0\_3},
  timestamp = {Mon, 22 May 2017 17:10:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/AlvandiCM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-4688,
  author    = {Parisa Alvandi and
               Changbo Chen and
               Marc Moreno Maza},
  title     = {An Algorithm for Computing the Limit Points of the Quasi-component
               of a Regular Chain},
  journal   = {CoRR},
  volume    = {abs/1302.4688},
  year      = {2013},
  url       = {http://arxiv.org/abs/1302.4688},
  archivePrefix = {arXiv},
  eprint    = {1302.4688},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1302-4688},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/ChenM12,
  author    = {Changbo Chen and
               Marc Moreno Maza},
  title     = {Algorithms for computing triangular decomposition of polynomial systems},
  journal   = {J. Symb. Comput.},
  volume    = {47},
  number    = {6},
  pages     = {610--642},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jsc.2011.12.023},
  doi       = {10.1016/j.jsc.2011.12.023},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/ChenM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ascm/ChenM12,
  author    = {Changbo Chen and
               Marc Moreno Maza},
  title     = {An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions},
  booktitle = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
               Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
               China, October 2012, Contributed Papers and Invited Talks},
  pages     = {199--221},
  year      = {2012},
  crossref  = {DBLP:conf/ascm/2012},
  url       = {https://doi.org/10.1007/978-3-662-43799-5\_17},
  doi       = {10.1007/978-3-662-43799-5\_17},
  timestamp = {Sat, 23 Jun 2018 18:40:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ascm/ChenM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-5543,
  author    = {Changbo Chen and
               Marc Moreno Maza},
  title     = {An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions},
  journal   = {CoRR},
  volume    = {abs/1210.5543},
  year      = {2012},
  url       = {http://arxiv.org/abs/1210.5543},
  archivePrefix = {arXiv},
  eprint    = {1210.5543},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1210-5543},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  title     = {Computing the real solutions of polynomial systems with the RegularChains
               library in Maple},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {45},
  number    = {3/4},
  pages     = {166--168},
  year      = {2011},
  url       = {https://doi.org/10.1145/2110170.2110174},
  doi       = {10.1145/2110170.2110174},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/ChenDLMXXX11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ChenM11,
  author    = {Changbo Chen and
               Marc Moreno Maza},
  title     = {Semi-algebraic Description of the Equilibria of Dynamical Systems},
  booktitle = {Computer Algebra in Scientific Computing - 13th International Workshop,
               {CASC} 2011, Kassel, Germany, September 5-9, 2011. Proceedings},
  pages     = {101--125},
  year      = {2011},
  crossref  = {DBLP:conf/casc/2011},
  url       = {https://doi.org/10.1007/978-3-642-23568-9\_9},
  doi       = {10.1007/978-3-642-23568-9\_9},
  timestamp = {Mon, 22 May 2017 17:10:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/ChenM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChenDMXX11,
  author    = {Changbo Chen and
               James H. Davenport and
               Marc Moreno Maza and
               Bican Xia and
               Rong Xiao},
  title     = {Computing with semi-algebraic sets represented by triangular decomposition},
  booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
               2011, Proceedings},
  pages     = {75--82},
  year      = {2011},
  crossref  = {DBLP:conf/issac/2011},
  url       = {https://doi.org/10.1145/1993886.1993903},
  doi       = {10.1145/1993886.1993903},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/ChenDMXX11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChenM11,
  author    = {Changbo Chen and
               Marc Moreno Maza},
  title     = {Algorithms for computing triangular decompositions of polynomial systems},
  booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
               2011, Proceedings},
  pages     = {83--90},
  year      = {2011},
  crossref  = {DBLP:conf/issac/2011},
  url       = {https://doi.org/10.1145/1993886.1993904},
  doi       = {10.1145/1993886.1993904},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/ChenM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1104-0689,
  author    = {Changbo Chen and
               Marc Moreno Maza},
  title     = {Algorithms for Computing Triangular Decompositions of Polynomial Systems},
  journal   = {CoRR},
  volume    = {abs/1104.0689},
  year      = {2011},
  url       = {http://arxiv.org/abs/1104.0689},
  archivePrefix = {arXiv},
  eprint    = {1104.0689},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1104-0689},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChenDMMXX10,
  author    = {Changbo Chen and
               James H. Davenport and
               John P. May and
               Marc Moreno Maza and
               Bican Xia and
               Rong Xiao},
  title     = {Triangular decomposition of semi-algebraic systems},
  booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2010, Munich, Germany, July 25-28, 2010, Proceedings},
  pages     = {187--194},
  year      = {2010},
  crossref  = {DBLP:conf/issac/2010},
  url       = {https://doi.org/10.1145/1837934.1837972},
  doi       = {10.1145/1837934.1837972},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/ChenDMMXX10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  title     = {Triangular Decomposition of Semi-algebraic Systems},
  journal   = {CoRR},
  volume    = {abs/1002.4784},
  year      = {2010},
  url       = {http://arxiv.org/abs/1002.4784},
  archivePrefix = {arXiv},
  eprint    = {1002.4784},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1002-4784},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ascm/BoulierCLM09,
  author    = {Fran{\c{c}}ois Boulier and
               Changbo Chen and
               Fran{\c{c}}ois Lemaire and
               Marc Moreno Maza},
  title     = {Real Root Isolation of Regular Chains},
  booktitle = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
               Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
               China, October 2012, Contributed Papers and Invited Talks},
  pages     = {33--48},
  year      = {2009},
  crossref  = {DBLP:conf/ascm/2012},
  url       = {https://doi.org/10.1007/978-3-662-43799-5\_4},
  doi       = {10.1007/978-3-662-43799-5\_4},
  timestamp = {Sat, 23 Jun 2018 18:40:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ascm/BoulierCLM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/ChenMXY09,
  author    = {Changbo Chen and
               Marc Moreno Maza and
               Bican Xia and
               Lu Yang},
  title     = {Computing cylindrical algebraic decomposition via triangular decomposition},
  booktitle = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
  pages     = {95--102},
  year      = {2009},
  crossref  = {DBLP:conf/issac/2009},
  url       = {https://doi.org/10.1145/1576702.1576718},
  doi       = {10.1145/1576702.1576718},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/ChenMXY09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-5221,
  author    = {Changbo Chen and
               Marc Moreno Maza and
               Bican Xia and
               Lu Yang},
  title     = {Computing Cylindrical Algebraic Decomposition via Triangular Decomposition},
  journal   = {CoRR},
  volume    = {abs/0903.5221},
  year      = {2009},
  url       = {http://arxiv.org/abs/0903.5221},
  archivePrefix = {arXiv},
  eprint    = {0903.5221},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0903-5221},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/ChenLMPX08,
  author    = {Changbo Chen and
               Liyun Li and
               Marc Moreno Maza and
               Wei Pan and
               Yuzhen Xie},
  title     = {On the representation of constructible sets},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {42},
  number    = {3},
  pages     = {162--163},
  year      = {2008},
  url       = {https://doi.org/10.1145/1504347.1504368},
  doi       = {10.1145/1504347.1504368},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/ChenLMPX08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/ChenMLPLX08,
  author    = {Changbo Chen and
               Marc Moreno Maza and
               Fran{\c{c}}ois Lemaire and
               Wei Pan and
               Liyun Li and
               Yuzhen Xie},
  title     = {The ConstructibleSetTools and ParametricSystemTools modules of the
               RegularChains library in Maple},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {42},
  number    = {3},
  pages     = {182--184},
  year      = {2008},
  url       = {https://doi.org/10.1145/1504347.1504378},
  doi       = {10.1145/1504347.1504378},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/ChenMLPLX08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fcsc/ChenMPX08,
  author    = {Changbo Chen and
               Marc Moreno Maza and
               Wei Pan and
               Yuzhen Xie},
  title     = {On the verification of polynomial system solvers},
  journal   = {Frontiers Comput. Sci. China},
  volume    = {2},
  number    = {1},
  pages     = {55--66},
  year      = {2008},
  url       = {https://doi.org/10.1007/s11704-008-0006-y},
  doi       = {10.1007/s11704-008-0006-y},
  timestamp = {Tue, 07 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fcsc/ChenMPX08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/ChenLLMPX08,
  author    = {Changbo Chen and
               Fran{\c{c}}ois Lemaire and
               Liyun Li and
               Marc Moreno Maza and
               Wei Pan and
               Yuzhen Xie},
  title     = {The ConstructibleSetTools and ParametricSystemTools Modules of the
               RegularChains Library in Maple},
  booktitle = {Selected Papers of the Sixth International Conference on Computational
               Sciences and Its Applications, {ICCSA} '08, Perugia, Italy, June 30
               - July 3, 2008},
  pages     = {342--352},
  year      = {2008},
  crossref  = {DBLP:conf/iccsa/2008-w},
  url       = {https://doi.org/10.1109/ICCSA.2008.61},
  doi       = {10.1109/ICCSA.2008.61},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iccsa/ChenLLMPX08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/casc/ChenGLMP07,
  author    = {Changbo Chen and
               Oleg Golubitsky and
               Fran{\c{c}}ois Lemaire and
               Marc Moreno Maza and
               Wei Pan},
  title     = {Comprehensive Triangular Decomposition},
  booktitle = {Computer Algebra in Scientific Computing, 10th International Workshop,
               {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  pages     = {73--101},
  year      = {2007},
  crossref  = {DBLP:conf/casc/2007},
  url       = {https://doi.org/10.1007/978-3-540-75187-8\_7},
  doi       = {10.1007/978-3-540-75187-8\_7},
  timestamp = {Tue, 07 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/ChenGLMP07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccS/ChenLMPX07,
  author    = {Changbo Chen and
               Fran{\c{c}}ois Lemaire and
               Marc Moreno Maza and
               Wei Pan and
               Yuzhen Xie},
  title     = {Efficient Computations of Irredundant Triangular Decompositions with
               the RegularChains Library},
  booktitle = {Computational Science - {ICCS} 2007, 7th International Conference,
               Beijing, China, May 27 - 30, 2007, Proceedings, Part {II}},
  pages     = {268--271},
  year      = {2007},
  crossref  = {DBLP:conf/iccS/2007-2},
  url       = {https://doi.org/10.1007/978-3-540-72586-2\_38},
  doi       = {10.1007/978-3-540-72586-2\_38},
  timestamp = {Tue, 07 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccS/ChenLMPX07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2018,
  editor    = {Jacques D. Fleuriot and
               Dongming Wang and
               Jacques Calmet},
  title     = {Artificial Intelligence and Symbolic Computation - 13th International
               Conference, {AISC} 2018, Suzhou, China, September 16-19, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11110},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-99957-9},
  doi       = {10.1007/978-3-319-99957-9},
  isbn      = {978-3-319-99956-2},
  timestamp = {Mon, 27 Aug 2018 14:11:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/casc/2018,
  editor    = {Vladimir P. Gerdt and
               Wolfram Koepf and
               Werner M. Seiler and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing - 20th International Workshop,
               {CASC} 2018, Lille, France, September 17-21, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11077},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-99639-4},
  doi       = {10.1007/978-3-319-99639-4},
  isbn      = {978-3-319-99638-7},
  timestamp = {Mon, 03 Sep 2018 14:17:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/casc/2017,
  editor    = {Vladimir P. Gerdt and
               Wolfram Koepf and
               Werner M. Seiler and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing - 19th International Workshop,
               {CASC} 2017, Beijing, China, September 18-22, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10490},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66320-3},
  doi       = {10.1007/978-3-319-66320-3},
  isbn      = {978-3-319-66319-7},
  timestamp = {Thu, 07 Sep 2017 12:00:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/casc/2016,
  editor    = {Vladimir P. Gerdt and
               Wolfram Koepf and
               Werner M. Seiler and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing - 18th International Workshop,
               {CASC} 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9890},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-45641-6},
  doi       = {10.1007/978-3-319-45641-6},
  isbn      = {978-3-319-45640-9},
  timestamp = {Mon, 22 May 2017 17:10:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  title     = {18th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September
               24-27, 2016},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7827704},
  isbn      = {978-1-5090-5707-8},
  timestamp = {Thu, 15 Nov 2018 09:52:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/casc/2015,
  editor    = {Vladimir P. Gerdt and
               Wolfram Koepf and
               Werner M. Seiler and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing - 17th International Workshop,
               {CASC} 2015, Aachen, Germany, September 14-18, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9301},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24021-3},
  doi       = {10.1007/978-3-319-24021-3},
  isbn      = {978-3-319-24020-6},
  timestamp = {Fri, 02 Nov 2018 09:44:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/casc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cascon/2015,
  editor    = {Jordan Gould and
               Marin Litoiu and
               Hanan Lutfiyya},
  title     = {Proceedings of 25th Annual International Conference on Computer Science
               and Software Engineering, {CASCON} 2015, Markham, Ontario, Canada,
               2-4 November, 2015},
  publisher = {{IBM} / {ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2886444},
  timestamp = {Wed, 27 Jan 2016 20:24:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cascon/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/casc/2014,
  editor    = {Vladimir P. Gerdt and
               Wolfram Koepf and
               Werner M. Seiler and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing - 16th International Workshop,
               {CASC} 2014, Warsaw, Poland, September 8-12, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8660},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10515-4},
  doi       = {10.1007/978-3-319-10515-4},
  isbn      = {978-3-319-10514-7},
  timestamp = {Mon, 22 May 2017 17:10:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/2014},
  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 = {Fri, 08 Mar 2019 15:12:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2014,
  editor    = {Stephen M. Watt and
               James H. Davenport and
               Alan P. Sexton and
               Petr Sojka and
               Josef Urban},
  title     = {Intelligent Computer Mathematics - International Conference, {CICM}
               2014, Coimbra, Portugal, July 7-11, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8543},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08434-3},
  doi       = {10.1007/978-3-319-08434-3},
  isbn      = {978-3-319-08433-6},
  timestamp = {Wed, 17 May 2017 10:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/casc/2013,
  editor    = {Vladimir P. Gerdt and
               Wolfram Koepf and
               Ernst W. Mayr and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing - 15th International Workshop,
               {CASC} 2013, Berlin, Germany, September 9-13, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8136},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-02297-0},
  doi       = {10.1007/978-3-319-02297-0},
  isbn      = {978-3-319-02296-3},
  timestamp = {Mon, 22 May 2017 17:10:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ascm/2012,
  editor    = {Ruyong Feng and
               Wen{-}shin Lee and
               Yosuke Sato},
  title     = {Computer Mathematics, 9th Asian Symposium {(ASCM} 2009), Fukuoka,
               Japan, December 2009, 10th Asian Symposium {(ASCM} 2012), Beijing,
               China, October 2012, Contributed Papers and Invited Talks},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-43799-5},
  doi       = {10.1007/978-3-662-43799-5},
  isbn      = {978-3-662-43798-8},
  timestamp = {Sat, 23 Jun 2018 18:40:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ascm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/casc/2011,
  editor    = {Vladimir P. Gerdt and
               Wolfram Koepf and
               Ernst W. Mayr and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing - 13th International Workshop,
               {CASC} 2011, Kassel, Germany, September 5-9, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6885},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-23568-9},
  doi       = {10.1007/978-3-642-23568-9},
  isbn      = {978-3-642-23567-2},
  timestamp = {Mon, 22 May 2017 17:10:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2011,
  editor    = {{\'{E}}ric Schost and
               Ioannis Z. Emiris},
  title     = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2011 (co-located with {FCRC} 2011), San Jose, CA, USA, June 7-11,
               2011, Proceedings},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0675-1},
  timestamp = {Thu, 09 Jun 2011 09:47:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2010,
  editor    = {Wolfram Koepf},
  title     = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2010, Munich, Germany, July 25-28, 2010, Proceedings},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0150-3},
  timestamp = {Tue, 05 Apr 2011 10:47:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2009,
  editor    = {Jeremy R. Johnson and
               Hyungju Park and
               Erich Kaltofen},
  title     = {Symbolic and Algebraic Computation, International Symposium, {ISSAC}
               2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-609-0},
  timestamp = {Mon, 19 Apr 2010 20:46:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccsa/2008-w,
  editor    = {Marina L. Gavrilova and
               Osvaldo Gervasi and
               Antonio Lagan{\`{a}} and
               Youngsong Mun and
               Andr{\'{e}}s Iglesias},
  title     = {Selected Papers of the Sixth International Conference on Computational
               Sciences and Its Applications, {ICCSA} '08, Perugia, Italy, June 30
               - July 3, 2008},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4561186},
  isbn      = {978-0-7695-3243-1},
  timestamp = {Wed, 22 Aug 2018 10:51:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccsa/2008-w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/casc/2007,
  editor    = {Victor G. Ganzha and
               Ernst W. Mayr and
               Evgenii V. Vorozhtsov},
  title     = {Computer Algebra in Scientific Computing, 10th International Workshop,
               {CASC} 2007, Bonn, Germany, September 16-20, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4770},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75187-8},
  doi       = {10.1007/978-3-540-75187-8},
  isbn      = {978-3-540-75186-1},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/casc/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccS/2007-2,
  editor    = {Yong Shi and
               G. Dick van Albada and
               Jack J. Dongarra and
               Peter M. A. Sloot},
  title     = {Computational Science - {ICCS} 2007, 7th International Conference,
               Beijing, China, May 27 - 30, 2007, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4488},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-72586-2},
  doi       = {10.1007/978-3-540-72586-2},
  isbn      = {978-3-540-72585-5},
  timestamp = {Mon, 21 Aug 2017 16:43:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccS/2007-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier