注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. Mathematics for Computer Science 2017.7z

  2. I 数学分析（Proofs） 简介（Introduction） 0.1 参考文献（References） 1 什么是证明？（What is a Proof?） 1.1 命题（Propositions） 1.2 谓词（Predicates） 1.3 公理化方法（The Axiomatic Method） 1.4 我们的公理（Our Axioms） 1.5 证明命题的含义（Proving an Implication） 1.6 证明「有且仅有」（Proving an「If and Only If」

  3. 所属分类：机器学习

    • 发布日期：2019-07-25
    • 文件大小：10485760
    • 提供者：idealtracy

  1. IOI国家集训队论文集1999-2019

  2. # 国家集训队论文列表（1999-2019） ___点击目录快速跳转：___ - _国家集训队论文列表（1999-2019）_ * [_1999_](#1999) * [_2000_](#2000) * [_2001_](#2001) * [_2002_](#2002) * [_2003_](#2003) * [_2004_](#2004) * [_2005_](#2005) * [_2006_](#2006) * [_2007_](#2007) * [_2008_](#2008) * [_2

  3. 所属分类：讲义

    • 发布日期：2019-09-20
    • 文件大小：110100480
    • 提供者：jiazhendong

  1. 吴文俊：不朽的数学人生，照耀人工智能发展之路.md

  2. 2019.09.17 中国人工智能学会原名誉理事长、中国科学院院士吴文俊获“人民科学家”国家荣誉称号的新闻报道。回顾大师不朽的数学人生，了解成就：吴类（拓扑学示性类及示嵌类）和吴公式，古代数学的算法和可计算性分析，开创崭新的**数学机械化**领域，提出 **用计算机证明几何定理的“吴方法”**,成为**自动推理领域**的先驱。 哥德尔的不完备性定理昭示了数学真理的探索永无止境，没有囊括一切真理的公理系统存在。真理的发展和认识是无穷的。不完备恰好预留了真理发展的空间。欧几里得几何的公理体系由于不

  3. 所属分类：机器学习

    • 发布日期：2019-09-21
    • 文件大小：14336
    • 提供者：qq_27206435

  1. 清华大学计算机系本科生参考书目.pdf

  2. 参考书目 参考书目 大一上 微积分A(1) 线性代数(1) 程序设计基础 离散数学(1) 计算机科学导论 大一下 微积分A(2) 线性代数(2) 离散数学(2) 面向对象程序设计基础 大二上 数据结构 复变函数引论 电子学基础 大二下 概率论数理统计 随机数学方法 人工智能导论 形式语言与自动机 数字逻辑电路 数字逻辑实验 计算机图形学基础 初等数论 高性能计算导论

  3. 所属分类：其它

    • 发布日期：2020-05-12
    • 文件大小：448512
    • 提供者：m0_37938791

  1. 各向异性手性玻色子

  2. 我们构造具有各向异性缩放的手性玻色子的理论，其特征是采用正奇整数值的动态指数z。 在各向同性的情况下（z = 1），作用减小为Floreanini和Jackiw的作用。 当两个手性非本地组合时，将恢复具有Lifshitz缩放比例的标准自由玻色子。 还分析了其规范结构和对称性。 与各向同性的情况一样，该理论也具有当前的代数。 值得注意的是，标准的保形对称性仍然存在，但是以非局部方式实现的。 从路径积分以及在u ̂ $$ \ hat {u} $$（1）后代上的迹线，可以获得在有限温度下分配函数的确切

  3. 所属分类：其它

    • 发布日期：2020-04-08
    • 文件大小：337920
    • 提供者：weixin_38663452

  1. 国家集训队2019论文集.zip

  2. IOI国家集训队2019论文集，目录： 钟子谦 - 《两类递推数列的性质和应用》 王修涵 - 《浅谈图模型上的随机游走问题》 杨骏昭 - 《“小水题”命题报告》 高嘉煊 - 《浅谈图的点着色问题》 戴 言 - 《浅谈格路计数相关问题》 李佳衡 - 《算法竞赛中一些数论问题的推广与高斯整数初探》 范致远 - 《“基础圆方树练习题”命题报告》 徐翊轩 - 《“整点计数”命题报告以及对高斯整数的若干研究》 张哲宇 - 《浅谈树上分治算法》 吴

  3. 所属分类：专业指导

    • 发布日期：2020-04-04
    • 文件大小：2097152
    • 提供者：huangyuanlang

  1. Descartes是matplotlib的JS替代品用于TheoremJS

  2. Descartes是matplotlib的JS替代品，用于TheoremJS。TheoremJS 是个为数学计算而设计的 Javascr ipt 框架，它整合了大量实用的数学函数，包括代数、数论、统计学等，完全基于 Javascr ipt 编写且无需后端支持。

  3. 所属分类：其它

    • 发布日期：2019-08-10
    • 文件大小：3145728
    • 提供者：weixin_39840914

  1. maple使用教程

  2. maple使用教程（高清，详细）。 强大的求解器，内置超过5000个符号和数值计算命令，覆盖几乎所有的数学领域，如微积分，线性代数，方程求解，积分和离散变换，概率论和数理统计，物理，图论，张量分析，微分和解析几何，金融数学，矩阵计算，线性规划，组合数学，矢量分析，抽象代数，泛函分析，数论，复分析和实分析，抽象代数，级数和积分变换，特殊函数，编码和密码理论，优化等。 各种工程计算：优化，统计过程控制，灵敏度分析，动力系统设计，小波分析，信号处理，控制器设计，集总参数分析和建模，各种工程图形等。 提

  3. 所属分类：专业指导

    • 发布日期：2019-07-02
    • 文件大小：1048576
    • 提供者：hanfeidyx

  1. shor算法详细分析.pdf

  2. 这个pdf是我用latex写的暑期课程的结课论文，主要是介绍了基本的量子逻辑门，并在此基础上详细分析了两种量子算法(shor算法（你要是能找到比我写的shor算法更细致的中文分析就算我输了），Deutsch-Jozsa算法)的算法流程和原理。对量子算法感兴趣并且学过线性代数并且有一点数论基础和对量子逻辑门有基本了解的朋友可以下载，如果对pdf中任何地方有疑问的话也欢迎留言交流

  3. 所属分类：专业指导

    • 发布日期：2020-07-13
    • 文件大小：809984
    • 提供者：passenger12234

  1. 规则有损函数及其在防回弹密码学中的应用

  2. 我们证明（ABO）-RLFs可以接受多种数论假设和哈希证明系统（HPS）的有效构造，以满足自然代数性质的子集成员资格问题。 由于功能上的放松，与（ABO）-LTF相比，该结构具有更短的密钥大小和更好的计算效率。 我们演示了（ABO）-RLF在Leaking-Resilient.cryptography中的应用。

  3. 所属分类：其它

    • 发布日期：2021-03-15
    • 文件大小：782336
    • 提供者：weixin_38733367

  1. Master-PyAlgo-源码

  2. PyAlgo大师 Python，PYPY中的精通算法和竞争性编程 范本 可与所有版本的Python一起使用，并具有Python 3行为。 版本特定模板： ， 片段 代数 （多变量）中国余数定理 离散对数 LCM和GCD 整数分解 快速傅立叶变换 快速子集变换 数论变换 确定性Miller-Rabin素数检验 Tonelli–Shanks算法 广义模逆 欧拉的Phi函数 原始根 Eratosthenes筛 数据结构 位阵列 二分索引（Fenwick）树 分数 续分数 不交集（联合查找）数据

  3. 所属分类：其它

    • 发布日期：2021-03-14
    • 文件大小：63488
    • 提供者：weixin_42099858

  1. TheoremJS：用于JavaScript中计算的数学库:closed_book:-源码

  2. 定理JS 用于Javascr ipt计算的Math框架 TheoremJS是一个数学框架，其中包含大量有用的数学函数。 它由大多数数学领域的功能组成，例如代数，数论，统计等。它旨在满足您的需求，无论您想做什么。 入门 在终端中键入以下命令 [sudo] npm i theorem.js 然后打开您喜欢的代码编辑器： const t = require ( "theorem.js" ) ; /* Start coding here */ 文献资料 该文档可以在找到 使用TheoremJS的

  3. 所属分类：其它

    • 发布日期：2021-02-05
    • 文件大小：675840
    • 提供者：weixin_42134117

  1. HackerRank：JavaJSPythonC ++ C＃中的HackerRank解决方案-源码

  2. 解决HackerRank问题的方法。 查看HackerRank的新格式 如果您有兴趣以其他语言提供帮助或寻求解决方案，请随时提出请求。 演算法 数据结构 数学 数论 组合学 代数 几何 可能性 线性代数基础 Java 介绍 弦乐 大数 数据结构 异常处理 高级 暖身 ＃ 标题 解 时间 空间 困难 点数 注意 O（1） O（1） 简单 1个 上） O（1） 简单 10 O（1） O（1） 简单 10 上） O（1） 简单 10 上） O（1） 简单 10 上

  3. 所属分类：其它

    • 发布日期：2021-01-30
    • 文件大小：391168
    • 提供者：weixin_42133918

  1. 定期有损功能和应用

  2. 我们证明（ABO）-RLFs可以接受多种数论假设和哈希证明系统（HPS）的有效构造，以满足自然代数性质的子集成员资格问题。 由于功能上的放松，与（ABO）-LTF相比，该结构具有更短的密钥大小和更好的计算效率。 我们演示了（ABO）-RLF在Leaking-Resilient.cryptography中的应用。

  3. 所属分类：其它

    • 发布日期：2021-03-31
    • 文件大小：432128
    • 提供者：weixin_38605538
« 1 2 3 4 5»