Changbo Chen

Orcid: 0000-0002-7412-7667

According to our database1, Changbo Chen authored at least 43 papers between 2007 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure.
SIAM J. Appl. Dyn. Syst., June, 2022

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

2020
Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities.
J. Syst. Sci. Complex., 2020

Numerical roadmap of smooth bounded real algebraic surface.
Comput. Aided Geom. Des., 2020

Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks.
Proceedings of the Mathematical Software - ICMS 2020, 2020

Chordality Preserving Incremental Triangular Decomposition and Its Implementation.
Proceedings of the Mathematical Software - ICMS 2020, 2020

2018
A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities.
Proceedings of the Computer Algebra in Scientific Computing - 20th International Workshop, 2018

Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically.
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.
Proceedings of the Computer Algebra in Scientific Computing - 19th International Workshop, 2017

Full Rank Representation of Real Algebraic Sets and Applications.
Proceedings of the Computer Algebra in Scientific Computing - 19th International Workshop, 2017

2016
Quantifier elimination by cylindrical algebraic decomposition based on regular chains.
J. Symb. Comput., 2016

The basic polynomial algebra subprograms.
ACM Commun. Comput. Algebra, 2016

A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems.
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

Parallel Integer Polynomial Multiplication.
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.
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.
Proceedings of 25th Annual International Conference on Computer Science and Software Engineering, 2015

Simplification of Cylindrical Algebraic Formulas.
Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015

Regular Chains under Linear Changes of Coordinates and Applications.
Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015

2014
Basic Polynomial Algebra Subprograms.
ACM Commun. Comput. Algebra, 2014

Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Solving Parametric Polynomial Systems by RealComprehensiveTriangularize.
Proceedings of the Mathematical Software - ICMS 2014, 2014

Cylindrical Algebraic Decomposition in the RegularChains Library.
Proceedings of the Mathematical Software - ICMS 2014, 2014

Real Quantifier Elimination in the RegularChains Library.
Proceedings of the Mathematical Software - ICMS 2014, 2014

Doing Algebraic Geometry with the RegularChains Library.
Proceedings of the Mathematical Software - ICMS 2014, 2014

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains.
Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014

2013
Computing with semi-algebraic sets: Relaxation techniques and effective boundaries.
J. Symb. Comput., 2013

Triangular decomposition of semi-algebraic systems.
J. Symb. Comput., 2013

An Application of Regular Chain Theory to the Study of Limit cycles.
Int. J. Bifurc. Chaos, 2013

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

Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One.
Proceedings of the Computer Algebra in Scientific Computing - 15th International Workshop, 2013

2012
Algorithms for computing triangular decomposition of polynomial systems.
J. Symb. Comput., 2012

An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions.
Proceedings of the Computer Mathematics, 2012

2011
Computing the real solutions of polynomial systems with the RegularChains library in Maple.
ACM Commun. Comput. Algebra, 2011

Algorithms for computing triangular decompositions of polynomial systems.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

Computing with semi-algebraic sets represented by triangular decomposition.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2011

Semi-algebraic Description of the Equilibria of Dynamical Systems.
Proceedings of the Computer Algebra in Scientific Computing - 13th International Workshop, 2011

2009
Computing cylindrical algebraic decomposition via triangular decomposition.
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2009

Real Root Isolation of Regular Chains.
Proceedings of the Computer Mathematics, 2009

2008
On the verification of polynomial system solvers.
Frontiers Comput. Sci. China, 2008

The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple.
ACM Commun. Comput. Algebra, 2008

On the representation of constructible sets.
ACM Commun. Comput. Algebra, 2008

2007
Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library.
Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

Comprehensive Triangular Decomposition.
Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007


  Loading...