位置：成果数据库 > 期刊 > 期刊详情页
基于列随机矩阵的逐次差分代换与正半定型的机械化判定
  • ISSN号：1674-7216
  • 期刊名称：中国科学:数学
  • 时间：0
  • 页码：251-264
  • 相关项目：不等式基础理论公理化研究与不等式机器证明
作者： 姚勇|
同期刊论文项目
不等式基础理论公理化研究与不等式机器证明
期刊论文 18
同项目期刊论文
有限点集共超球的充分必要条件
广义抽象距离空间的度量方程
The fundamental theory of abstract majorization inequalities
矩阵的次特征值及其应用
Pólya方法与逐次差分代换方法
基于随机矩阵的差分代换算法的完备化
三元Schur基的新证法与推广
区间上非线性程序的终止性判定
二面体群作用下简单多边形的分类
三角代数数极小多项式的机器求解