半代数系统的高效求解算法及其在不等式机器证明中的应用

11271034
2012
A0410.算法复杂性与近似算法
夏壁灿
面上项目
教授
北京大学
50万元
半代数系统求解;不等式自动发现;不等式机器证明;数学机械化;符号计算
2013-01-01到2016-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 Generic regular decompositions for parametric polynomial systems 期刊论文 Zhenghong Chen|Xiaoxian Tang|Bican Xia|
2 Generic Regular Decompositions for Generic Zero-Dimensional Systems 期刊论文 Xiaoxian Tang|Zhenghong Chen|Bican Xia|
3 Interpolation synthesis for quadratic polynomial inequalities and combination with EUF 会议论文 Xia Bican|Zhan Naijun|Kapur Deepak|Chen Mingshuai|
4 Special Algorithm for Stability Analysis of Multistable Biological Regulatory Systems 期刊论文 Hoon Hong|唐晓弦|夏壁灿|
5 Barrier Certificates Revisited 期刊论文 Dai Liyun|Gan Ting|Xia Bican|Zhan Naijun|
6 Discovering polynomial Lyapunov functions for continuous dynamical systems 期刊论文 Haoyang Li|Bai Xue|Zhiming Zheng|Bican Xia|
7 Generating non-linear interpolants by semi-definite programming. 会议论文 Liyun Dai|Bican Xia|Naijun Zhan|
8 Hierarchical Comprehensive Triangular Decomposition 会议论文 陈正鸿|唐晓弦|夏壁灿|
9 Open weak cad and its applications 期刊论文 Han Jingjun|Dai Liyun|Hong Hoon|Xia Bican|
10 Proving Inequalities and Solving Global Optimization Problems via Simplified CAD Projection 期刊论文 Han Jingjun|Jin Zhi|Xia Bican|
11 Decidability of the Reachability for a Family of Linear Vector Fields 会议论文 陈明帅|代立云|夏壁灿|詹乃军|
12 Automated Inequality Proving and Discovering 专著 夏壁灿|杨路|
13 Computing Reachable Sets of Linear Vector Fields Revisited 期刊论文 Chen Mingshuai|Li Yangjia|Xia Bican|Zhan Naijun|
14 Real Root Isolation of Polynomial Equations Based on Hybrid Computation 会议论文 Fei Shen|Wenyuan Wu|Bican Xia|
15 Constructing Fewer Open Cells by GCD Computation in CAD Projection 会议论文 韩京俊|代立云|夏壁灿|
16 Smaller SDP for SOS Decomposition 期刊论文 代立云|夏壁灿|
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享