The following pages link to Changbo Chen (Q413405):
Displaying 42 items.
- Algorithms for computing triangular decomposition of polynomial systems (Q413407) (← links)
- Penalty function based critical point approach to compute real witness solution points of polynomial systems (Q1699347) (← links)
- Full rank representation of real algebraic sets and applications (Q1701469) (← links)
- A continuation method for visualizing planar real algebraic curves with singularities (Q1798311) (← links)
- Computing with semi-algebraic sets: relaxation techniques and effective boundaries (Q1940931) (← links)
- Numerical roadmap of smooth bounded real algebraic surface (Q2180637) (← links)
- Visualizing planar and space implicit real algebraic curves with singularities (Q2219875) (← links)
- Real Root Isolation of Regular Chains (Q2799549) (← links)
- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions (Q2799562) (← links)
- A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications (Q2829998) (← links)
- An application of regular chain theory to the study of limit cycles (Q2866055) (← links)
- Real Quantifier Elimination in the RegularChains Library (Q2879136) (← links)
- Cylindrical Algebraic Decomposition in the RegularChains Library (Q2879157) (← links)
- Doing Algebraic Geometry with the RegularChains Library (Q2879164) (← links)
- Solving Parametric Polynomial Systems by RealComprehensiveTriangularize (Q2879169) (← links)
- The Basic Polynomial Algebra Subprograms (Q2879193) (← links)
- Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains (Q2879312) (← links)
- Computing cylindrical algebraic decomposition via triangular decomposition (Q2883805) (← links)
- Semi-algebraic Description of the Equilibria of Dynamical Systems (Q3090895) (← links)
- Regular Chains under Linear Changes of Coordinates and Applications (Q3454530) (← links)
- Simplification of Cylindrical Algebraic Formulas (Q3454537) (← links)
- Comprehensive Triangular Decomposition (Q3508471) (← links)
- (Q4984748) (← links)
- Chordality Preserving Incremental Triangular Decomposition and Its Implementation (Q5039552) (← links)
- Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks (Q5041065) (← links)
- A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure (Q5090111) (← links)
- Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One (Q5168458) (← links)
- Computing the real solutions of polynomial systems with the RegularChains library in Maple (Q5175311) (← links)
- The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple (Q5176454) (← links)
- Basic Polynomial Algebra Subprograms (Q5178932) (← links)
- (Q5188226) (← links)
- (Q5188269) (← links)
- Computing with semi-algebraic sets represented by triangular decomposition (Q5254156) (← links)
- Algorithms for computing triangular decompositions of polynomial systems (Q5254157) (← links)
- The basic polynomial algebra subprograms (Q5270199) (← links)
- Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition (Q5495913) (← links)
- Triangular decomposition of semi-algebraic systems (Q5892166) (← links)
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Q5899515) (← links)
- Triangular decomposition of semi-algebraic systems (Q5917866) (← links)
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains (Q5925208) (← links)
- Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically (Q6108822) (← links)
- A dataset for suggesting variable orderings for cylindrical algebraic decompositions (Q6660322) (← links)
