Tarski模型外可判定命题的机械化研究
11001228
2010
A0605.符号计算与机器证明
徐嘉
青年科学基金项目
副教授
西南民族大学
17万元
定理机器证明;可判定命题;逐次差分代换方法;Tarski模型
2011-01-01到2013-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | Schur型基的一般构造算法 | 期刊论文 | 徐嘉|李佳琦| |
| 2 | 一个三角不定方程的机器解法 | 期刊论文 | 徐嘉|姚勇| |
| 3 | 非负不可约矩阵Perron根的一种迭代算法 | 期刊论文 | 曾莉|肖明|杨军|徐嘉| |
| 4 | 基于随机矩阵的差分代换算法的完备化 | 期刊论文 | 徐嘉|姚勇| |
| 5 | Pólya方法与逐次差分代换方法 | 期刊论文 | 徐嘉|姚勇| |
| 6 | n元对称多项式的对称核及应用 | 期刊论文 | 陈胜利|徐嘉|姚勇| |
| 7 | 区间上非线性程序的终止性判定 | 期刊论文 | 姚勇| |
| 8 | 三角代数数极小多项式的机器求解 | 期刊论文 | 徐嘉| |
| 9 | 三元Schur基的新证法与推广 | 期刊论文 | 徐嘉| |
| 10 | 二面体群作用下简单多边形的分类 | 期刊论文 | 徐嘉| |
| 11 | copositive二次型与copositive矩阵 | 期刊论文 | 徐嘉|李高平| |
| 12 | An algorithm for determining copositive matrices | 期刊论文 | Xu, Jia|Yao, Yong| |
查看更多信息请先登录或注册
