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

搜索资源列表

  1. 吴方法及其在偏微分方程中的应用

  2. 吴方法及其在偏微分方程中的应用 吴文俊 论数学机械化 偏微分方程

  3. 所属分类：专业指导

    • 发布日期：2009-10-26
    • 文件大小：5mb
    • 提供者：wwxwwx615

  1. 机器证明吴文俊 pdf

  2. ########################################################################

  3. 所属分类：专业指导

    • 发布日期：2011-03-11
    • 文件大小：4mb
    • 提供者：quantumspirit

  1. 机器证明.pdf

  2. 机器证明.pdf（吴文俊）

  3. 所属分类：专业指导

    • 发布日期：2008-05-08
    • 文件大小：4mb
    • 提供者：victor_he

  1. 机械证明,——吴文俊

  2. 很难得的好书，对于数学本科生来说，非常值得一看

  3. 所属分类：专业指导

    • 发布日期：2012-03-04
    • 文件大小：4mb
    • 提供者：tianer3

  1. 几何专家 几何定理证明

  2. 《几何专家》提供了几何动态图形变换与板块操作，可以自动证明定理，并产生简单、漂亮的证明过程，还可以自动发现几何图形的丰富性质。自从吴文俊教授七十年代末提出几何定理自动证明的吴方法以来，中国学者在这方面的研究可谓异彩纷呈，成果累累，屡获国内外大奖。几何图形、函数图象、平面曲线、与轨迹图形，可用于平面几何、解析几何、函数、与物理的学习与教学。作为一个定理证明器，《几何专家》使用作者的获奖研究成果，不仅可以证明大部分平面几何定理、产生简短可读的证明，还可以自动发现几何图形的所有可能的性质、为使用者自

  3. 所属分类：专业指导

    • 发布日期：2014-03-05
    • 文件大小：1mb
    • 提供者：u013801315

  1. 机器证明-吴文俊

  2. 吴文俊老师的机器证明一书，有利于同学们自学

  3. 所属分类：讲义

    • 发布日期：2014-07-16
    • 文件大小：4mb
    • 提供者：ysm101

  1. comsol mems 模块

  2. 非常棒的教程苏定方 金宇信 百济 新罗 金春秋 熊式辉 范汉杰 郑洞国 梁华盛 廖耀湘 韩先楚 徐永昌 李公朴 陈天桥 史玉柱 马化腾 孙正义 邵逸夫 包玉刚 维格 李泰柏 cyrics 王树声 肖克 王震 洪学智 方强 林立果 杨勇 肖华 罗瑞卿 叶群 吴法宪 李作鹏 东方马奇诺 次官多田骏 石原莞尔 蒋百里 张治 段祺瑞 黎元洪 吴佩孚 孙传芳 唐生智 布柳赫尔 马木留克 阿拉伯哈里 阿尤布 色雷斯马其顿 亚美尼亚 阿塞拜疆 畑俊六 岛贯武治 阎海文 武藤章 东条英教 珍宝岛 列昂诺夫 博

  3. 所属分类：制造

  1. Rational Homotopy Type

  2. Rational Homotopy Type A Constructive Study via the Theory of the I*-measure 吴文俊 书 Lecture Notes in Mathematics Edited by A. Oold and B. Eckmann 1264

  3. 所属分类：讲义

    • 发布日期：2017-08-30
    • 文件大小：10mb
    • 提供者：jiangdmdr

  1. 机器证明吴文俊.pdf

  2. 介绍了机器证明的公理体系、基础理论，泛函分析和计算机器理论的结合。

  3. 所属分类：专业指导

    • 发布日期：2009-01-17
    • 文件大小：4mb
    • 提供者：hutman

  1. acm国家集训队2005年论文合集

  2. acm大学生程序设计竞赛，国家集训队2005年论文合集 国家集训队2005论文集 蒋炎岩：《数据结构的联合——块状链表》 金恺：《杂题大拼盘》 栗师：《树的乐园——一些与树有关的题目》 吴景岳：《解法讨论》 何林：《数据关系的简化》 胡伟栋：《浅析非完美算法在信息学竞赛中的应用》 黄刚：《数据结构的联合》 黄源河：《左偏树的特点及其应用》 李羽修：《Hash函数的设计优化》 龙凡：《序的应用》 潘震皓：《置换群快速幂运算研究与探讨》 钱自强：《关于遗传算法应用的分析与研究》 任恺：《图论的基本

  3. 所属分类：其它

    • 发布日期：2009-03-27
    • 文件大小：9mb
    • 提供者：u012196199

  1. QCon 全球软件开发大会 2018 北京 PPT合集 第三部分

  2. 第三部分，列表： QCon北京2018--《移动开发者触手可得的AI对话技术》--陈雨强.pdf QCon北京2018--《跳一跳的前世今生—.pdf QCon北京2018-Go高效并发编程蔡超.pdf QCon北京2018-《万台集群性能优化方法—.pdf QCon北京2018-《以Null的处理、回调地狱的应对为例，看C#背后的问题解决思路》-Mads Torgersen.pdf QCon北京2018-《唯快不破—.pdf QCon北京2018-《小Q机

  3. 所属分类：讲义

    • 发布日期：2018-04-24
    • 文件大小：277mb
    • 提供者：u011698258

  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
    • 文件大小：105mb
    • 提供者：jiazhendong

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

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

  3. 所属分类：机器学习

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

  1. 2019人工智能发展报告.pdf

  2. 由清华大学-中国工程院知识智能联合研究中心、中国人工智能学会吴文俊人工智能科学技术评选基地联合发布的2019年人工智能发展报告

  3. 所属分类：机器学习

    • 发布日期：2020-04-16
    • 文件大小：19mb
    • 提供者：weixin_42536690

  1. 基于组织角度的人才安全框架性分析

  2. 基于组织角度的人才安全框架性分析，王文波，吴俊，提出人才的三个条件和对人才的认识，指明组织管理的核心任务是打造人才，澄清对组织人才安全的认识。阐述了研究组织人才安全的三

  3. 所属分类：其它

    • 发布日期：2020-02-05
    • 文件大小：256kb
    • 提供者：weixin_38675777

  1. 在0.5MW火灾中地铁站台挡烟垂壁的合理高度

  2. 在0.5MW火灾中地铁站台挡烟垂壁的合理高度，吴文忠，由世俊，在地铁站台上，挡烟垂壁配合排烟设施使用，能有效阻挡烟气向火源上、下游站台蔓延，起到挡烟和排烟的双重效果。在发生常见的行李

  3. 所属分类：其它

    • 发布日期：2020-01-19
    • 文件大小：588kb
    • 提供者：weixin_38722588

  1. 动力仿真分析在U形梁自振频率识别中的应用

  2. 动力仿真分析在U形梁自振频率识别中的应用，伍文祥，吴定俊，采用余振法对U形简支梁整体的一阶横向以及一阶竖向自振频率进行了识别；为解决余振法难以确定各频率对应模态阶次难以确定的问题�

  3. 所属分类：其它

    • 发布日期：2020-01-10
    • 文件大小：317kb
    • 提供者：weixin_38635092

  1. 通信设备综合网元自动激活对策及成功案例分析.pdf

  2. 在网络设备上将客户订购的服务信息完成端到端配置的过程，从而实现客户服务到实际物理 网络的映射，即网元激活。现阶段我国电信业综合网元自动激活成功率还处在不高的情况 下，提高综合网元自动激活成功率尤为重要。分析了网元自动激活失败的原因，并进行了充 分的现场验证和详细的系统调研，提出提高综合网元自动激活成功率的合理化处理方案，以 PDOA循环法为例探究推进通信业务开通的自动化进程。学免兔 www xuetuu con 处理过程,具有可移植性强、稳定度高、功耗小、 研究[J传感器技术学报,200

  3. 所属分类：其它

    • 发布日期：2019-09-14
    • 文件大小：214kb
    • 提供者：weixin_38744207

  1. 三阶非线性项的耦合标量场方程的精确孤子解

  2. 针对非线性耦合标量场方程的求解问题,采用改进的sine-cosine法,并把它应用到n+1维耦合非线性标量场方程,同时利用Mathematica数学软件并结合吴文俊消元法,获得了n+1维耦合标量场方程的5类精确孤子解,部分已知的结论是其特例;该方法还能够有效地用于其他的非线性方程组,如耦合Kdv方程、耦合mkdv方程、耦合schr(o|¨)dinger和Boussinesq方程及正则长水波方程等.

  3. 所属分类：其它

    • 发布日期：2020-06-27
    • 文件大小：256kb
    • 提供者：weixin_38622467

  1. 吴文俊人吴文俊人工智能科学技术奖2020.pdf

  2. 吴文俊人工智能科学技术奖，由中兴通讯公司牵头捐资，中国人工智能学会发起主办，共设有科学技术成就奖、科学技术创新奖和科学技术进步奖，每年评奖一次。其中，成就奖和创新奖主要奖励个人，进步奖主要奖励项目。 2018年首次设立“吴文俊人工智能杰出贡献奖”，首位获奖者为百度高级副总裁、AI技术平台体系（AIG）总负责人王海峰。 截至2018年11月，该奖先后授予198个单位及行业机构、210个创新成果和项目及699名学者及专家。 2019年10月21日，第九届吴文俊人工智能科学技术奖揭晓，小i机器人荣获第

  3. 所属分类：机器学习

    • 发布日期：2020-09-06
    • 文件大小：1mb
    • 提供者：wenjunqin