共代数中的互模拟证明方法及其应用

共代数中的互模拟证明方法及其应用

出版社：中国科学院

出版年：2009

作者：罗凌云

资源类型：图书

细分类型：中文文献,学位论文

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

应用Bootstrap方法的空间相关性检验 :数理证明与模拟分析

作者：龙志和
ISBN：9787030316554
出版社：科学出版社
出版年：2011

拟代数簇的计算及在几何定理证明中的应用

作者：陈雪峰
出版年：2005

仿射括号代数算法及其在定理机器证明中的应用

作者：张宁
出版年：2006

并行编程模型的确定性的证明方法及其应用

作者：李泉龙
出版年：2014

数论中的零知识证明系统及其应用

作者：唐春明
出版年：2004

代数不等式 :证明方法

作者：韩京俊
ISBN：9787312056185
出版社：中国科学技术大学出版社
出版年：2023