只为小站
首页
域名查询
文件下载
登录
感知机收敛性证明(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
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
全国道路网SHP数据.zip
CPLEX12.8学术版安装包:cplex_studio128.win-x86-64.exe
Monet智能交通场景应用
基于S函数的BP神经网络PID控制器及Simulink仿真和对应代码模型.zip
Keil5安装包
RNN-LSTM卷积神经网络Matlab实现
基于Python网络爬虫毕业论文.doc
离散时间信号处理第三版课后习题答案
基于MQ2烟雾传感器的STM32F103程序
vivado 破解 lisence(有效期到2037年) 下载
大学生网页设计大作业-5个网页设计制作作品自己任选
transformer_pytorch_inCV.rar
多机器人编队及避障仿真算法.zip
EEMD算法应用于信号去噪.rar
基于ray filter的雷达点云地面过滤ROS节点
最新下载
海康摄像机视频存储服务器
MITE DEV端.zip
管家婆分销ERP V1 V3 A8II TOP V10.0.2最新全版本通用
双线性插值FPGA代码Verilog
逻辑分析仪刷固件及Saleae驱动程序
新西兰地震数据集 新西兰地震列表
rk3588音视频硬件编解码技术资料
mathematica 简易教程
谷歌卫星地图 破解版
mamba-ssm-1.1.3-cp310-cp310-win-amd64.whl
其他资源
2017全国电子设计竞赛微电网模拟系统(A题)设计报告 全国二等奖作品
l利用matlab进行图像纹理特征提取
大学简单的网页设计作业综合.rar
微信小程序源码-合集3
暗通道去雾matlab
单目相机标定
神经网络变量筛选—基于BP的神经网络变量筛选
Sigmascan pro 5.0
matlab 图像校正
Redis Desktop Manager for Mac(redis可视化工具) v0.9.3.39中文版.zip
echarts复用
qt案例(二)精美的多功能计算器
JDY18使用例子
图形学的几道基础练习(计算机图形学)
MCPF跟踪算法源码
粒子群算法优化bp神经网络阈值.rar
信用卡数字识别.py
学生学位-源码
ISO9001工作文件的编写指南.doc
7-13-5-1(通过移动关节移动Body).7z
Dell T420、R520、R620、R720、T620安装WindowsServer2003x86系统.rar
多机电脑VLAN配置说明.docx
PD15.1.rar
code_1.52.1-1608136922_amd64.deb
SM4分组密码算法—sm4.zip
IT整体外包方案-外包公司专用
c#教师管理系统(VS2008 Sql server2005)
海思GPIO驱动代码