證明完畢

证明完毕／证讫／證畢，又写作Q.E.D.或QED。這是拉丁片語「」（這就是所要证明的）的縮寫，譯自希臘語「」。很多早期數學家用過，包括歐幾里得和阿基米德。「Q.E.D.」可以在證明的尾段寫出，以顯示證明所需的結論已經完整了。

哲球棋

哲球棋（Phutball），原文是Philosopher's football的縮寫，意思是哲學家的足球，第一次於康威、埃爾溫·伯利坎普和蓋伊的《Winning Ways for your Mathematical Plays》(ISBN 1568811306)裏出類的雙人棋類

皮亞特·海恩 (數學家)

皮亞特·海恩，生於丹麥哥本哈根，是科學家、數學家、發明家、詩人和作家，筆名“Kumbel”（意即“墓碑

TacTix

TacTix是雙人的策略遊戲，由皮亞特·海恩發明。其實它是拈的二維版本，將棋子改為排成矩形。如果棋子數目是雙數的，後走者必勝，只要他以對稱的方式跟隨先走者的取法即可；如果棋子數目是單數的

數學遊戲

數學遊戲即包含了數學中的遊戲和使用數學玩的遊戲

米洛斯拉夫·赫魯伯

米洛斯拉夫·赫魯伯，又譯侯祿布、霍魯布 （1923年9月13日—1998年7月14日）是捷克詩人、免疫學家

華勒斯-波埃伊-格維也納定理

華勒斯·波埃伊·格維也納定理 指 兩個簡單多邊形面積相等，那么其中一個能分割成有限多塊多邊形，經過平移和旋轉，拼合成第二個多邊形

拉茨科维奇·米克洛什

拉茨科维奇·米克洛什，匈牙利數學家，生於布達佩斯

蟲食算

蟲食算，又稱蟲蛀算式，是在一條數式裏，有大量的“洞”，要求玩者填上數字的一種趣題。這些洞像蟲咬掉的，故名。若將這些洞視為不同的英文字母，蟲食算可視為覆面算的一種，不同之處是這裏的字母代表的數字可以重複

指令式編程

指令式編程（英語：）；是一種描述電腦所需作出的行為的编程范型。幾乎所有電腦的硬體都是指令式工作；幾乎所有電腦的硬體都是能執行机器语言，而機器碼是使用指令式的風格來寫的。較高階的指令式编程语言使用變數和更複雜的語句

民族爱国阵线“记忆”

民族爱国阵线“记忆”（俄語：）是俄罗斯极右翼反犹、反锡安主义、君主主义组织，该组织于1980年建立，1990年代末期式微，德米特里·瓦西里耶夫死后分裂为其他组织