首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 一个正式的伽罗瓦理论的的COQ证明助手的基本定理

一个正式的伽罗瓦理论的的COQ证明助手的基本定理

资 源 简 介

We attempt to prove the famous theorem of Galois of abstract algebra giving the relationship between fixed fields of certain field isomorphisms and subgroups of the Galois group of such isomorphisms.
VIP VIP
0.168908s