Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Changbo Chen
@article{DBLP:journals/siamads/ChenW22, author = {Changbo Chen and Wenyuan Wu}, title = {A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure}, journal = {{SIAM} J. Appl. Dyn. Syst.}, volume = {21}, number = {2}, pages = {1573--1596}, year = {2022}, url = {https://doi.org/10.1137/21m1436373}, doi = {10.1137/21M1436373}, timestamp = {Fri, 05 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamads/ChenW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2101-12453, author = {Wenyuan Wu and Changbo Chen}, title = {A Companion Curve Tracing Method for Rank-deficient Polynomial Systems}, journal = {CoRR}, volume = {abs/2101.12453}, year = {2021}, url = {https://arxiv.org/abs/2101.12453}, eprinttype = {arXiv}, eprint = {2101.12453}, timestamp = {Tue, 02 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2101-12453.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cagd/ChenWF20, author = {Changbo Chen and Wenyuan Wu and Yong Feng}, title = {Numerical roadmap of smooth bounded real algebraic surface}, journal = {Comput. Aided Geom. Des.}, volume = {79}, pages = {101858}, year = {2020}, url = {https://doi.org/10.1016/j.cagd.2020.101858}, doi = {10.1016/J.CAGD.2020.101858}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cagd/ChenWF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jossac/ChenWF20, author = {Changbo Chen and Wenyuan Wu and Yong Feng}, title = {Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities}, journal = {J. Syst. Sci. Complex.}, volume = {33}, number = {4}, pages = {1252--1274}, year = {2020}, url = {https://doi.org/10.1007/s11424-020-8380-0}, doi = {10.1007/S11424-020-8380-0}, timestamp = {Tue, 18 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jossac/ChenWF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icms/Chen20, author = {Changbo Chen}, editor = {Anna Maria Bigatti and Jacques Carette and James H. Davenport and Michael Joswig and Timo de Wolff}, title = {Chordality Preserving Incremental Triangular Decomposition and Its Implementation}, booktitle = {Mathematical Software - {ICMS} 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12097}, pages = {27--36}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-52200-1\_3}, doi = {10.1007/978-3-030-52200-1\_3}, timestamp = {Wed, 15 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icms/Chen20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icms/ChenZC20, author = {Changbo Chen and Zhangpeng Zhu and Haoyu Chi}, editor = {Anna Maria Bigatti and Jacques Carette and James H. Davenport and Michael Joswig and Timo de Wolff}, title = {Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks}, booktitle = {Mathematical Software - {ICMS} 2020 - 7th International Conference, Braunschweig, Germany, July 13-16, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12097}, pages = {281--291}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-52200-1\_28}, doi = {10.1007/978-3-030-52200-1\_28}, timestamp = {Wed, 15 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icms/ChenZC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1912-07507, author = {Changbo Chen and Wenyuan Wu and Yong Feng}, title = {Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities}, journal = {CoRR}, volume = {abs/1912.07507}, year = {2019}, url = {http://arxiv.org/abs/1912.07507}, eprinttype = {arXiv}, eprint = {1912.07507}, timestamp = {Fri, 03 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1912-07507.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aisc/ChenW18, author = {Changbo Chen and Wenyuan Wu}, editor = {Jacques D. Fleuriot and Dongming Wang and Jacques Calmet}, 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}, series = {Lecture Notes in Computer Science}, volume = {11110}, pages = {170--180}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99957-9\_11}, doi = {10.1007/978-3-319-99957-9\_11}, timestamp = {Tue, 19 Nov 2019 15:07:38 +0100}, biburl = {https://dblp.org/rec/conf/aisc/ChenW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/ChenW18, author = {Changbo Chen and Wenyuan Wu}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, 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}, series = {Lecture Notes in Computer Science}, volume = {11077}, pages = {99--115}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99639-4\_7}, doi = {10.1007/978-3-319-99639-4\_7}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/casc/ChenW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/ChenWF17, author = {Changbo Chen and Wenyuan Wu and Yong Feng}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, 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}, series = {Lecture Notes in Computer Science}, volume = {10490}, pages = {51--65}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-66320-3\_5}, doi = {10.1007/978-3-319-66320-3\_5}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/casc/ChenWF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/WuCR17, author = {Wenyuan Wu and Changbo Chen and Greg Reid}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, 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}, series = {Lecture Notes in Computer Science}, volume = {10490}, pages = {377--391}, publisher = {Springer}, year = {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 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/WuCR17.bib}, 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} Commun. Comput. Algebra}, volume = {50}, number = {3}, pages = {97--100}, year = {2016}, url = {https://doi.org/10.1145/3015306.3015312}, doi = {10.1145/3015306.3015312}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cca/ChenCMMM0X16.bib}, 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 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/ChenM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/ChenW16, author = {Changbo Chen and Wenyuan Wu}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, 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}, series = {Lecture Notes in Computer Science}, volume = {9890}, pages = {156--171}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45641-6\_11}, doi = {10.1007/978-3-319-45641-6\_11}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/casc/ChenW16.bib}, 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}, editor = {James H. Davenport and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie}, 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}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/SYNASC.2016.024}, doi = {10.1109/SYNASC.2016.024}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/synasc/ChenCMM0X16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/synasc/ChenW16a, author = {Changbo Chen and Wenyuan Wu}, editor = {James H. Davenport and Viorel Negru and Tetsuo Ida and Tudor Jebelean and Dana Petcu and Stephen M. Watt and Daniela Zaharie}, 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}, publisher = {{IEEE}}, year = {2016}, url = {https://doi.org/10.1109/SYNASC.2016.026}, doi = {10.1109/SYNASC.2016.026}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/synasc/ChenW16a.bib}, 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}, eprinttype = {arXiv}, eprint = {1612.05778}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ChenCMM0X16.bib}, 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}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, 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}, series = {Lecture Notes in Computer Science}, volume = {9301}, pages = {30--44}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24021-3\_3}, doi = {10.1007/978-3-319-24021-3\_3}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/casc/AlvandiCHM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/ChenM15, author = {Changbo Chen and Marc Moreno Maza}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, title = {Simplification of Cylindrical Algebraic Formulas}, booktitle = {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}, pages = {119--134}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24021-3\_9}, doi = {10.1007/978-3-319-24021-3\_9}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/casc/ChenM15.bib}, 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}, editor = {Jordan Gould and Marin Litoiu and Hanan Lutfiyya}, 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}, publisher = {{IBM} / {ACM}}, year = {2015}, url = {http://dl.acm.org/citation.cfm?id=2886456}, timestamp = {Thu, 02 Jun 2016 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cascon/ChenCKMX15.bib}, 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} Commun. Comput. 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 = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cca/ChenCMM0X14.bib}, 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}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}, 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}, series = {Lecture Notes in Computer Science}, volume = {8660}, pages = {44--58}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-10515-4\_4}, doi = {10.1007/978-3-319-10515-4\_4}, timestamp = {Mon, 31 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/casc/BradfordCDEMW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icms/ChenM14, author = {Changbo Chen and Marc Moreno Maza}, editor = {Hoon Hong and Chee Yap}, title = {Real Quantifier Elimination in the RegularChains Library}, booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8592}, pages = {283--290}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-44199-2\_44}, doi = {10.1007/978-3-662-44199-2\_44}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/icms/ChenM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icms/ChenM14a, author = {Changbo Chen and Marc Moreno Maza}, editor = {Hoon Hong and Chee Yap}, title = {Cylindrical Algebraic Decomposition in the RegularChains Library}, booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8592}, pages = {425--433}, publisher = {Springer}, year = {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/conf/icms/ChenM14a.bib}, 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}, editor = {Hoon Hong and Chee Yap}, title = {Doing Algebraic Geometry with the RegularChains Library}, booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8592}, pages = {472--479}, publisher = {Springer}, year = {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/conf/icms/AlvandiCMMSV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icms/ChenM14b, author = {Changbo Chen and Marc Moreno Maza}, editor = {Hoon Hong and Chee Yap}, title = {Solving Parametric Polynomial Systems by RealComprehensiveTriangularize}, booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8592}, pages = {504--511}, publisher = {Springer}, year = {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/conf/icms/ChenM14b.bib}, 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}, editor = {Hoon Hong and Chee Yap}, title = {The Basic Polynomial Algebra Subprograms}, booktitle = {Mathematical Software - {ICMS} 2014 - 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8592}, pages = {669--676}, publisher = {Springer}, year = {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/conf/icms/ChenCMMXX14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/ChenM14, author = {Changbo Chen and Marc Moreno Maza}, editor = {Katsusuke Nabeshima and Kosaku Nagasaka and Franz Winkler and {\'{A}}gnes Sz{\'{a}}nt{\'{o}}}, 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}, publisher = {{ACM}}, year = {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/conf/issac/ChenM14.bib}, 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}, editor = {Stephen M. Watt and James H. Davenport and Alan P. Sexton and Petr Sojka and Josef Urban}, 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}, series = {Lecture Notes in Computer Science}, volume = {8543}, pages = {45--60}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08434-3\_5}, doi = {10.1007/978-3-319-08434-3\_5}, timestamp = {Wed, 16 Mar 2022 23:55:39 +0100}, biburl = {https://dblp.org/rec/conf/mkm/EnglandBCDMW14.bib}, 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}, eprinttype = {arXiv}, eprint = {1401.6310}, timestamp = {Mon, 31 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/BradfordCDEMW14.bib}, 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}, eprinttype = {arXiv}, eprint = {1404.6371}, timestamp = {Mon, 31 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/EnglandBCDMW14.bib}, 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 = {Int. J. Bifurc. Chaos}, volume = {23}, number = {9}, year = {2013}, url = {https://doi.org/10.1142/S021812741350154X}, doi = {10.1142/S021812741350154X}, timestamp = {Mon, 10 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijbc/ChenCMYZ13.bib}, 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 = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/ChenDMMXX13.bib}, 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 = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/ChenDMXX13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/AlvandiCM13, author = {Parisa Alvandi and Changbo Chen and Marc Moreno Maza}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Ernst W. Mayr and Evgenii V. Vorozhtsov}, 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}, series = {Lecture Notes in Computer Science}, volume = {8136}, pages = {30--45}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-02297-0\_3}, doi = {10.1007/978-3-319-02297-0\_3}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/casc/AlvandiCM13.bib}, 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}, eprinttype = {arXiv}, eprint = {1302.4688}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1302-4688.bib}, 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 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/ChenM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ascm/ChenM12, author = {Changbo Chen and Marc Moreno Maza}, editor = {Ruyong Feng and Wen{-}shin Lee and Yosuke Sato}, 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}, publisher = {Springer}, year = {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/conf/ascm/ChenM12.bib}, 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}, eprinttype = {arXiv}, eprint = {1210.5543}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-5543.bib}, 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} Commun. Comput. 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 = {Wed, 16 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cca/ChenDLMXXX11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/casc/ChenM11, author = {Changbo Chen and Marc Moreno Maza}, editor = {Vladimir P. Gerdt and Wolfram Koepf and Ernst W. Mayr and Evgenii V. Vorozhtsov}, 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}, series = {Lecture Notes in Computer Science}, volume = {6885}, pages = {101--125}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-23568-9\_9}, doi = {10.1007/978-3-642-23568-9\_9}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/casc/ChenM11.bib}, 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}, editor = {{\'{E}}ric Schost and Ioannis Z. Emiris}, 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}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1993886.1993903}, doi = {10.1145/1993886.1993903}, timestamp = {Wed, 16 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/ChenDMXX11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issac/ChenM11, author = {Changbo Chen and Marc Moreno Maza}, editor = {{\'{E}}ric Schost and Ioannis Z. Emiris}, 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}, publisher = {{ACM}}, year = {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/conf/issac/ChenM11.bib}, 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}, eprinttype = {arXiv}, eprint = {1104.0689}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1104-0689.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cca/ChenMX10, author = {Changbo Chen and Marc Moreno Maza and Yuzhen Xie}, title = {Cache complexity and multicore implementation for univariate real root isolation}, journal = {{ACM} Commun. Comput. Algebra}, volume = {44}, number = {3/4}, pages = {97--98}, year = {2010}, url = {https://doi.org/10.1145/1940475.1940483}, doi = {10.1145/1940475.1940483}, timestamp = {Fri, 05 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cca/ChenMX10.bib}, 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}, editor = {Wolfram Koepf}, 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}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1837934.1837972}, doi = {10.1145/1837934.1837972}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issac/ChenDMMXX10.bib}, 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}, eprinttype = {arXiv}, eprint = {1002.4784}, timestamp = {Wed, 16 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1002-4784.bib}, 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}, editor = {Ruyong Feng and Wen{-}shin Lee and Yosuke Sato}, 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}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-662-43799-5\_4}, doi = {10.1007/978-3-662-43799-5\_4}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ascm/BoulierCLM09.bib}, 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}, editor = {Jeremy R. Johnson and Hyungju Park and Erich L. Kaltofen}, 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}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1576702.1576718}, doi = {10.1145/1576702.1576718}, timestamp = {Mon, 03 Apr 2023 17:23:32 +0200}, biburl = {https://dblp.org/rec/conf/issac/ChenMXY09.bib}, 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}, eprinttype = {arXiv}, eprint = {0903.5221}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0903-5221.bib}, 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} Commun. Comput. Algebra}, volume = {42}, number = {3}, pages = {162--163}, year = {2008}, url = {https://doi.org/10.1145/1504347.1504368}, doi = {10.1145/1504347.1504368}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cca/ChenLMPX08.bib}, 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} Commun. Comput. Algebra}, volume = {42}, number = {3}, pages = {182--184}, year = {2008}, url = {https://doi.org/10.1145/1504347.1504378}, doi = {10.1145/1504347.1504378}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cca/ChenMLPLX08.bib}, 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/journals/fcsc/ChenMPX08.bib}, 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}, editor = {Marina L. Gavrilova and Osvaldo Gervasi and Antonio Lagan{\`{a}} and Youngsong Mun and Andr{\'{e}}s Iglesias}, 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}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ICCSA.2008.61}, doi = {10.1109/ICCSA.2008.61}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccsa/ChenLLMPX08.bib}, 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}, editor = {Victor G. Ganzha and Ernst W. Mayr and Evgenii V. Vorozhtsov}, title = {Comprehensive Triangular Decomposition}, booktitle = {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}, pages = {73--101}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75187-8\_7}, doi = {10.1007/978-3-540-75187-8\_7}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/casc/ChenGLMP07.bib}, 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}, editor = {Yong Shi and G. Dick van Albada and Jack J. Dongarra and Peter M. A. Sloot}, 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}}, series = {Lecture Notes in Computer Science}, volume = {4488}, pages = {268--271}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72586-2\_38}, doi = {10.1007/978-3-540-72586-2\_38}, timestamp = {Tue, 08 Nov 2022 08:34:34 +0100}, biburl = {https://dblp.org/rec/conf/iccS/ChenLMPX07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.