射影有理不变量、机器证明和外余代数

射影有理不变量、机器证明和外余代数

出版年：2007

作者：沈亚良

资源类型：图书

细分类型：学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

几何定理机器证明的几何不变量方法

作者：张景中
ISBN：9787030440662
出版社：科学出版社
出版年：2015

光滑复拟射影代数簇的上同调跳跃支集与L2型不变量

作者：李凤麟
出版社：中国科学技术大学
出版年：2021

代数不变量的源流

作者：金英姬
ISBN：9787560592565
出版社：西安交通大学出版社
出版年：2017

不变量理论与超代数

作者：格罗斯汉斯
ISBN：9787040534979
出版社：高等教育出版社
出版年：2020

括号代数、仿射括号代数和定理机器证明

作者：吴毅红
出版年：2001

基于余代数的模型检测和定理证明

作者：高建华
出版社：中国科学院
出版年：2013