Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-04-08 00:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
