大约有530,281项符合查询结果项。(搜索耗时:0.6779秒)
为您推荐: 几何定理机器证明的案例 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何定理的机械化证明 分析基础机器证明系统
-
-
哈密尔顿-凯莱定理 从一道高中数学联赛试题的解法谈起
佩捷,梅根编2014 年出版132 页ISBN:9787560348506本书从一道高中数学联赛试题的解法谈起,详细介绍了哈密尔顿-凯莱定理的相关知识。全书共分为四章,分别为:引言、基础篇、应用篇与人物篇。本书可供从事这一数学分支或相关学科的数学工作者、大学生以及数学爱...
-
完美的证明 一位天才和世纪数学的突破
(美)玛莎·葛森著2012 年出版249 页ISBN:9787564053727在2002年11月,一位俄罗斯数学家把他对于庞加莱猜想的证明贴到了互联网上。他不是第一个宣称解决了庞加莱猜想的人。他甚至不是那一年唯一一个把对此猜想的尝试性证明贴到互联网上的人。但是他的证明是对的。...
-
马克思主义基本原理概论
章晖丽主编;张海涛,李洪新副主编2012 年出版215 页ISBN:9787802438569本书是本着与时惧进、开拓创新的原则而编写的一本马克思主义的通俗读物,介绍了马克思主义哲学是科学的世界观和方法论。
-
-
行政诉讼:基本原理与制度完善
杨海坤,黄学贤著2005 年出版555 页ISBN:7801893913本书为苏大法学院教材,从学者高度论述了行政诉讼法的基本问题,基本原则,受案范围等,以及对妨害行政诉讼的强制措施等。
-
不等式的分拆降维幂方法与可读证明
陈胜利著2016 年出版465 页ISBN:9787560357973本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件(SCHUE01)实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...
-
基本通信原理习题解答
李宗豪编著2008 年出版103 页ISBN:7563515402本书是“通信原理课程建设教材系列”《基本通信原理》一书的配套参考书。本书对《基本通信原理》一书各章后所附习题进行详细解答,并给出有关的MATLAB程序。本书可以用于读者自学时作练习参考。其中的MATLAB...
-
会计基本原理 英文版
(美)威廉·鲁兰德著2003 年出版161 页ISBN:7542910620本书是介绍财务会计基本原理的入门书,全书共六章;第一章、过去的绩效与目前的现状;第二章、记录发生了什么:第三章、准备来年;第四章、收益并非总是现金;第五章、支付在前、费用在后;第六章、二十个问题。...
-
乐高EV3机器人自造实战 从原理组装程序到控制全攻略
李春雄,李硕安著2016 年出版330 页ISBN:9787302429999书中从认识乐高机器人与套件开始,辅以实例快速了解动力机械原理,接着进入控制开发,然后切入乐高机器人的各种专题,内容涵盖:基本车、碰碰车、太阳能、蟑螂车、声控车、轨迹车、走迷宫机器人(超音波传感器)、单马...
