全部文章

《几何定理机器证明的几何不变量方法》.pdf 作者:张景中,高小山,周咸青

★★★★★★★★★★★★★★★★
本站购买电子书等资源使用支付宝,无需注册直接付费后((弹出错误页面服务器忙,请稍等再试))不要关闭页面待页面电脑PC自动刷新(手机端需从支付宝页面按手机浏览器左上角返回键回到本页面,再自行手动刷新网页,推荐电脑访问)显示下载链接!不推荐edge等太高级的浏览器下载链接会阻拦,推荐迅雷、IDM等工具!请立刻及时下载(另存为)以免下次访问失效!如果有问题请在页面底部留言反馈(留下你的邮箱,仅限邮件交流,或在文章中更新交代回复)!部分带OCR版本的pdf书可以复制文字或搜索内容。下载失败了怎么办:点击这里
★★★★★★★★★★★★★★★★
对本站的直接交易方式不放心?你可以花1元购买美女短视频体验交易流程:点击这里,或者花2元预览资源截图或电子书内页:点击这里
PDF扫描版和图文版的区别,以及其他Word、mobi、txt、epub、azw3等各种电子版格式的选择:点击这里

本文链接:
https://www.lifu.me/book-00051.html

文件大小:048.67 MB 几何定理机器证明的几何不变量方法

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 28元 才能查看此处内容!立即支付

几何定理机器证明的几何不变量方法
作者:张景中,高小山,周咸青出版社:科学出版社出版时间:2018年03月

开 本:16开纸 张:包 装:圆脊精装是否套装:否国际标准书号ISBN:9787030440662丛书名:数学机械化丛书12
所属分类:
图书>自然科学>数学>几何与拓扑

编辑推荐
《几何定理机器证明的几何不变量方法》可以作为数学、计算机科学以及相关工程领域的科研人员、教师以及研究生了解几何定理机器证明几何不变量方法的参考书, 也可以作为高等院校与中学教师进行几何教育改革的参考书.
内容简介
《几何定理机器证明的几何不变量方法》系统介绍了几何定理机器证明的几何不变量方法. 主要包括:基于面积与勾股差等几何不变量的面积法、基于体积与勾股差等几何不变量的体积法以及基于向量计算的向量方法. 与基于坐标的几何定理机器证明方法(如吴(文俊)方法与Groebner基方法)相比, 基于几何不变量的几何定理机器证明方法可以产生较为简洁与可读的证明, 从而提高机器证明的质量. 作为应用, 该方法可以用来简化工程技术领域(如机器人、机构学、计算机视觉等)中出现的几何计算问题. 《几何定理机器证明的几何不变量方法》还介绍了几何定理机器证明的演绎数据库方法以及面积法在非欧几何中的推广.

spacer

《基础拓扑学讲义》作者:尤承业.pdf

本文链接:
https://www.lifu.me/book-00050.html

文件大小:014.75 MB 基础拓扑学讲义

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 7元 才能查看此处内容!立即支付

基础拓扑学讲义
作者:尤承业出版社:北京大学出版社出版时间:2021年12月

开 本:大32开纸 张:胶版纸包 装:平装是否套装:否国际标准书号ISBN:9787301031032
所属分类:
图书>教材>研究生/本科/专科教材>理学

spacer

《基础拓扑学 修订版》作者:[英]马克·阿姆斯特朗.pdf

本文链接:
https://www.lifu.me/book-00049.html

文件大小:040.65 MB 基础拓扑学 修订版 作者:[英]马克·阿姆斯特朗

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 10元 才能查看此处内容!立即支付

基础拓扑学(修订版)
图灵数学经典 拓扑学基础 微分拓扑 代数拓扑
作者:[英]马克·阿姆斯特朗出版社:人民邮电出版社出版时间:2019年10月

开 本:16开纸 张:胶版纸包 装:平装-胶订是否套装:否国际标准书号ISBN:9787115518910丛书名:图灵数学经典
所属分类:
图书>自然科学>数学>几何与拓扑
图书>教材>研究生/本科/专科教材>理学

编辑推荐
1.拓扑学主要研究拓扑空间在拓扑变换下的不变性质和不变量。在数学上,关于柯尼斯堡七桥问题、多面体的欧拉定理、四色问题等都是拓扑学发展史的重要问题。拓扑学在泛函分析、李群论、微分几何、微分方程等其他许多数学分支中都有广泛的应用。拓扑学对于分析学的现代发展、抽象代数学的发展都起了极大的推动作用。它在形成范畴与函子的观念,以及在经济学、突变理论、物理学、化学、生物学也都有直接的应用。 2. 本书内容浅易,是一部拓扑学入门书籍。具有实分析、初等群论、线性代数的人都可以看懂本书。本书作者很注意数学的美,原文在第 一章开头引了一条语录,是英国数学家G.H.Hardy的一句名言;大意是说,只有令人产生美感的那一部分数学才可能长久流传。这大概是作者在本书的取材和表述方面为自己立下的一条标准吧。 3. 本书是美国很多高校的拓扑学教材,如加州大学伯克利分校。

spacer

《方程求解与机器证明基于MMP的问题求解》 高小山,王定康,裘宗.pdf

本文链接:
https://www.lifu.me/book-00048.html

文件大小:020.69 MB 方程求解与机器证明基于MMP的问题求解 高小山,王定康,裘宗

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 23元 才能查看此处内容!立即支付

方程求解与机器证明:基于MMP的问题求解 高小山,王定康,裘宗燕,杨宏 著 9787030178626 科学出版社有限责任公司
作者:高小山,王定康,裘宗燕,杨宏 著出版社:科学出版社有限责任公司出版时间:2006年09月

开 本:16开纸 张:胶版纸包 装:精装是否套装:否国际标准书号ISBN:9787030178626
所属分类:
图书>考试>公务员考试>国家公务员考试

编辑推荐
POD产品说明:1. 本产品为按需印刷(POD)图书,实行先付款,后印刷的流程。您在页面购买且完成支付后,订单转交出版社。出版社根据您的订单采用数字印刷的方式,单独为您印制该图书,属于定制产品。2. 按需印刷的图书装帧均为平装书(含原为精装的图书)。由于印刷工艺、彩墨的批次不同,颜色会与老版本略有差异,但通常会比老版本的颜色更准确。原书内容含彩图的,统一变成黑白图,原书含光盘的,统一无法提供光盘。

spacer

《代数曲面拼接的理论与算法研究》-厉玉蓉编著.pdf

本文链接:
https://www.lifu.me/book-00047.html

文件大小:007.15 MB 代数曲面拼接的理论与算法研究-厉玉蓉编著

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 5元 才能查看此处内容!立即支付

代数曲面拼接的理论与算法研究
作者:厉玉蓉出版社:科学出版社出版时间:2011年08月

开 本:16开纸 张:胶版纸包 装:平装-胶订是否套装:否国际标准书号ISBN:9787030321930
所属分类:
图书>考试>其他类考试>秘书资格考试用书

编辑推荐
《代数曲面拼接的理论与算法研究》主要利用构造性代数几何理论对代数曲面拼接问题的两个方面进行探讨和研究。一方面,就二次代数曲面的低次光滑拼接曲面问题进行研究;另一方面,针对代数曲面的重构问题进行探讨。章为绪论;第2章和第3章主要就多个二次代数曲面的 次光滑拼接曲面的构造理论与算法进行了探讨;第4章研究用分片代数曲面进行曲面重建的构造性理论,得到了划分方法和三次分片代数曲面存在的条件;第5章介绍两类具有特殊形式的五次代数曲面的构造,一类是根据三次控制曲面的存在性来构造高光滑度的重建曲面,另一类是具有组合形式的五次代数曲面的构造——根据四次弱光滑度曲面的存在性来构造符合要求的五次代数曲面。

spacer

数学奥林匹克命题人讲座《初等数论》.pdf

本文链接:
https://www.lifu.me/book-00046.html

文件大小:098.90 MB 数学奥林匹克命题人讲座-初等数论

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 7元 才能查看此处内容!立即支付


初等数论
数学奥林匹克命题人讲座

开 本:大32开纸 张:胶版纸包 装:平装是否套装:国际标准书号ISBN:9787542847676丛书名:数学奥林匹克命题人讲座
所属分类:
图书>中小学用书>竞赛/奥赛>数学
快速直达
编辑推荐
内容简介
作者简介
目  录
书摘插画
下载免费当当读书
编辑推荐
命题人写书,富于原创性,且因为充分了解问题的背景,写来能够深入浅出,“百炼钢化为绕指柔”。
内容简介
本套丛书不同于一般的堆砌大量难题的数学奥林匹克教材,而是力求做到既深入浅出,又具备很大的实用性,完整地体现各专题的思想方法,探索解题的一般规律,并注重对学生兴趣和能力的培养。

spacer

奥赛经典专题研究系列《奥林匹克数学中的组合问题》.pdf

本文链接:
https://www.lifu.me/book-00045-05.html

文件大小:107.65 MB 奥赛经典专题研究系列-奥林匹克数学中的组合问题

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 9元 才能查看此处内容!立即支付

奥赛经典·专题研究系列-奥林匹克数学中的组合问题

作  者 : 张垚,等
定  价 : 28 元
ISBN 号 : 9787564800284
出 版 社 : 湖南师范大学出版社
出版日期 : 2009-07-01
版  次 : 1
页  数 : 396
装  帧 : 平装
开  本 : 16开

组合数□□史悠久,几千年前,我国的《河图》、《洛书》就已经涉及一些简单有趣的组合问题,近20年来,由于计算机科学、编码理论、规划论、数字通讯、试验设计等学科的迅猛发展,提出了一系列需要离散数学解决的理论和实际问题,加上组合数学的自身的逻辑要求提出的问题以及其他数学分支向组合数学提出的问题,促进了组合数学的研究十分活跃而富有成果,解决问题的方法和技巧更富有变化,使这一古老的数学分支成为了一门充满了活力的学科。

spacer

奥赛经典专题研究系列《奥林匹克数学中的真题分析》.pdf

本文链接:
https://www.lifu.me/book-00045-04.html

文件大小:100.19 MB 奥赛经典专题研究系列-奥林匹克数学中的真题分析

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 9元 才能查看此处内容!立即支付

奥赛经典专题研究系列 奥林匹克数学中的真题分析 中学生奥赛讲解教辅 国际奥林匹克数学竞赛讲解分析教辅 湖南师范大学出版社

开 本:3开纸 张:胶版纸包 装:平装是否套装:否国际标准书号ISBN:9787564819941
所属分类:
图书>中小学用书>中小学其他

ISBN编号: 9787564800291书名: 奥赛经典·专题研究系列-奥林匹克作者: 张垚 沈文选 冷岗松 编著出版社名称: 湖南师范大学出版社
基本信息

书名:奥赛经典·专题研究系列-奥林匹克数学中的真题分析

定价:38元

作者:张垚,沈文选,冷岗松 编著

spacer

奥赛经典专题研究系列《奥林匹克数学中的几何问题》.pdf

本文链接:
https://www.lifu.me/book-00045-02.html

文件大小:105.91 MB 奥赛经典专题研究系列-奥林匹克数学中的几何问题

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 9元 才能查看此处内容!立即支付


2021版奥赛经典专题研究系列奥林匹克数学中的几何问题 全国版 奥林匹克竞赛高中数学竞赛高中奥数数学竞赛辅导教材资料书
作者:沈文选出版社:湖南师范大学出版社

奥赛经典专题研究系列-奥林匹克数学中的几何问题

开 本:3开
纸 张:胶版纸
包 装:平装
是否套装:否
国际标准书号ISBN:9787564819958
所属分类:
图书>考试>考研>考研数学

内容简介
数学奥林匹克是起步最早、规模、类型多种、层次较多的一项学科竞赛活动。多年来的实践表明:这项活动可以激发青少年学习数学的兴趣,焕发青少年的学习热情,吸引他们去读一些数学小册子,促使他们寻找机会去听一些名师的讲座:这项活动可以使参与者眼界大开,跳出一个班、一个学校或一个地区的小圈子,去与其他“高手”互相琢磨,激励并培养他们喜爱有挑战性数学问题的素养与精神;这项活动可以使参与者求知欲望大增,使得他们的阅读能力、理解能力、交流能力、表达能力等诸能力与日俱进。这是一种有深刻内涵的文化现象,因此,越来越多的国家或地区除组织本国或本地区的各级各类数学奥林匹克外,还积极地参与到国际数学奥林匹克中。

spacer

奥赛经典专题研究系列《奥林匹克数学中的数论问题》.pdf

本文链接:
https://www.lifu.me/book-00045-03.html

文件大小:090.64 MB 奥赛经典专题研究系列-奥林匹克数学中的数论问题

下载地址:

此付款无需注册!付款后等候跳转显示!您需要先支付 9元 才能查看此处内容!立即支付

2022版奥林匹克数学中的数论问题 奥赛经典专题研究系列 高中数学竞赛教程教材高一二三用湖南师范大学出版社高考数学奥赛解题答案
作者:无出版社:湖南师范大学出版社出版时间:2022年04月

开 本:16开纸 张:胶版纸包 装:平装是否套装:否国际标准书号ISBN:9787564800369
所属分类:
图书>考试>公务员考试>面试

编辑推荐
数学奥林匹克是起步最早、规模大、类型多种、层次较多的一项学科竞赛活动。多年来的实践表明 这项活动可以激发青少年学习数学的兴趣,焕发青少年的学习热情,吸引他们去读一些数学小册子,促使他们寻找机会去听一些名师的讲座 这项活动可以使参与者眼界大开,跳出一个班、一个学校或一个地区的小圈子,去与其他“高手”互相琢磨,激励并培养他们喜爱有挑战性数学问题的素养与精神 这项活动可以使参与者求知欲望大增,使得他们的阅读能力、理解能力、交流能力、表达能力等诸能力与日俱进。这是一种有深刻内涵的文化现象,因此,越来越多的国家或地区除组织本国或本地区的各级各类数学奥林匹克外,还积极地参与到国际数学奥林匹克中。我国自986年参加国际数学奥林匹克以来,所取得成绩举世公认,十多年来一直保持的水平,其中,到2007年止,湖南的学生已取得0块、3块银牌的好成绩。

spacer