default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChangbo Chen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c32]Changbo Chen
, Rui-Juan Jing, Chengrong Qian, Yaru Yuan, Yuegang Zhao:
A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions. CASC 2024: 100-119- 2022
- [j15]Changbo Chen, Wenyuan Wu:
A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure. SIAM J. Appl. Dyn. Syst. 21(2): 1573-1596 (2022) - 2021
- [i10]Wenyuan Wu, Changbo Chen:
A Companion Curve Tracing Method for Rank-deficient Polynomial Systems. CoRR abs/2101.12453 (2021) - 2020
- [j14]Changbo Chen, Wenyuan Wu, Yong Feng:
Numerical roadmap of smooth bounded real algebraic surface. Comput. Aided Geom. Des. 79: 101858 (2020) - [j13]Changbo Chen, Wenyuan Wu, Yong Feng:
Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities. J. Syst. Sci. Complex. 33(4): 1252-1274 (2020) - [c31]Changbo Chen:
Chordality Preserving Incremental Triangular Decomposition and Its Implementation. ICMS 2020: 27-36 - [c30]Changbo Chen, Zhangpeng Zhu, Haoyu Chi:
Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks. ICMS 2020: 281-291
2010 – 2019
- 2019
- [i9]Changbo Chen, Wenyuan Wu, Yong Feng:
Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities. CoRR abs/1912.07507 (2019) - 2018
- [c29]Changbo Chen, Wenyuan Wu:
Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically. AISC 2018: 170-180 - [c28]Changbo Chen, Wenyuan Wu:
A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities. CASC 2018: 99-115 - 2017
- [c27]Changbo Chen, Wenyuan Wu, Yong Feng:
Full Rank Representation of Real Algebraic Sets and Applications. CASC 2017: 51-65 - [c26]Wenyuan Wu, Changbo Chen, Greg Reid:
Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems. CASC 2017: 377-391 - 2016
- [j12]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): 97-100 (2016) - [j11]Changbo Chen, Marc Moreno Maza:
Quantifier elimination by cylindrical algebraic decomposition based on regular chains. J. Symb. Comput. 75: 74-93 (2016) - [c25]Changbo Chen, Wenyuan Wu:
A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications. CASC 2016: 156-171 - [c24]Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie:
Parallel Integer Polynomial Multiplication. SYNASC 2016: 72-80 - [c23]Changbo Chen, Wenyuan Wu:
A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems. SYNASC 2016: 91-98 - [i8]Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie:
Parallel Integer Polynomial Multiplication. CoRR abs/1612.05778 (2016) - 2015
- [c22]Parisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza:
Regular Chains under Linear Changes of Coordinates and Applications. CASC 2015: 30-44 - [c21]Changbo Chen, Marc Moreno Maza:
Simplification of Cylindrical Algebraic Formulas. CASC 2015: 119-134 - [c20]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: 70-79 - 2014
- [j10]Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie:
Basic Polynomial Algebra Subprograms. ACM Commun. Comput. Algebra 48(3/4): 197-201 (2014) - [c19]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: 44-58 - [c18]Changbo Chen, Marc Moreno Maza:
Real Quantifier Elimination in the RegularChains Library. ICMS 2014: 283-290 - [c17]Changbo Chen, Marc Moreno Maza:
Cylindrical Algebraic Decomposition in the RegularChains Library. ICMS 2014: 425-433 - [c16]Parisa Alvandi, Changbo Chen, Steffen Marcus, Marc Moreno Maza, Éric Schost, Paul Vrbik:
Doing Algebraic Geometry with the RegularChains Library. ICMS 2014: 472-479 - [c15]Changbo Chen, Marc Moreno Maza:
Solving Parametric Polynomial Systems by RealComprehensiveTriangularize. ICMS 2014: 504-511 - [c14]Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie:
The Basic Polynomial Algebra Subprograms. ICMS 2014: 669-676 - [c13]Changbo Chen, Marc Moreno Maza:
Quantifier elimination by cylindrical algebraic decomposition based on regular chains. ISSAC 2014: 91-98 - [c12]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: 45-60 - [i7]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 abs/1401.6310 (2014) - [i6]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 abs/1404.6371 (2014) - 2013
- [j9]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) - [j8]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: 3-26 (2013) - [j7]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: 72-96 (2013) - [c11]Parisa Alvandi, Changbo Chen, Marc Moreno Maza:
Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One. CASC 2013: 30-45 - [i5]Parisa Alvandi, Changbo Chen, Marc Moreno Maza:
An Algorithm for Computing the Limit Points of the Quasi-component of a Regular Chain. CoRR abs/1302.4688 (2013) - 2012
- [j6]Changbo Chen, Marc Moreno Maza:
Algorithms for computing triangular decomposition of polynomial systems. J. Symb. Comput. 47(6): 610-642 (2012) - [c10]Changbo Chen, Marc Moreno Maza:
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions. ASCM 2012: 199-221 - [i4]Changbo Chen, Marc Moreno Maza:
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions. CoRR abs/1210.5543 (2012) - 2011
- [j5]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): 166-168 (2011) - [c9]Changbo Chen, Marc Moreno Maza:
Semi-algebraic Description of the Equilibria of Dynamical Systems. CASC 2011: 101-125 - [c8]Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao:
Computing with semi-algebraic sets represented by triangular decomposition. ISSAC 2011: 75-82 - [c7]Changbo Chen, Marc Moreno Maza:
Algorithms for computing triangular decompositions of polynomial systems. ISSAC 2011: 83-90 - [i3]Changbo Chen, Marc Moreno Maza:
Algorithms for Computing Triangular Decompositions of Polynomial Systems. CoRR abs/1104.0689 (2011) - 2010
- [j4]Changbo Chen, Marc Moreno Maza, Yuzhen Xie:
Cache complexity and multicore implementation for univariate real root isolation. ACM Commun. Comput. Algebra 44(3/4): 97-98 (2010) - [c6]Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao:
Triangular decomposition of semi-algebraic systems. ISSAC 2010: 187-194 - [i2]Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao:
Triangular Decomposition of Semi-algebraic Systems. CoRR abs/1002.4784 (2010)
2000 – 2009
- 2009
- [c5]François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza:
Real Root Isolation of Regular Chains. ASCM 2009: 33-48 - [c4]Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang:
Computing cylindrical algebraic decomposition via triangular decomposition. ISSAC 2009: 95-102 - [i1]Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang:
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition. CoRR abs/0903.5221 (2009) - 2008
- [j3]Changbo Chen, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie:
On the representation of constructible sets. ACM Commun. Comput. Algebra 42(3): 162-163 (2008) - [j2]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): 182-184 (2008) - [j1]Changbo Chen, Marc Moreno Maza, Wei Pan, Yuzhen Xie:
On the verification of polynomial system solvers. Frontiers Comput. Sci. China 2(1): 55-66 (2008) - [c3]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: 342-352 - 2007
- [c2]Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan:
Comprehensive Triangular Decomposition. CASC 2007: 73-101 - [c1]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: 268-271
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
