只为小站
首页
域名查询
文件下载
登录
感知机收敛性证明(Novioff
定理证明
)
感知机收敛性证明(Novioff
定理证明
)
2022-01-02 11:26:55
306KB
数据分类
1
带通信号采样
定理证明
奈奎斯特抽样定理,带通信号抽样定理,定理的证明过程
2021-12-29 20:29:35
79KB
采样定理
证明
1
(安德鲁·怀尔斯) 费马大
定理证明
.pdf
为了寻求费马大定理的解答,三个多世纪以来,一代又一代的数学家们前赴后继,却壮志未酬。1995年,美国普林斯顿大学的安德鲁·怀尔斯教授经过8年的孤军奋战,用130页长的篇幅证明了费马大定理。怀尔斯成为整个数学界的英雄。 非常经典!
2021-11-22 20:50:44
10.19MB
安德鲁·怀尔斯
版
1
微积分中值
定理证明
题大全.pdf
就是中值定理的一些证明题
2021-09-23 09:52:14
5.23MB
高数
1
stolz定理(数学分析
定理证明
)
关于stolz定理的0/0型和*/(无穷)型的证明,证明来自于下书: 高等教育出版社--数学分析--陈纪修,於崇华,金路 清华大学出版社--数学分析--徐森林,薛春华
2021-09-17 10:57:18
180KB
stolz
证明
1
coq-8.11.2-installer-windows-x86_64.exe
Coq
定理证明
工具安装包,可用于交互式
定理证明
/形式验证。免去官网下载极慢的烦恼!
2021-08-27 14:40:18
202.23MB
Coq
形式验证
定理证明
1
阿里巴巴召回框架 JTM 论文+
定理证明
+源码实现
阿里巴巴NIPS 2019论文 Joint Optimization of Tree-based Index and Deep Model for Recommender Systems 的supplementary file以及论文中算法的实现
2021-06-09 14:07:33
512KB
推荐系统
阿里巴巴
JTM
召回算法
1
卷积定理专项证明 (内含推导过程)
一个4页的小ppt.只为证明一条卷积定理而存在。精简。专项资料
2021-05-12 21:18:43
263KB
卷积定理
证明
1
费马大
定理证明
论文原文.pdf
如名称所说
2021-04-29 01:37:54
2.6MB
费马大定理
1
Coq中文教程.tgz
Coq形式化验证的的中文教程,index.html是入口,对应的*.v文件是课程作业习题 需要配合Coq使用!
2021-04-07 15:42:27
3.35MB
Coq
形式化验证
形式验证
定理证明
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
代码随想录知识星球精华-大厂面试八股文第二版v1.2.pdf
simulink仿真实现光伏发电MPPT+能量管理
机械臂避障路径规划仿真 蚁群算法 三维路径规划
简易示波器-精英板.zip
(推荐)小爱触屏音箱LX04_2.34.5-官改-(开发版)SP5
token登录器.rar
计算机专业实习日记+实习周记+实习总结
倒立摆的模糊控制(基于simulink仿真,适合初学者).rar
中国地面气候资料日值数据集(V3.0)2014-2019.zip
华为OD机试真题.pdf
中国地面气候资料日值数据集(V3.0)2010-2019.rar
全国河流水文站坐标.xls
cplex_studio129.win-x86-64.exe CPLEX 12.9直接安装可使用
先进PID控制Matlab仿真第4版-PDF+代码.zip
Steam离线安装版
最新下载
bcgcontrolbar V22.1版本
ARCPY使用手册V1.2
8 节点六面体的刚度矩阵:计算砖单元的刚度矩阵-matlab开发
(免费)短信平台安装软件程序
VB 随机点名器,一次性可点多人
BCGSoft.BCGControlBar.Professional.v10.0.Full.Source-ZWT
Matlab读取 tif文件并绘成三维图
锂电池主动均衡simulink仿真 四节电池 基于buckboost(升降压)拓扑 (还有传统电感均衡+开关电容均衡+双向反激
X10SLH-LN6TF / X10SLH-N6-ST031 支持NVME的BIOS
X10SLH-LN6TF / X10SLH-LN6-ST031 说明书
其他资源
easy grade pro 4.0.3(打开EGP后缀文件工具).rar
使用DirectShow采集摄像头并对视音频进行H264和AAC实时编码后封装成MP4
惠普254dn-nw老固件20190807
C#日历程序(带农历)
分子动力学基础教程lammps
华胜天成智慧消防物联网平台使用手册.pdf
模糊PID控制simulink模型
全国人口、面积矢量文件
VMWare Horizon 7 全套下载, vsphere,esxi,vcenter等等,含key, 26G
电子商务网站模板 基于bootstrap
Docker容器技术分享 -.pptx
Linux-0.11源码(同济大学中文注释版)
药店管理系统(含数据库)
c语言扫雷游戏graphics.h实现
C#asp.net航空售票系统
BookLibrary-master.zip
电影记录-源码
tensorflow_gpu-1.4.0-cp35-cp35m-win_amd64.whl
六西格玛绿带课程大纲小册子
常用模型算法(Matlab).rar
Arduino-SimpleFOCShield-master.zip
多人五子棋文件.zip
安卓新闻客户端
SWT中文文档
室内采暖热计量温控系统的研究