Changbo Chen

According to our database, Changbo Chen authored at least 46 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Performance Models for Sequence Alignment Algorithms Based on Burrows-Wheeler Transform.

Shuang Hu, Changbo Chen

Proceedings of the 2024 16th International Conference on Bioinformatics and Biomedical Technology, 2024

A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions.

Changbo Chen, Rui-Juan Jing, Chengrong Qian, Yaru Yuan, Yuegang Zhao

Proceedings of the Computer Algebra in Scientific Computing - 26th International Workshop, 2024

2022

A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure.

Changbo Chen, Wenyuan Wu

SIAM J. Appl. Dyn. Syst., June, 2022

2021

A Companion Curve Tracing Method for Rank-deficient Polynomial Systems.

Wenyuan Wu, Changbo Chen

CoRR, 2021

2020

Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities.

Changbo Chen, Wenyuan Wu, Yong Feng

J. Syst. Sci. Complex., 2020

Numerical roadmap of smooth bounded real algebraic surface.

Changbo Chen, Wenyuan Wu, Yong Feng

Comput. Aided Geom. Des., 2020

Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks.

Changbo Chen, Zhangpeng Zhu, Haoyu Chi

Proceedings of the Mathematical Software - ICMS 2020, 2020

Chordality Preserving Incremental Triangular Decomposition and Its Implementation.

Changbo Chen

Proceedings of the Mathematical Software - ICMS 2020, 2020

2018

A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities.

Changbo Chen, Wenyuan Wu

Proceedings of the Computer Algebra in Scientific Computing - 20th International Workshop, 2018

Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically.

Changbo Chen, Wenyuan Wu

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

2017

Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems.

Wenyuan Wu, Changbo Chen, Greg Reid

Proceedings of the Computer Algebra in Scientific Computing - 19th International Workshop, 2017

Full Rank Representation of Real Algebraic Sets and Applications.

Changbo Chen, Wenyuan Wu, Yong Feng

Proceedings of the Computer Algebra in Scientific Computing - 19th International Workshop, 2017

2016

Quantifier elimination by cylindrical algebraic decomposition based on regular chains.

Changbo Chen, Marc Moreno Maza

J. Symb. Comput., 2016

The basic polynomial algebra subprograms.

Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Robert H. C. Moir, Marc Moreno Maza, Ning Xie, Yuzhen Xie

ACM Commun. Comput. Algebra, 2016

A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems.

Changbo Chen, Wenyuan Wu

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

Parallel Integer Polynomial Multiplication.

Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications.

Changbo Chen, Wenyuan Wu

Proceedings of the Computer Algebra in Scientific Computing - 18th International Workshop, 2016

2015

MetaFork: a compilation framework for concurrency models targeting hardware accelerators and its application to the generation of parametric CUDA kernels.

Changbo Chen, Xiaohui Chen, Abdoul-Kader Keita, Marc Moreno Maza, Ning Xie

Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015

Simplification of Cylindrical Algebraic Formulas.

Changbo Chen, Marc Moreno Maza

Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015

Regular Chains under Linear Changes of Coordinates and Applications.

Parisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza

Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015

2014

Basic Polynomial Algebra Subprograms.

Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie

ACM Commun. Comput. Algebra, 2014

Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition.

Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Solving Parametric Polynomial Systems by RealComprehensiveTriangularize.

Changbo Chen, Marc Moreno Maza

Proceedings of the Mathematical Software - ICMS 2014, 2014

Cylindrical Algebraic Decomposition in the RegularChains Library.

Changbo Chen, Marc Moreno Maza

Proceedings of the Mathematical Software - ICMS 2014, 2014

Real Quantifier Elimination in the RegularChains Library.

Changbo Chen, Marc Moreno Maza

Proceedings of the Mathematical Software - ICMS 2014, 2014

Doing Algebraic Geometry with the RegularChains Library.

Parisa Alvandi, Changbo Chen, Steffen Marcus, Marc Moreno Maza, Éric Schost, Paul Vrbik

Proceedings of the Mathematical Software - ICMS 2014, 2014

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains.

Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson

Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014

2013

Computing with semi-algebraic sets: Relaxation techniques and effective boundaries.

Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao

J. Symb. Comput., 2013

Triangular decomposition of semi-algebraic systems.

Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao

J. Symb. Comput., 2013

An Application of Regular Chain Theory to the Study of Limit cycles.

Changbo Chen, Robert M. Corless, Marc Moreno Maza, Pei Yu, Yiming Zhang

Int. J. Bifurc. Chaos, 2013

An Algorithm for Computing the Limit Points of the Quasi-component of a Regular Chain

Parisa Alvandi, Changbo Chen, Marc Moreno Maza

CoRR, 2013

Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One.

Parisa Alvandi, Changbo Chen, Marc Moreno Maza

Proceedings of the Computer Algebra in Scientific Computing - 15th International Workshop, 2013

2012

Algorithms for computing triangular decomposition of polynomial systems.

Changbo Chen, Marc Moreno Maza

J. Symb. Comput., 2012

An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions.

Changbo Chen, Marc Moreno Maza

Proceedings of the Computer Mathematics, 2012

2011

Computing the real solutions of polynomial systems with the RegularChains library in Maple.

Changbo Chen, James H. Davenport, François Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie

ACM Commun. Comput. Algebra, 2011

Algorithms for computing triangular decompositions of polynomial systems.

Changbo Chen, Marc Moreno Maza

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

Computing with semi-algebraic sets represented by triangular decomposition.

Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

Semi-algebraic Description of the Equilibria of Dynamical Systems.

Changbo Chen, Marc Moreno Maza

Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

2010

Cache complexity and multicore implementation for univariate real root isolation.

Changbo Chen, Marc Moreno Maza, Yuzhen Xie

ACM Commun. Comput. Algebra, 2010

2009

Computing cylindrical algebraic decomposition via triangular decomposition.

Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang

Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

Real Root Isolation of Regular Chains.

François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza

Proceedings of the Computer Mathematics, 2009

2008

On the verification of polynomial system solvers.

Changbo Chen, Marc Moreno Maza, Wei Pan, Yuzhen Xie

Frontiers Comput. Sci. China, 2008

The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple.

Changbo Chen, Marc Moreno Maza, François Lemaire, Wei Pan, Liyun Li, Yuzhen Xie

ACM Commun. Comput. Algebra, 2008

On the representation of constructible sets.

Changbo Chen, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie

ACM Commun. Comput. Algebra, 2008

2007

Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library.

Changbo Chen, François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

Comprehensive Triangular Decomposition.

Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan

Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007