首页| 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