中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共9条，第1-9条

帮助

条数/页：排序方式：
	Artin空间中SU(3)规范场的几何解析期刊论文 OAI收割数学学报, 2013, 页码: 661 作者: 石赫 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2021/01/14 数学机械化 SU(3)规范场恰当的Yang-Mills方程示性变换
	关于中国数学史的几个问题刍议会议论文 OAI收割第三届数学史与数学教育国际研讨会, 北京, 2009-05 郭书春收藏 \| 浏览/下载：29/0 \| 提交时间：2013/02/04 中国数学史分期纯数学研究数学理论数学机械化
	SU(2)规范场的恰当形式(欧空间) 期刊论文 OAI收割系统科学与数学, 2008, 卷号: 28.0, 期号: 007, 页码: 859-866 作者: 石赫 \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2021/01/14 数学机械化 SU(2)规范场恰当的Yang-Mills方程示性变换
	中国传统数学与数学机械化期刊论文 OAI收割曲阜师范大学学报(自然科学版), 2006, 卷号: 32, 期号: 3, 页码: 1-9 郭书春收藏 \| 浏览/下载：96/0 \| 提交时间：2013/02/19 中国传统数学数学机械化吴文俊
	Clifford代数,几何计算和几何推理期刊论文 OAI收割数学进展, 2003, 卷号: 32.0, 期号: 004, 页码: 405-415 作者: 李洪波 \| 收藏 \| 浏览/下载：63/0 \| 提交时间：2021/01/14 Clifford代数数学机械化几何计算机器证明
	算筹、算法与数学机械化期刊论文 OAI收割大自然探索, 1998, 卷号: 17, 期号: 2, 页码: 117-121 傅海伦收藏 \| 浏览/下载：79/0 \| 提交时间：2013/03/22 算筹筹算算法数学机械化
	构造性的思维方式与数学机械化期刊论文 OAI收割大自然探索, 1998, 卷号: 17, 期号: 1, 页码: 119-122 傅海伦收藏 \| 浏览/下载：79/0 \| 提交时间：2013/03/22 思维方式构造性数学机械化
	数学机械化问题中的向量加工期刊论文 OAI收割计算机学报, 1982, 卷号: 5, 期号: 3, 页码: 222-225 作者: 刘尊全收藏 \| 浏览/下载：975/43 \| 提交时间：2009/08/03 数学机械化多项式算法微分方程组机械化算法人工智能公式推导程序系统数学问题机器定理证明
	微分方程公式的机器推导(Ⅱ) 期刊论文 OAI收割科学通报, 1981, 卷号: 26, 期号: 5, 页码: 257-258 作者: 刘尊全收藏 \| 浏览/下载：1113/67 \| 提交时间：2009/08/03 微分方程文献条件 H型中国科学院数学机械化教授