首页
--
数理科学和化学论文
--
数学论文
--
代数、数论、组合理论论文
--
抽象代数（近世代数）论文
论文题目：基于交互式定理证明工具Coq构建的近世代数理论--特例研究：主理想环因式分解定理的机器证明
论文编号：
BS3555677
论文页数：共
98
页
会员充值下载
会员下载
0.35元/页
，如果还不是会员，
点击注册会员
会员下载仅需
34.3
元，充值送钱！
点击进入充值
论文格式：PDF + Word
单篇支付下载
单篇下载，无需注册，仅需
0.5元/页
直接支付方便快捷，本篇论文只需支付
49
元
论文格式：PDF
