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}
}
@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}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/icms/Chen20,
author = {Changbo Chen},
title = {Chordality Preserving Incremental Triangular Decomposition and Its
Implementation},
booktitle = {{ICMS}},
series = {Lecture Notes in Computer Science},
volume = {12097},
pages = {27--36},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/icms/ChenZC20,
author = {Changbo Chen and
Zhangpeng Zhu and
Haoyu Chi},
title = {Variable Ordering Selection for Cylindrical Algebraic Decomposition
with Artificial Neural Networks},
booktitle = {{ICMS}},
series = {Lecture Notes in Computer Science},
volume = {12097},
pages = {281--291},
publisher = {Springer},
year = {2020}
}
@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}
}
@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 = {{AISC}},
series = {Lecture Notes in Computer Science},
volume = {11110},
pages = {170--180},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/casc/ChenW18,
author = {Changbo Chen and
Wenyuan Wu},
title = {A Continuation Method for Visualizing Planar Real Algebraic Curves
with Singularities},
booktitle = {{CASC}},
series = {Lecture Notes in Computer Science},
volume = {11077},
pages = {99--115},
publisher = {Springer},
year = {2018}
}
@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 = {{CASC}},
series = {Lecture Notes in Computer Science},
volume = {10490},
pages = {51--65},
publisher = {Springer},
year = {2017}
}
@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 = {{CASC}},
series = {Lecture Notes in Computer Science},
volume = {10490},
pages = {377--391},
publisher = {Springer},
year = {2017}
}
@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}
}
@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}
}
@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 = {{CASC}},
series = {Lecture Notes in Computer Science},
volume = {9890},
pages = {156--171},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/synasc/ChenCMM0X16,
author = {Changbo Chen and
Svyatoslav Covanov and
Farnam Mansouri and
Marc Moreno Maza and
Ning Xie and
Yuzhen Xie},
title = {Parallel Integer Polynomial Multiplication},
booktitle = {{SYNASC}},
pages = {72--80},
publisher = {{IEEE}},
year = {2016}
}
@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 = {{SYNASC}},
pages = {91--98},
publisher = {{IEEE}},
year = {2016}
}
@article{DBLP:journals/corr/ChenCMM0X16,
author = {Changbo Chen and
Svyatoslav Covanov and
Farnam Mansouri and
Marc Moreno Maza and
Ning Xie and
Yuzhen Xie},
title = {Parallel Integer Polynomial Multiplication},
journal = {CoRR},
volume = {abs/1612.05778},
year = {2016}
}
@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 = {{CASC}},
series = {Lecture Notes in Computer Science},
volume = {9301},
pages = {30--44},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/casc/ChenM15,
author = {Changbo Chen and
Marc Moreno Maza},
title = {Simplification of Cylindrical Algebraic Formulas},
booktitle = {{CASC}},
series = {Lecture Notes in Computer Science},
volume = {9301},
pages = {119--134},
publisher = {Springer},
year = {2015}
}
@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 = {{CASCON}},
pages = {70--79},
publisher = {{IBM} / {ACM}},
year = {2015}
}
@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}
}
@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 = {{CASC}},
series = {Lecture Notes in Computer Science},
volume = {8660},
pages = {44--58},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/icms/ChenM14,
author = {Changbo Chen and
Marc Moreno Maza},
title = {Real Quantifier Elimination in the RegularChains Library},
booktitle = {{ICMS}},
series = {Lecture Notes in Computer Science},
volume = {8592},
pages = {283--290},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/icms/ChenM14a,
author = {Changbo Chen and
Marc Moreno Maza},
title = {Cylindrical Algebraic Decomposition in the RegularChains Library},
booktitle = {{ICMS}},
series = {Lecture Notes in Computer Science},
volume = {8592},
pages = {425--433},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/icms/AlvandiCMMSV14,
author = {Parisa Alvandi and
Changbo Chen and
Steffen Marcus and
Marc Moreno Maza and
{\'{E}}ric Schost and
Paul Vrbik},
title = {Doing Algebraic Geometry with the RegularChains Library},
booktitle = {{ICMS}},
series = {Lecture Notes in Computer Science},
volume = {8592},
pages = {472--479},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/icms/ChenM14b,
author = {Changbo Chen and
Marc Moreno Maza},
title = {Solving Parametric Polynomial Systems by RealComprehensiveTriangularize},
booktitle = {{ICMS}},
series = {Lecture Notes in Computer Science},
volume = {8592},
pages = {504--511},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/icms/ChenCMMXX14,
author = {Changbo Chen and
Svyatoslav Covanov and
Farnam Mansouri and
Marc Moreno Maza and
Ning Xie and
Yuzhen Xie},
title = {The Basic Polynomial Algebra Subprograms},
booktitle = {{ICMS}},
series = {Lecture Notes in Computer Science},
volume = {8592},
pages = {669--676},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/issac/ChenM14,
author = {Changbo Chen and
Marc Moreno Maza},
title = {Quantifier elimination by cylindrical algebraic decomposition based
on regular chains},
booktitle = {{ISSAC}},
pages = {91--98},
publisher = {{ACM}},
year = {2014}
}
@inproceedings{DBLP:conf/mkm/EnglandBCDMW14,
author = {Matthew England and
Russell J. Bradford and
Changbo Chen and
James H. Davenport and
Marc Moreno Maza and
David J. Wilson},
title = {Problem Formulation for Truth-Table Invariant Cylindrical Algebraic
Decomposition by Incremental Triangular Decomposition},
booktitle = {{CICM}},
series = {Lecture Notes in Computer Science},
volume = {8543},
pages = {45--60},
publisher = {Springer},
year = {2014}
}
@article{DBLP:journals/corr/BradfordCDEMW14,
author = {Russell J. Bradford and
Changbo Chen and
James H. Davenport and
Matthew England and
Marc Moreno Maza and
David J. Wilson},
title = {Truth Table Invariant Cylindrical Algebraic Decomposition by Regular
Chains},
journal = {CoRR},
volume = {abs/1401.6310},
year = {2014}
}
@article{DBLP:journals/corr/EnglandBCDMW14,
author = {Matthew England and
Russell J. Bradford and
Changbo Chen and
James H. Davenport and
Marc Moreno Maza and
David J. Wilson},
title = {Problem formulation for truth-table invariant cylindrical algebraic
decomposition by incremental triangular decomposition},
journal = {CoRR},
volume = {abs/1404.6371},
year = {2014}
}
@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}
}
@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}
}
@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}
}
@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 = {{CASC}},
series = {Lecture Notes in Computer Science},
volume = {8136},
pages = {30--45},
publisher = {Springer},
year = {2013}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/ascm/ChenM12,
author = {Changbo Chen and
Marc Moreno Maza},
title = {An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions},
booktitle = {{ASCM}},
pages = {199--221},
publisher = {Springer},
year = {2012}
}
@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}
}
@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}
}
@inproceedings{DBLP:conf/casc/ChenM11,
author = {Changbo Chen and
Marc Moreno Maza},
title = {Semi-algebraic Description of the Equilibria of Dynamical Systems},
booktitle = {{CASC}},
series = {Lecture Notes in Computer Science},
volume = {6885},
pages = {101--125},
publisher = {Springer},
year = {2011}
}
@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 = {{ISSAC}},
pages = {75--82},
publisher = {{ACM}},
year = {2011}
}
@inproceedings{DBLP:conf/issac/ChenM11,
author = {Changbo Chen and
Marc Moreno Maza},
title = {Algorithms for computing triangular decompositions of polynomial systems},
booktitle = {{ISSAC}},
pages = {83--90},
publisher = {{ACM}},
year = {2011}
}
@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}
}
@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}
}
@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 = {{ISSAC}},
pages = {187--194},
publisher = {{ACM}},
year = {2010}
}
@article{DBLP:journals/corr/abs-1002-4784,
author = {Changbo Chen and
James H. Davenport and
John P. May and
Marc Moreno Maza and
Bican Xia and
Rong Xiao},
title = {Triangular Decomposition of Semi-algebraic Systems},
journal = {CoRR},
volume = {abs/1002.4784},
year = {2010}
}
@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 = {{ASCM}},
pages = {33--48},
publisher = {Springer},
year = {2009}
}
@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 = {{ISSAC}},
pages = {95--102},
publisher = {{ACM}},
year = {2009}
}
@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}
}
@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}
}
@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}
}
@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}
}
@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 = {{ICCSA} Workshops},
pages = {342--352},
publisher = {{IEEE} Computer Society},
year = {2008}
}
@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 = {{CASC}},
series = {Lecture Notes in Computer Science},
volume = {4770},
pages = {73--101},
publisher = {Springer},
year = {2007}
}
@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 = {International Conference on Computational Science {(2)}},
series = {Lecture Notes in Computer Science},
volume = {4488},
pages = {268--271},
publisher = {Springer},
year = {2007}
}
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-07 22:27 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:
