Changbo Chen

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 18

Top Topics

Algebraic Curves

Quantifier Elimination

Variable Ordering

Biological Systems

Top Venues

Publications

Changbo Chen, Rui-Juan Jing, Chengrong Qian, Yaru Yuan, Yuegang Zhao
A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions. CASC (2024)
Changbo Chen, Wenyuan Wu
A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure. SIAM J. Appl. Dyn. Syst. 21 (2) (2022)
Wenyuan Wu, Changbo Chen
A Companion Curve Tracing Method for Rank-deficient Polynomial Systems. CoRR (2021)
Changbo Chen, Wenyuan Wu, Yong Feng
Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities. J. Syst. Sci. Complex. 33 (4) (2020)
Changbo Chen
Chordality Preserving Incremental Triangular Decomposition and Its Implementation. ICMS (2020)
Changbo Chen, Wenyuan Wu, Yong Feng
Numerical roadmap of smooth bounded real algebraic surface. Comput. Aided Geom. Des. 79 (2020)
Changbo Chen, Zhangpeng Zhu, Haoyu Chi
Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks. ICMS (2020)
Changbo Chen, Wenyuan Wu, Yong Feng
Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities. CoRR (2019)
Changbo Chen, Wenyuan Wu
A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities. CASC (2018)
Changbo Chen, Wenyuan Wu
Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically. AISC (2018)
Changbo Chen, Wenyuan Wu, Yong Feng
Full Rank Representation of Real Algebraic Sets and Applications. CASC (2017)
Wenyuan Wu, Changbo Chen, Greg Reid
Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems. CASC (2017)
Changbo Chen, Wenyuan Wu
A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications. CASC (2016)
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
Parallel Integer Polynomial Multiplication. SYNASC (2016)
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Robert H. C. Moir, Marc Moreno Maza, Ning Xie, Yuzhen Xie
The basic polynomial algebra subprograms. ACM Commun. Comput. Algebra 50 (3) (2016)
Changbo Chen, Wenyuan Wu
A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems. SYNASC (2016)
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
Parallel Integer Polynomial Multiplication. CoRR (2016)
Changbo Chen, Marc Moreno Maza
Quantifier elimination by cylindrical algebraic decomposition based on regular chains. J. Symb. Comput. 75 (2016)
Changbo Chen, Xiaohui Chen, Abdoul-Kader Keita, Marc Moreno Maza, Ning Xie
MetaFork: a compilation framework for concurrency models targeting hardware accelerators and its application to the generation of parametric CUDA kernels. CASCON (2015)
Changbo Chen, Marc Moreno Maza
Simplification of Cylindrical Algebraic Formulas. CASC (2015)
Parisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza
Regular Chains under Linear Changes of Coordinates and Applications. CASC (2015)
Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. CoRR (2014)
Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains. CASC (2014)
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
The Basic Polynomial Algebra Subprograms. ICMS (2014)
Changbo Chen, Marc Moreno Maza
Quantifier elimination by cylindrical algebraic decomposition based on regular chains. ISSAC (2014)
Changbo Chen, Marc Moreno Maza
Real Quantifier Elimination in the RegularChains Library. ICMS (2014)
Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition. CICM (2014)
Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. CoRR (2014)
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
Basic Polynomial Algebra Subprograms. ACM Commun. Comput. Algebra 48 (3/4) (2014)
Changbo Chen, Marc Moreno Maza
Cylindrical Algebraic Decomposition in the RegularChains Library. ICMS (2014)
Changbo Chen, Marc Moreno Maza
Solving Parametric Polynomial Systems by RealComprehensiveTriangularize. ICMS (2014)
Parisa Alvandi, Changbo Chen, Steffen Marcus, Marc Moreno Maza, Éric Schost, Paul Vrbik
Doing Algebraic Geometry with the RegularChains Library. ICMS (2014)
Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao
Computing with semi-algebraic sets: Relaxation techniques and effective boundaries. J. Symb. Comput. 52 (2013)
Parisa Alvandi, Changbo Chen, Marc Moreno Maza
Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One. CASC (2013)
Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
Triangular decomposition of semi-algebraic systems. J. Symb. Comput. 49 (2013)
Changbo Chen, Robert M. Corless, Marc Moreno Maza, Pei Yu, Yiming Zhang
An Application of Regular Chain Theory to the Study of Limit cycles. Int. J. Bifurc. Chaos 23 (9) (2013)
Parisa Alvandi, Changbo Chen, Marc Moreno Maza
An Algorithm for Computing the Limit Points of the Quasi-component of a Regular Chain CoRR (2013)
Changbo Chen, Marc Moreno Maza
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions. ASCM (2012)
Changbo Chen, Marc Moreno Maza
Algorithms for computing triangular decomposition of polynomial systems. J. Symb. Comput. 47 (6) (2012)
Changbo Chen, Marc Moreno Maza
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions CoRR (2012)
Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao
Computing with semi-algebraic sets represented by triangular decomposition. ISSAC (2011)
Changbo Chen, James H. Davenport, François Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie
Computing the real solutions of polynomial systems with the RegularChains library in Maple. ACM Commun. Comput. Algebra 45 (3/4) (2011)
Changbo Chen, Marc Moreno Maza
Semi-algebraic Description of the Equilibria of Dynamical Systems. CASC (2011)
Changbo Chen, Marc Moreno Maza
Algorithms for Computing Triangular Decompositions of Polynomial Systems CoRR (2011)
Changbo Chen, Marc Moreno Maza
Algorithms for computing triangular decompositions of polynomial systems. ISSAC (2011)
Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
Triangular decomposition of semi-algebraic systems. ISSAC (2010)
Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
Triangular Decomposition of Semi-algebraic Systems CoRR (2010)
François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza
Real Root Isolation of Regular Chains. ASCM (2009)
Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition CoRR (2009)
Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang
Computing cylindrical algebraic decomposition via triangular decomposition. ISSAC (2009)
Changbo Chen, Marc Moreno Maza, François Lemaire, Wei Pan, Liyun Li, Yuzhen Xie
The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple. ACM Commun. Comput. Algebra 42 (3) (2008)
Changbo Chen, François Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie
The ConstructibleSetTools and ParametricSystemTools Modules of the RegularChains Library in Maple. ICCSA Workshops (2008)
Changbo Chen, Marc Moreno Maza, Wei Pan, Yuzhen Xie
On the verification of polynomial system solvers. Frontiers Comput. Sci. China 2 (1) (2008)
Changbo Chen, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie
On the representation of constructible sets. ACM Commun. Comput. Algebra 42 (3) (2008)
Changbo Chen, François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie
Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library. International Conference on Computational Science (2) (2007)
Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan
Comprehensive Triangular Decomposition. CASC (2007)