图论中，布鲁克定理（英語：Brooks' theorem） 描述了图的着色数与图中最大度数的关系，提供了图着色数的一个上界。定理斷言，若连通图G中，每個頂點都不多於Δ個鄰居，且G不是完全图或奇环，则G可以被Δ-着色，即G可以被染成Δ种颜色，使得相邻点颜色互不相同。 考慮為 G {\displaystyle...

在理論計算機科學中，CAP定理（CAP theorem），又被稱作布魯爾定理（Brewer's theorem），它指出對於一個分布式计算系統來說，不可能同時滿足以下三點： 一致性（Consistency） （等同于所有节点访问同一份最新的数据副本） 可用性（Availability）（每次请求都...

克劳修斯定理（英語：Clausius theorem）也稱為克勞修斯不等式（英語：Clausius Inequality），全稱克勞修斯積分不等式。是德國科學家魯道夫·克勞修斯在1855年提出的熱力學不等式，描述在熱力學循環中，系統熱的變化及溫度之間的關係： ∮ δ Q T ≤ 0 , {\displaystyle...

谷山－志村定理（英語：Taniyama-Shimura theorem）建立椭圆曲线（代数几何的对象）和模形式（数论中用到的某种周期性全纯函数）之间的重要联系。 定理的证明由英國數學家安德鲁·怀尔斯（Andrew John Wiles）、理查·泰勒（Richard Taylor）、法國數學家克里斯多福·布勒伊（英语：Christophe...

伯特兰-切比雪夫定理 贝亚蒂定理 贝叶斯定理 博特周期性定理 闭图像定理 伯恩斯坦定理 不动点定理 布列安桑定理 布朗定理 贝祖定理 博苏克-乌拉姆定理 巴拿赫不动点定理 布尔素理想定理 贝尔纲定理 布劳威尔不动点定理 本迪克森-杜拉克定理 本原元定理 垂径定理 陈氏定理 采样定理 迪尼定理 等周定理 代数基本定理...

埃尔温·布鲁诺·克里斯托费尔（Elwin Bruno Christoffel，1829年11月10日—1900年3月15日），19世紀德國數學家。 克里斯托费尔生於孟紹(位于德国西部)，中學時在科隆就讀文理中學，後进入柏林大学，受教於狄利克雷等教授。1856年以題為《電在均勻物體中的運動》(Bewegung...

古爾丁定理（英語：Guldinus theorem），最初由古希臘的帕普斯發現，後來在16世紀保羅·古爾丁（英语：Paul Guldin）又重新發現了這個定理。 有一條平面曲線，跟它的同一個平面上有一條軸。由該平面曲線以該條軸與旋轉而產生的旋轉曲面的表面積 A {\displaystyle A} ，等於曲線的長度...

在二维代数几何中这样一个公式由意大利几何学派找到；代数曲面的黎曼-罗赫定理证明了（有各种版本，最早可能属于马克斯·诺特。这样的问题大约在1950年前解决了。 n-维推广，希策布鲁赫–黎曼–罗赫定理，由弗里德里希·希策布鲁赫找到并证明，利用了代数拓扑学中的示性类；他深受小平邦彦的工作影响。大约在...

0)。大衛·康倫（英语：David Conlon），雅各布·福克斯（英语：Jacob Fox）和趙宇飛 (Yufei Zhao)其後亦給出了適用於更一般情況的相對性塞邁雷迪定理。 埃尔德什等差数列猜想（斷言倒數和發散的集合，必有任意長的等差數列）可以推出塞邁雷迪定理和格林-陶定理。 與等差數列有關的問題（英语：Problems...

安德魯·約翰·懷爾斯爵士，KBE，FRS（英語：Sir Andrew John Wiles，英語發音：/ˈændɹuː ʤɒn waɪlz/，1953年4月11日—），英國數學家，现任牛津大学皇家学会研究教授。他专攻数论，因證明費馬最後定理而闻名于世，也因此獲得了2016年阿貝爾獎和1995年与19...

布魯姆加速定理斷言，任何複雜度衡量下，都存在某個没有最優算法的可計算函數，亦即，任何該函數的程式實現都會比另一個實現複雜。此結論同時說明，無法同時定義全部可計算函數的複雜度（函數的複雜度是其最優程式的複雜度）。當然，不排除能找到特定函數的最優程式，並計算其複雜度。 給定布盧姆複雜度衡量...