Changbo Chen

Available identifiers

zbMath Open chen.changboMaRDI QIDQ413405

List of research outcomes

Publication	Date of Publication	Type
Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically	2023-06-30	Paper
Chordality Preserving Incremental Triangular Decomposition and Its Implementation	2022-10-13	Paper
Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks	2022-10-13	Paper
A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure	2022-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q4984748	2021-04-26	Paper
A Companion Curve Tracing Method for Rank-deficient Polynomial Systems	2021-01-29	Paper
Visualizing planar and space implicit real algebraic curves with singularities	2021-01-21	Paper
Numerical roadmap of smooth bounded real algebraic surface	2020-05-14	Paper
A continuation method for visualizing planar real algebraic curves with singularities	2018-10-23	Paper
Penalty function based critical point approach to compute real witness solution points of polynomial systems	2018-02-23	Paper
Full rank representation of real algebraic sets and applications	2018-02-23	Paper
The basic polynomial algebra subprograms	2017-06-22	Paper
A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications	2016-11-09	Paper
Real Root Isolation of Regular Chains	2016-04-12	Paper
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions	2016-04-12	Paper
Quantifier elimination by cylindrical algebraic decomposition based on regular chains	2016-02-11	Paper
Regular Chains under Linear Changes of Coordinates and Applications	2015-11-25	Paper
Simplification of Cylindrical Algebraic Formulas	2015-11-25	Paper
Quantifier elimination by cylindrical algebraic decomposition based on regular chains	2015-11-11	Paper
Triangular decomposition of semi-algebraic systems	2015-09-17	Paper
Computing with semi-algebraic sets represented by triangular decomposition	2015-06-09	Paper
Algorithms for computing triangular decompositions of polynomial systems	2015-06-09	Paper
Basic Polynomial Algebra Subprograms	2015-03-18	Paper
The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple	2015-02-26	Paper
Computing the real solutions of polynomial systems with the RegularChains library in Maple	2015-02-20	Paper
Real Quantifier Elimination in the RegularChains Library	2014-09-08	Paper
Cylindrical Algebraic Decomposition in the RegularChains Library	2014-09-08	Paper
Doing Algebraic Geometry with the RegularChains Library	2014-09-08	Paper
Solving Parametric Polynomial Systems by RealComprehensiveTriangularize	2014-09-08	Paper
The Basic Polynomial Algebra Subprograms	2014-09-08	Paper
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains	2014-09-08	Paper
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition	2014-08-07	Paper
Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One	2014-07-07	Paper
AN APPLICATION OF REGULAR CHAIN THEORY TO THE STUDY OF LIMIT CYCLES	2013-12-13	Paper
Computing with semi-algebraic sets: relaxation techniques and effective boundaries	2013-03-11	Paper
Triangular decomposition of semi-algebraic systems	2013-01-10	Paper
Computing cylindrical algebraic decomposition via triangular decomposition	2012-05-13	Paper
Algorithms for computing triangular decomposition of polynomial systems	2012-05-07	Paper
Semi-algebraic Description of the Equilibria of Dynamical Systems	2011-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q5188226	2010-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5188269	2010-03-10	Paper
Comprehensive Triangular Decomposition	2008-07-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Changbo Chen