当前位置:首页 > 名称

大约有507,957项符合查询结果项。(搜索耗时:0.9772秒)

为您推荐: 几何定理机器证明的案例 几何定理机器证明的基本原理 挑战思维极限 勾股定理的365种证明 证明的故事 从勾股定理到现代数学 几何最著名24个定理证明及应用 几何证明

  • 费马大定理 解开一个古代数学难题秘密

    (美)阿米尔·艾克塞尔著;左平译2016 年出版120 页ISBN:9787543969964

    1955年,在一次科学会议上,一位普林斯顿数学家演讲像投下了一枚炸弹,引起了极大轰动。他已成功证明了一个使人类迷惑了350年之久著名数学猜想——费马大定理。这个证明一共写了200页,是他面壁7年结果。《...

  • 数学写真集 无需语言证明 第2季

    (美)尼尔森编2014 年出版132 页ISBN:9787111466772

    本书由131个“无需语言证明图片组成,每个图片下面列出了该图片要“证明数学结论。当从一个图片中悟出为何该图片证明了相应数学结论时,读者便能够体会到数学绝妙美,所以这本书叫做数学写真集...

  • 数学写真集 无需语言证明 第1季

    (美)尼尔森编2014 年出版154 页ISBN:9787111447740

    本书由131个“无需语言证明图片组成,每个图片下面列出了该图片要“证明数学结论。当从一个图片中悟出为何该图片证明了相应数学结论时,读者便能够体会到数学绝妙美,所以这本书叫做数学写真集...

  • 涉过愤怒河 野性证明

    (日)西村寿行著;森村诚著;夏燕编译;春华编译2004 年出版305 页ISBN:7801460855

    内 容 简 介 地处偏远风道屯,五户人家,十三口人全被 杀死。经过验尸,发现一具来此旅行女子尸体,而 本屯一位8岁女孩却下落不明。虽经警方全力调 查,但仍未能破案。 两年后,一位叫味泽男子领着一个10岁 女...

  • 数学分析中重要定理

    杨艳萍,明清河著2015 年出版344 页ISBN:9787121255625

    本书是为学习数学分析课程学生、从事数学分析教学与研究读者而编写。全书共分为七章,系统地把数学分析中重要定理总结和归纳为微积分基本定理、微分中值定理、积分中值定理、积分关系定理、极限关系...

  • 哈密尔顿-凯莱定理 从一道高中数学联赛试题解法谈起

    佩捷,梅根编2014 年出版132 页ISBN:9787560348506

    本书从一道高中数学联赛试题解法谈起,详细介绍了哈密尔顿-凯莱定理相关知识。全书共分为四章,分别为:引言、基础篇、应用篇与人物篇。本书可供从事这一数学分支或相关学科数学工作者、大学生以及数学爱...

  • 完美证明 一位天才和世纪数学突破

    (美)玛莎·葛森著2012 年出版249 页ISBN:9787564053727

    在2002年11月,一位俄罗斯数学家把他对于庞加莱猜想证明贴到了互联网上。他不是第一个宣称解决了庞加莱猜想人。他甚至不是那一年唯一一个把对此猜想尝试性证明贴到互联网上人。但是他证明是对。...

  • 不等式分拆降维幂方法与可读证明

    陈胜利著2016 年出版465 页ISBN:9787560357973

    本书系统地总结了作者及其合作者近十年来在不等式数学械化领域一系列研究成果及其软件(SCHUE01)实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式机器证明过程及其理论依据有更为深入理解。...

  • 画法几何机械制图习题集

    华中工学院等九院校编1975 年出版214 页ISBN:7040086638

    本习题集是根据原国家教育委员会高等教育司于1995年批准印发高等学校工科本科“画法几何机械制图课程教学基本要求(机械类专业适用)”和国家质量技术监督局近年来发布国家标准,在华中理工大学等院校...

  • 数学天书中证明:35个著名数学问题

    M.AIGNER,G.M.ZIEGLER著2009 年出版270 页ISBN:9787040262094

    本书介绍了35个著名数学问题极富创造性和独具匠心证明。其中有些证明不仅想法奇特、构思精巧,作为一个整体更是天衣无缝。难怪,西方有些虔诚数学家将这类杰作比喻为上帝创造。这不是一本教科书,也不是...

出版时间

全部

ZHA年(1)

10年(3)

11年(3)

12年(1)

15年(1)

151年(1)

1737年(1)

1820年(1)

1851年(1)

1888年(1)

1894年(1)

1899年(1)

1900年(1)

1908年(2)

1909年(2)

1910年(1)

1911年(2)

1912年(2)

1913年(4)

1914年(3)

1915年(2)

1916年(6)

1917年(10)

1919年(8)

1920年(10)

1921年(12)

1922年(25)

1923年(29)

1924年(26)

1925年(71)

1926年(55)

1927年(101)

1928年(142)

1929年(240)

1930年(266)

1931年(150)

1932年(123)

1933年(258)

1934年(206)

1935年(235)

1936年(309)

1937年(278)

1938年(299)

1939年(190)

1940年(163)

1941年(163)

1942年(97)

1943年(88)

1944年(103)

1945年(116)

1946年(278)

1947年(377)

1948年(340)

1949年(602)

1950年(877)

1951年(1240)

1952年(806)

1953年(1312)

1954年(1828)

1955年(2310)

1956年(3003)

1957年(2752)

1958年(4195)

1959年(3490)

1960年(1997)

1961年(675)

1962年(729)

1963年(941)

1964年(1038)

1965年(1098)

1966年(520)

1967年(109)

1968年(112)

1969年(137)

1970年(310)

1971年(361)

1972年(616)

1973年(718)

1974年(953)

1975年(1189)

1976年(1027)

1977年(1374)

1978年(1596)

1979年(1973)

1980年(2467)

1981年(2618)

1982年(2953)

1983年(2871)

1984年(3300)

1985年(3590)

1986年(3660)

1987年(4282)

1988年(4991)

1989年(5051)

1990年(4554)

1991年(5151)

1992年(4878)

1993年(4913)

1994年(4412)

1995年(4319)

1996年(4832)

1997年(5767)

1998年(6971)

1999年(7839)

2000年(8119)

2001年(9644)

2002年(10780)

2003年(12081)

2004年(15243)

2005年(15670)

2006年(17696)

2007年(16309)

2008年(18239)

2009年(21301)

2010年(21765)

2011年(22731)

2012年(24711)

2013年(26681)

2014年(25324)

2015年(25421)

2016年(23754)

2017年(21432)

2018年(17428)

2019年(5918)

2020年(368)

214年(1)

22年(1)

2222年(13000)

23年(1)

540年(1)

73.4年(1)

D5年(1)

F27/年(1)

None年(7)

O组年(1)

Syst年(1)

T36年(1)

TH-6年(1)

TH71年(1)

TN24年(1)

TP31年(3)

TP36年(1)

V215年(1)

V231年(5)

V25/年(1)

V271年(2)

XIII年(2)

[10]年(1)

ehow年(1)

null年(19)

Ⅳ年(1)

Ⅴ年(2)

Ⅷ年(1)

ⅩⅢ年(2)

ⅩⅤ年(1)

ⅩⅧ年(1)

Ⅻ年(1)

中华年(2)

主题年(3)

儿童年(1)

化学年(1)

北京年(1)

吉林年(1)

小説年(1)

政治年(1)

昭和年(4)

机构年(1)

民国年(107)

(瑞典年(1)

(美)SA年(1)

(美)史年(1)

(美)汤年(1)

(美)苏年(1)

返回顶部