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

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

帮助

条数/页：排序方式：
	Mechanical decision for a class of integral inequalities 期刊论文 OAI收割 SCIENCE CHINA-INFORMATION SCIENCES, 2010, 卷号: 53, 期号: 9, 页码: 1800-1815 作者: Yang Lu; Yu WenSheng; Yuan RuYi 收藏 \| 浏览/下载：18/0 \| 提交时间：2015/11/08 integral inequality symmetric polynomial inequality Timofte's dimension-decreasing method successive difference substitution mechanical decision inequality-proving package BOTTEMA
	Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space 期刊论文 OAI收割 SCIENCE IN CHINA SERIES A-MATHEMATICS, 2008, 卷号: 51, 期号: 12, 页码: 2137-2148 作者: Huang Lei; Li HongBo \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2018/07/30 conformal geometric algebra (CGA) null bracket algebra (NBA) geometric invariant mechanical proving normal forms 68T15 03B35
	Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant 期刊论文 OAI收割 SCIENCE IN CHINA SERIES A-MATHEMATICS, 2008, 卷号: 51, 期号: 10, 页码: 1763-1774 作者: Feng RuYong; Yu JianPing \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2018/07/30 mechanical theorem proving Wu-Ritt's characteristic set method local theory of surface Wronskian determinant
	Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving 期刊论文 OAI收割 SCIENCE IN CHINA SERIES A-MATHEMATICS, 2007, 卷号: 50, 期号: 7, 页码: 941-950 作者: Zhang, Ning; Li, Hong-bo \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2018/07/30 mechanical theorem proving geometric invariance bracket algebra affine geometry affine bracket algebra
	Vectorial equations solving for mechanical geometry theorem proving 期刊论文 OAI收割 JOURNAL OF AUTOMATED REASONING, 2000, 卷号: 25, 期号: 2, 页码: 83-121 作者: Li, JB \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2018/07/30 mechanical theorem proving Wu's method Clifford algebra vectorial equations solving the area method