中国科学院 重庆绿色智能技术研究院 导师陈长波介绍
作者：科大科院考研网 发表时间：2019-10-28 来源：研招办
中科院考研推荐链接：
陈长波 男 硕导 中国科学院重庆绿色智能技术研究院
电子邮件： chenchangbo@cigit.ac.cn
通信地址： 重庆市北碚区水土镇方正大道266号
邮政编码： 400714
研究领域
符号数值混合计算，自动推理，高性能计算，机器学习
招生信息
招生专业
081203-计算机应用技术
081202-计算机软件与理论
081202-计算机软件与理论
招生方向
计算机程序自动并行和优化
机器学习
符号数值计算
机器学习
符号数值计算
教育背景
2006-09--2011-08 加拿大西安大略大学 博士
2003-09--2006-07 北京大学 硕士
1999-09--2003-07 山东科技大学 学士
2003-09--2006-07 北京大学 硕士
1999-09--2003-07 山东科技大学 学士
学历
学位
工作经历
工作简历
2013-08~现在, 中国科学院重庆绿色智能技术研究院, 副研究员
2011-09~2013-08,加拿大西安大略大学, 博士后
2011-09~2013-08,加拿大西安大略大学, 博士后
社会兼职
2018-10-26-今,第十届全国计算机数学大学程序委员会委员,
2017-11-01-今,中国数学学会会员,
2017-10-15-今,奥地利科学基金会博士学科评审专家,
2017-01-01-今,第三届中国数学会计算机数学专业委员会委员,
2016-09-24-今,SC-Square 2016程序委员会委员,
2016-03-28-今,SCSS 2016 程序委员会委员,
2015-08-03-今,第四届符号计算暑期讲习班组织委员会委员,
2015-08-01-今,第8届国际工业与应用数学大会minisymposium organizer,
2015-05-01-今,Reviewer of CASC 2015,
2015-02-01-今,Reviewer of ISSAC 2015,
2014-09-03-今,Reviewer of Journal of Symbolic Computation,
2014-05-02-今,Reviewer of CASC 2014,
2014-03-31-今,博士论文审稿人,
2014-03-01-今,Program Committee Member and Session Organizer of ICMS 2014,
2017-11-01-今,中国数学学会会员,
2017-10-15-今,奥地利科学基金会博士学科评审专家,
2017-01-01-今,第三届中国数学会计算机数学专业委员会委员,
2016-09-24-今,SC-Square 2016程序委员会委员,
2016-03-28-今,SCSS 2016 程序委员会委员,
2015-08-03-今,第四届符号计算暑期讲习班组织委员会委员,
2015-08-01-今,第8届国际工业与应用数学大会minisymposium organizer,
2015-05-01-今,Reviewer of CASC 2015,
2015-02-01-今,Reviewer of ISSAC 2015,
2014-09-03-今,Reviewer of Journal of Symbolic Computation,
2014-05-02-今,Reviewer of CASC 2014,
2014-03-31-今,博士论文审稿人,
2014-03-01-今,Program Committee Member and Session Organizer of ICMS 2014,
教授课程
专利与奖励
奖励信息
（1） ACM最佳软件演示奖, , 其他, 2011
专利成果
（ 1 ） 一种保留模型特征的3D打印自适应切片方法, 发明, 2015, 第 1 作者, 专利号: 2015101087083
（ 2 ） 一种用于3D打印中CLI文件错误检查的方法, 发明, 2017, 第 1 作者, 专利号: 201510181569.7
（ 2 ） 一种用于3D打印中CLI文件错误检查的方法, 发明, 2017, 第 1 作者, 专利号: 201510181569.7
出版信息
发表论文
（1） Mapping criteria between nonlocality and steerability in qudit-qubit systems and between steerability and entanglement in qubit-qudit systems, PHYSICAL REVIEW A, 2018, 第 1 作者
（2） A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities, Proc. of CASC 2018, 2018, 第 1 作者
（3） Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically, Proc. of AISC 2018, 2018, 第 1 作者
（4） 基于同态门限密码体制的的投票协议, 计算机应用, 2018, 通讯作者
（5） Full Rank Representation of Real Algebraic Sets and Applications, Proc. of CASC 2017, 2017, 第 1 作者
（6） Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems, Proc. of CASC 2017, 2017, 通讯作者
（7） A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications, Proc. of CASC 2016, 2016, 第 1 作者
（8） Bell’s Nonlocality Can be Detected by the Violation of Einstein-Podolsky-Rosen Steering Inequality, Sci. Rep., 2016, 第 3 作者
（9） A Numerical Method for Analyzing the Stability of Bi-parametric Biological Systems, Proc. of SYNASC 2016, 2016, 第 1 作者
（10） Parallel Integer Polynomial Multiplication, Proc. of SYNASC 2016, 2016, 第 1 作者
（11） Quantifier elimination by cylindrical algebraic decomposition based on regular chains, Journal of Symbolic Computation, 2016, 第 1 作者
（12） Basic Polynomial Algebra Subprograms, ACM Communications in Computer Algebra, 2015, 第 1 作者
（13） MetaFork: A Compilation Framework for Concurrency Models Targeting Hardware Accelerators and Its Application to the Generation of Parametric CUDA Kernels, Proceedings of CASCON 2015, 2015, 第 1 作者
（14） Regular chains under linear changes of coordinates and applications, Proc. of CASC 2015, 2015, 第 2 作者
（15） Simplification of Cylindrical Algebraic Formulas, Proc. of CASC 2015, 2015, 第 1 作者
（16） 有效保留模型特征的自适应分层算法, 计算机应用, 2015, 通讯作者
（17） STL文件的法向量错误修复, 计算机应用研究, 2015, 通讯作者
（18） An Incremental Algorithm for Computing Cylindrical Algebraic Decomposition, Computer Mathematics, proceeding of ASCM 2009 and ASCM 2012, 2014, 第 1 作者
（19） Real Root Isolation of Regular Chains, Computer Mathematics, proceeding of ASCM 2009 and ASCM 2012 , 2014, 第 2 作者
（20） Real Quantifier Elimination in the RegularChains Library, Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014), 2014, 第 1 作者
（21） Cylindrical Algebraic Decomposition in the RegularChains Library, Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014) , 2014, 第 1 作者
（22） Doing Algebraic Geometry with the RegularChains Library, Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014), 2014, 第 2 作者
（23） Solving Parametric Polynomial Systems by RealComprehensiveTriangularize, Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014) , 2014, 第 1 作者
（24） The Basic Polynomial Algebra Subprograms, Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014) , 2014, 第 1 作者
（25） Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains, Proceedings of Computer Algebra in Scientific Computing 2014 (CASC 2014), 2014, 第 2 作者
（26） Problem Formulation for Truth-table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition, Proceedings of 2014 Conferences on Intelligent Computer Mathematics (CICM 2014) , 2014, 第 3 作者
（27） Quantifier Elimination by Cylindrical Algebraic Decomposition Based on Regular Chains , Proceedings of 2014 International Symposium on Symbolic and Algebraic Computation (ISSAC 2014) , 2014, 第 1 作者
（28） Triangular Decomposition of Semi-algebraic Systems (Extended Version), Journal of Symbolic Computation, 2013, 第 1 作者
（29） Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One, Proceedings of Computer Algebra in Scientific Computing (CASC 2013), 2013, 第 2 作者
（30） Computing with Semi-algebraic Sets: Relaxation Techniques and Effective Boundaries, Journal of Symbolic Computation, 2013, 第 1 作者
（31） An Application of Regular Chain Theory to the Study of Limit Cycles, International Journal of Bifurcation and Chaos, 2013, 第 1 作者
（32） Algorithms for Computing Triangular Decomposition of Polynomial Systems (Extended Version), Journal of Symbolic Computation, 2012, 第 1 作者
（33） Cache Complexity and Multicore Implementation for Univariate Real Root Isolation, Journal of Physics: Conference Series, 2012, 第 1 作者
（34） Computing the Real Solutions of Polynomial Systems with the RegularChains Library in Maple, ACM Communications in Computer Algebra, 2011, 第 1 作者
（35） Computing with Semi-algebraic Sets Represented by Triangular Decomposition , Proceedings of 2011 International Symposium on Symbolic and Algebraic Computation (ISSAC 2011), 2011, 第 1 作者
（36） Semi-algebraic Description of the Equilibria of Dynamical Systems , Proceedings of 2011 Computer Algebra in Scientific Computing (CASC 2011), Springer Verlag, LNCS 6885, 2011, 第 1 作者
（37） Algorithms for Computing Triangular Decompositions of Polynomial Systems , Proceedings of 2011 International Symposium on Symbolic and Algebraic Computation (ISSAC 2011), 2011, 第 1 作者
（38） Solving Semi-algebraic Systems with the RegularChains Library in Maple, Proceedings of the Fourth International Conference on Mathematical Aspects of Computer Science and Information Sciences (MACIS 2011), 2011, 第 1 作者
（39） Triangular Decomposition of Semi-algebraic Systems, Proceedings of 2010 International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), 2010, 第 1 作者
（40） Computing Cylindrical Algebraic Decomposition via Triangular Decomposition, Proceedings of 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), 2009, 第 1 作者
（41） On the Verification of Polynomial System Solvers , Frontiers of Computer Science in China, 2008, 第 1 作者
（42） The ConstructibleSetTools and ParametricSystemsTools Modules of the RegularChains Library in Maple , Proceedings of the International Conference on Computational Science and Applications, IEEE Computer Society, 2008, 第 1 作者
（43） On the Representation of Constructible Sets, Proceedings of Milestones in Computer Algebra 2008, 2008, 第 1 作者
（44） Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library, Proceedings of Computer Algebra Systems and Their Applications 2007 (ICCS 2007), LNCS 4488, 2007, 第 1 作者
（45） Comprehensive Triangular Decomposition, Proceedings of CASC 2007, Lecture Notes in Computer Science, vol. 4770, 2007, 第 1 作者
（2） A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities, Proc. of CASC 2018, 2018, 第 1 作者
（3） Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically, Proc. of AISC 2018, 2018, 第 1 作者
（4） 基于同态门限密码体制的的投票协议, 计算机应用, 2018, 通讯作者
（5） Full Rank Representation of Real Algebraic Sets and Applications, Proc. of CASC 2017, 2017, 第 1 作者
（6） Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems, Proc. of CASC 2017, 2017, 通讯作者
（7） A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications, Proc. of CASC 2016, 2016, 第 1 作者
（8） Bell’s Nonlocality Can be Detected by the Violation of Einstein-Podolsky-Rosen Steering Inequality, Sci. Rep., 2016, 第 3 作者
（9） A Numerical Method for Analyzing the Stability of Bi-parametric Biological Systems, Proc. of SYNASC 2016, 2016, 第 1 作者
（10） Parallel Integer Polynomial Multiplication, Proc. of SYNASC 2016, 2016, 第 1 作者
（11） Quantifier elimination by cylindrical algebraic decomposition based on regular chains, Journal of Symbolic Computation, 2016, 第 1 作者
（12） Basic Polynomial Algebra Subprograms, ACM Communications in Computer Algebra, 2015, 第 1 作者
（13） MetaFork: A Compilation Framework for Concurrency Models Targeting Hardware Accelerators and Its Application to the Generation of Parametric CUDA Kernels, Proceedings of CASCON 2015, 2015, 第 1 作者
（14） Regular chains under linear changes of coordinates and applications, Proc. of CASC 2015, 2015, 第 2 作者
（15） Simplification of Cylindrical Algebraic Formulas, Proc. of CASC 2015, 2015, 第 1 作者
（16） 有效保留模型特征的自适应分层算法, 计算机应用, 2015, 通讯作者
（17） STL文件的法向量错误修复, 计算机应用研究, 2015, 通讯作者
（18） An Incremental Algorithm for Computing Cylindrical Algebraic Decomposition, Computer Mathematics, proceeding of ASCM 2009 and ASCM 2012, 2014, 第 1 作者
（19） Real Root Isolation of Regular Chains, Computer Mathematics, proceeding of ASCM 2009 and ASCM 2012 , 2014, 第 2 作者
（20） Real Quantifier Elimination in the RegularChains Library, Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014), 2014, 第 1 作者
（21） Cylindrical Algebraic Decomposition in the RegularChains Library, Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014) , 2014, 第 1 作者
（22） Doing Algebraic Geometry with the RegularChains Library, Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014), 2014, 第 2 作者
（23） Solving Parametric Polynomial Systems by RealComprehensiveTriangularize, Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014) , 2014, 第 1 作者
（24） The Basic Polynomial Algebra Subprograms, Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014) , 2014, 第 1 作者
（25） Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains, Proceedings of Computer Algebra in Scientific Computing 2014 (CASC 2014), 2014, 第 2 作者
（26） Problem Formulation for Truth-table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition, Proceedings of 2014 Conferences on Intelligent Computer Mathematics (CICM 2014) , 2014, 第 3 作者
（27） Quantifier Elimination by Cylindrical Algebraic Decomposition Based on Regular Chains , Proceedings of 2014 International Symposium on Symbolic and Algebraic Computation (ISSAC 2014) , 2014, 第 1 作者
（28） Triangular Decomposition of Semi-algebraic Systems (Extended Version), Journal of Symbolic Computation, 2013, 第 1 作者
（29） Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One, Proceedings of Computer Algebra in Scientific Computing (CASC 2013), 2013, 第 2 作者
（30） Computing with Semi-algebraic Sets: Relaxation Techniques and Effective Boundaries, Journal of Symbolic Computation, 2013, 第 1 作者
（31） An Application of Regular Chain Theory to the Study of Limit Cycles, International Journal of Bifurcation and Chaos, 2013, 第 1 作者
（32） Algorithms for Computing Triangular Decomposition of Polynomial Systems (Extended Version), Journal of Symbolic Computation, 2012, 第 1 作者
（33） Cache Complexity and Multicore Implementation for Univariate Real Root Isolation, Journal of Physics: Conference Series, 2012, 第 1 作者
（34） Computing the Real Solutions of Polynomial Systems with the RegularChains Library in Maple, ACM Communications in Computer Algebra, 2011, 第 1 作者
（35） Computing with Semi-algebraic Sets Represented by Triangular Decomposition , Proceedings of 2011 International Symposium on Symbolic and Algebraic Computation (ISSAC 2011), 2011, 第 1 作者
（36） Semi-algebraic Description of the Equilibria of Dynamical Systems , Proceedings of 2011 Computer Algebra in Scientific Computing (CASC 2011), Springer Verlag, LNCS 6885, 2011, 第 1 作者
（37） Algorithms for Computing Triangular Decompositions of Polynomial Systems , Proceedings of 2011 International Symposium on Symbolic and Algebraic Computation (ISSAC 2011), 2011, 第 1 作者
（38） Solving Semi-algebraic Systems with the RegularChains Library in Maple, Proceedings of the Fourth International Conference on Mathematical Aspects of Computer Science and Information Sciences (MACIS 2011), 2011, 第 1 作者
（39） Triangular Decomposition of Semi-algebraic Systems, Proceedings of 2010 International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), 2010, 第 1 作者
（40） Computing Cylindrical Algebraic Decomposition via Triangular Decomposition, Proceedings of 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), 2009, 第 1 作者
（41） On the Verification of Polynomial System Solvers , Frontiers of Computer Science in China, 2008, 第 1 作者
（42） The ConstructibleSetTools and ParametricSystemsTools Modules of the RegularChains Library in Maple , Proceedings of the International Conference on Computational Science and Applications, IEEE Computer Society, 2008, 第 1 作者
（43） On the Representation of Constructible Sets, Proceedings of Milestones in Computer Algebra 2008, 2008, 第 1 作者
（44） Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library, Proceedings of Computer Algebra Systems and Their Applications 2007 (ICCS 2007), LNCS 4488, 2007, 第 1 作者
（45） Comprehensive Triangular Decomposition, Proceedings of CASC 2007, Lecture Notes in Computer Science, vol. 4770, 2007, 第 1 作者
发表著作
科研活动
科研项目
（ 1 ） 基于三角分解的参数多项式优化, 主持, 国家级, 2014-01--2016-12
（ 2 ） 微分代数方程中的误差可控计算理论与算法, 参与, 国家级, 2015-01--2018-12
（ 3 ） 零误差计算在欧几里得格和密码学中的应用, 参与, 省级, 2014-12--2017-12
（ 4 ） 多项式循环程序的终止性研究及其应用, 参与, 国家级, 2016-01--2019-12
（ 5 ） 实代数方程中的零误差计算理论及其应用, 参与, 部委级, 2017-01--2021-12
（ 6 ） 参数半代数系统的误差可控计算理论与算法, 主持, 国家级, 2018-01--2021-12
（ 7 ） 零误差计算在程序自动并行化中的应用, 主持, 部委级, 2019-01--2021-12
（ 8 ） 自动推理及其在信息安全中的应用, 参与, 省级, 2018-10--2021-09
（ 2 ） 微分代数方程中的误差可控计算理论与算法, 参与, 国家级, 2015-01--2018-12
（ 3 ） 零误差计算在欧几里得格和密码学中的应用, 参与, 省级, 2014-12--2017-12
（ 4 ） 多项式循环程序的终止性研究及其应用, 参与, 国家级, 2016-01--2019-12
（ 5 ） 实代数方程中的零误差计算理论及其应用, 参与, 部委级, 2017-01--2021-12
（ 6 ） 参数半代数系统的误差可控计算理论与算法, 主持, 国家级, 2018-01--2021-12
（ 7 ） 零误差计算在程序自动并行化中的应用, 主持, 部委级, 2019-01--2021-12
（ 8 ） 自动推理及其在信息安全中的应用, 参与, 省级, 2018-10--2021-09
参与会议
（1）A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities 2018-09-17
（2）Applications of Symbolic-Numeric Computation on Studying Quantum Nonlocality 2017年中国数学会学术年会 2017-10-21
（3）Full Rank Representation of Real Algebraic Sets and Applications 2017-09-16
（4）Numerically Solving Bi-parametric Real Polynomial Systems and Applications 第五期符号计算暑期讲习班 2017-07-16
（5）A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems 2016-09-24
（6）A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications 2016-09-19
（7）Simplification of cylindrical algebraic formulas Changbo Chen, Marc Moreno Maza 2015-09-14
（8）Solving Parametric Polynomial Optimization by Triangular Decomposition Changbo Chen, Marc Moreno Maza 2015-08-10
（9）Computing the Supremum of the Real Roots of a Parametric Univariate Polynomial Changbo Chen and Marc Moreno Maza 2013-12-11
（10）Computing the Limit Points of Quasi-componets of Regular Chains in Diemnsion One Parisa Alvandi, Changbo Chen, Marc Moreno Maza 2013-09-09
（11）An Incremental Algorithm for Computing Cylindrical Algebraic Decomposition and Its Application to Quantifier Elimination Changbo Chen, Marc Moreno Maza 2013-08-01
（12）An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions Changbo Chen, Marc Moreno Maza 2012-10-26
（13）Quantifier Elimination via Triangular Decomposition Changbo Chen, Marc Moreno Maza 2012-06-24
（14）Advances on Quantifier Elimination and Applications Changbo Chen, Marc Moreno Maza 2012-06-18
（15）Semi-algebraic description of the equilibria of dynamical systems Changbo Chen, Marc Moreno Maza 2011-09-05
（16）Parallel Univariate Real Root Isolation on Multicores Changbo Chen, Marc Moreno Maza, Yuzhen Xie 2011-07-25
（17）Cache Complexity and Multicore Implementation for Univariate Real Root Isolation Changbo Chen, Marc Moreno Maza, Yuzhen Xie 2011-06-15
（18）Computing the Real Solutions of Polynomial Systems with the RegularChains library in Maple Changbo Chen, James H. Davenport, Francois Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie 2011-06-08
（19）Computing with Semi-Algebraic Sets Represented by Triangular Decomposition Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao 2011-06-08
（20） Algorithms for Computing Triangular Decompositions of Polynomial Systems Changbo Chen, Marc Moreno Maza 2011-06-08
（21）Triangular Decomposition of Semi-Algebraic Systems Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia and Rong Xiao 2010-07-25
（22）Real Root Isolation of Regular Chains Francois Boulier, Changbo Chen, Francois Lemaire and Marc Moreno Maza 2009-12-14
（23）Computing Cylindrical Algebraic Decomposition via Triangular Decompositions Changbo Chen， Marc Moreno Maza, Bican Xia, Lu Yang 2009-07-28
（24）Solving Parametric Polynomial Systems with the RegularChains library in Maple Changbo Chen, Francois Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie 2009-06-25
（25）The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple Changbo Chen, Francois Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie 2008-07-20
（26）Comprehensive Triangular Decomposition Changbo Chen, Oleg Golubitsky, Francois Lemaire, Marc Moreno Maza, Wei Pan 2007-09-16
（2）Applications of Symbolic-Numeric Computation on Studying Quantum Nonlocality 2017年中国数学会学术年会 2017-10-21
（3）Full Rank Representation of Real Algebraic Sets and Applications 2017-09-16
（4）Numerically Solving Bi-parametric Real Polynomial Systems and Applications 第五期符号计算暑期讲习班 2017-07-16
（5）A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems 2016-09-24
（6）A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications 2016-09-19
（7）Simplification of cylindrical algebraic formulas Changbo Chen, Marc Moreno Maza 2015-09-14
（8）Solving Parametric Polynomial Optimization by Triangular Decomposition Changbo Chen, Marc Moreno Maza 2015-08-10
（9）Computing the Supremum of the Real Roots of a Parametric Univariate Polynomial Changbo Chen and Marc Moreno Maza 2013-12-11
（10）Computing the Limit Points of Quasi-componets of Regular Chains in Diemnsion One Parisa Alvandi, Changbo Chen, Marc Moreno Maza 2013-09-09
（11）An Incremental Algorithm for Computing Cylindrical Algebraic Decomposition and Its Application to Quantifier Elimination Changbo Chen, Marc Moreno Maza 2013-08-01
（12）An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions Changbo Chen, Marc Moreno Maza 2012-10-26
（13）Quantifier Elimination via Triangular Decomposition Changbo Chen, Marc Moreno Maza 2012-06-24
（14）Advances on Quantifier Elimination and Applications Changbo Chen, Marc Moreno Maza 2012-06-18
（15）Semi-algebraic description of the equilibria of dynamical systems Changbo Chen, Marc Moreno Maza 2011-09-05
（16）Parallel Univariate Real Root Isolation on Multicores Changbo Chen, Marc Moreno Maza, Yuzhen Xie 2011-07-25
（17）Cache Complexity and Multicore Implementation for Univariate Real Root Isolation Changbo Chen, Marc Moreno Maza, Yuzhen Xie 2011-06-15
（18）Computing the Real Solutions of Polynomial Systems with the RegularChains library in Maple Changbo Chen, James H. Davenport, Francois Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie 2011-06-08
（19）Computing with Semi-Algebraic Sets Represented by Triangular Decomposition Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao 2011-06-08
（20） Algorithms for Computing Triangular Decompositions of Polynomial Systems Changbo Chen, Marc Moreno Maza 2011-06-08
（21）Triangular Decomposition of Semi-Algebraic Systems Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia and Rong Xiao 2010-07-25
（22）Real Root Isolation of Regular Chains Francois Boulier, Changbo Chen, Francois Lemaire and Marc Moreno Maza 2009-12-14
（23）Computing Cylindrical Algebraic Decomposition via Triangular Decompositions Changbo Chen， Marc Moreno Maza, Bican Xia, Lu Yang 2009-07-28
（24）Solving Parametric Polynomial Systems with the RegularChains library in Maple Changbo Chen, Francois Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie 2009-06-25
（25）The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple Changbo Chen, Francois Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie 2008-07-20
（26）Comprehensive Triangular Decomposition Changbo Chen, Oleg Golubitsky, Francois Lemaire, Marc Moreno Maza, Wei Pan 2007-09-16
