CSpace

浏览/检索结果: 共3条,第1-3条 帮助

已选(0)清除 条数/页:   排序方式:
Artin空间中SU(3)规范场的几何解析 期刊论文
数学学报, 2013, 页码: 661
作者:  石赫
收藏  |  浏览/下载:132/0  |  提交时间:2021/01/14
数学机械化  SU(3)规范场  恰当的Yang-Mills方程  示性变换  
SU(2)规范场的恰当形式(欧空间) 期刊论文
系统科学与数学, 2008, 卷号: 28.0, 期号: 007, 页码: 859-866
作者:  石赫
收藏  |  浏览/下载:103/0  |  提交时间:2021/01/14
数学机械化  SU(2)规范场  恰当的Yang-Mills方程  示性变换  
Clifford代数,几何计算和几何推理 期刊论文
数学进展, 2003, 卷号: 32.0, 期号: 004, 页码: 405-415
作者:  李洪波
收藏  |  浏览/下载:131/0  |  提交时间:2021/01/14
Clifford代数  数学机械化  几何计算  机器证明