Changbo Chen

66 papers B 16C 2Misc 4Journal 30Unranked 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Dataset of Nonlinear Equations for Subdivision.
CoRR
Juan Xu, Huilong Lai, Yingying Cheng, Wenqiang Yang, Changbo Chen
2026 J jnl
Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition.
CoRR
Rui-Juan Jing, Yuegang Zhao, Changbo Chen
2026 J jnl
Double Coupling Architecture and Training Method for Optimization Problems of Differential Algebraic Equations with Parameters.
CoRR
Wenqiang Yang, Wenyuan Wu, Yong Feng, Changbo Chen
2025 J jnl
Fusing the Polyhedral and Tensor Compilers to Accelerate Scientific Computing Kernels.
Concurr. Comput. Pract. Exp.
Qingzhi Liu, Changbo Chen, Hanwen Dai
2025 C conf
Synthesizing Loops from Linear Ranking Functions.
ICFEM
Rui-Juan Jing, Yaru Yuan, Yuxing Cai, Yi Li, Changbo Chen
2024 B conf
A Dataset for Suggesting Variable Orderings for Cylindrical Algebraic Decompositions.
CASC
Changbo Chen, Rui-Juan Jing, Chengrong Qian, Yaru Yuan, Yuegang Zhao
2024 J jnl
A semi-algebraic model for automatic loop parallelization.
CoRR
Changbo Chen
2024 — conf
Accelerating GCN Inference on Small Graphs.
Euro-Par Workshops (2)
Hanwen Dai, Changbo Chen, Yuxuan Song
2024 — conf
Accelerating Scientific Computing Kernels by Fusing the Polyhedral and Tensor Compilers.
Euro-Par Workshops (1)
Qingzhi Liu, Changbo Chen, Hanwen Dai
2024 — conf
Performance Models for Sequence Alignment Algorithms Based on Burrows-Wheeler Transform.
ICBBT
Shuang Hu, Changbo Chen
2022 J jnl
A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure.
SIAM J. Appl. Dyn. Syst.
Changbo Chen, Wenyuan Wu
2021 J jnl
A Companion Curve Tracing Method for Rank-deficient Polynomial Systems.
CoRR
Wenyuan Wu, Changbo Chen
2020 — conf
Chordality Preserving Incremental Triangular Decomposition and Its Implementation.
ICMS
Changbo Chen
2020 J jnl
Numerical roadmap of smooth bounded real algebraic surface.
Comput. Aided Geom. Des.
Changbo Chen, Wenyuan Wu, Yong Feng
2020 — conf
Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks.
ICMS
Changbo Chen, Zhangpeng Zhu, Haoyu Chi
2020 J jnl
Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities.
J. Syst. Sci. Complex.
Changbo Chen, Wenyuan Wu, Yong Feng
2019 J jnl
Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities.
CoRR
Changbo Chen, Wenyuan Wu, Yong Feng
2018 B conf
A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities.
CASC
Changbo Chen, Wenyuan Wu
2018 Misc conf
Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically.
AISC
Changbo Chen, Wenyuan Wu
2017 B conf
Full Rank Representation of Real Algebraic Sets and Applications.
CASC
Changbo Chen, Wenyuan Wu, Yong Feng
2017 B conf
Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems.
CASC
Wenyuan Wu, Changbo Chen, Greg Reid
2016 Misc conf
A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems.
SYNASC
Changbo Chen, Wenyuan Wu
2016 B conf
A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications.
CASC
Changbo Chen, Wenyuan Wu
2016 Misc conf
Parallel Integer Polynomial Multiplication.
SYNASC
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
2016 J jnl
Parallel Integer Polynomial Multiplication.
CoRR
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
2016 J jnl
Quantifier elimination by cylindrical algebraic decomposition based on regular chains.
J. Symb. Comput.
Changbo Chen, Marc Moreno Maza
2016 J jnl
The basic polynomial algebra subprograms.
ACM Commun. Comput. Algebra
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Robert H. C. Moir, Marc Moreno Maza, Ning Xie, Yuzhen Xie
2015 — conf
MetaFork: a compilation framework for concurrency models targeting hardware accelerators and its application to the generation of parametric CUDA kernels.
CASCON
Changbo Chen, Xiaohui Chen, Abdoul-Kader Keita, Marc Moreno Maza, Ning Xie
2015 B conf
Regular Chains under Linear Changes of Coordinates and Applications.
CASC
Parisa Alvandi, Changbo Chen, Amir Hashemi, Marc Moreno Maza
2015 B conf
Simplification of Cylindrical Algebraic Formulas.
CASC
Changbo Chen, Marc Moreno Maza
2014 J jnl
Basic Polynomial Algebra Subprograms.
ACM Commun. Comput. Algebra
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
2014 — conf
Cylindrical Algebraic Decomposition in the RegularChains Library.
ICMS
Changbo Chen, Marc Moreno Maza
2014 — conf
Doing Algebraic Geometry with the RegularChains Library.
ICMS
Parisa Alvandi, Changbo Chen, Steffen Marcus, Marc Moreno Maza, Éric Schost, Paul Vrbik
2014 C conf
Problem Formulation for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition.
CICM
Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson
2014 J jnl
Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition.
CoRR
Matthew England, Russell J. Bradford, Changbo Chen, James H. Davenport, Marc Moreno Maza, David J. Wilson
2014 B conf
Quantifier elimination by cylindrical algebraic decomposition based on regular chains.
ISSAC
Changbo Chen, Marc Moreno Maza
2014 — conf
Real Quantifier Elimination in the RegularChains Library.
ICMS
Changbo Chen, Marc Moreno Maza
2014 — conf
Solving Parametric Polynomial Systems by RealComprehensiveTriangularize.
ICMS
Changbo Chen, Marc Moreno Maza
2014 — conf
The Basic Polynomial Algebra Subprograms.
ICMS
Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie
2014 B conf
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains.
CASC
Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson
2014 J jnl
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains.
CoRR
Russell J. Bradford, Changbo Chen, James H. Davenport, Matthew England, Marc Moreno Maza, David J. Wilson
2013 J jnl
An Algorithm for Computing the Limit Points of the Quasi-component of a Regular Chain
CoRR
Parisa Alvandi, Changbo Chen, Marc Moreno Maza
2013 J jnl
An Application of Regular Chain Theory to the Study of Limit cycles.
Int. J. Bifurc. Chaos
Changbo Chen, Robert M. Corless, Marc Moreno Maza, Pei Yu, Yiming Zhang
2013 B conf
Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One.
CASC
Parisa Alvandi, Changbo Chen, Marc Moreno Maza
2013 J jnl
Computing with semi-algebraic sets: Relaxation techniques and effective boundaries.
J. Symb. Comput.
Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao
2013 J jnl
Triangular decomposition of semi-algebraic systems.
J. Symb. Comput.
Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
2012 J jnl
Algorithms for computing triangular decomposition of polynomial systems.
J. Symb. Comput.
Changbo Chen, Marc Moreno Maza
2012 J jnl
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
CoRR
Changbo Chen, Marc Moreno Maza
2012 — conf
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions.
ASCM
Changbo Chen, Marc Moreno Maza
2011 J jnl
Algorithms for Computing Triangular Decompositions of Polynomial Systems
CoRR
Changbo Chen, Marc Moreno Maza
2011 B conf
Algorithms for computing triangular decompositions of polynomial systems.
ISSAC
Changbo Chen, Marc Moreno Maza
2011 J jnl
Computing the real solutions of polynomial systems with the RegularChains library in Maple.
ACM Commun. Comput. Algebra
Changbo Chen, James H. Davenport, François Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie
2011 B conf
Computing with semi-algebraic sets represented by triangular decomposition.
ISSAC
Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao
2011 B conf
Semi-algebraic Description of the Equilibria of Dynamical Systems.
CASC
Changbo Chen, Marc Moreno Maza
2010 J jnl
Cache complexity and multicore implementation for univariate real root isolation.
ACM Commun. Comput. Algebra
Changbo Chen, Marc Moreno Maza, Yuzhen Xie
2010 J jnl
Triangular Decomposition of Semi-algebraic Systems
CoRR
Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
2010 B conf
Triangular decomposition of semi-algebraic systems.
ISSAC
Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao
2009 J jnl
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
CoRR
Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang
2009 B conf
Computing cylindrical algebraic decomposition via triangular decomposition.
ISSAC
Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang
2009 — conf
Real Root Isolation of Regular Chains.
ASCM
François Boulier, Changbo Chen, François Lemaire, Marc Moreno Maza
2008 J jnl
On the representation of constructible sets.
ACM Commun. Comput. Algebra
Changbo Chen, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie
2008 J jnl
On the verification of polynomial system solvers.
Frontiers Comput. Sci. China
Changbo Chen, Marc Moreno Maza, Wei Pan, Yuzhen Xie
2008 — conf
The ConstructibleSetTools and ParametricSystemTools Modules of the RegularChains Library in Maple.
ICCSA Workshops
Changbo Chen, François Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie
2008 J jnl
The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple.
ACM Commun. Comput. Algebra
Changbo Chen, Marc Moreno Maza, François Lemaire, Wei Pan, Liyun Li, Yuzhen Xie
2007 B conf
Comprehensive Triangular Decomposition.
CASC
Changbo Chen, Oleg Golubitsky, François Lemaire, Marc Moreno Maza, Wei Pan
2007 Misc conf
Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library.
International Conference on Computational Science (2)
Changbo Chen, François Lemaire, Marc Moreno Maza, Wei Pan, Yuzhen Xie