Metamath
跳至導覽
跳至搜尋
頁面Module:Infobox/styles.css沒有內容。
| File:Metamath logo.png | |
| 腳本錯誤：沒有「InfoboxImageVariant」這個模塊。 | |
| 開發者 | Norman Megill |
|---|---|
| 當前版本 | Template:Software version |
| 編程語言 | ANSI C |
| 操作系統 | Linux, Windows, Mac OS |
| 類型 | 電腦補助證明驗證 |
| 許可協議 | GNU通用公共授權條款 (資料庫使用創用CC) |
| 網站 | http://metamath.org |
| 腳本錯誤：沒有「Template wrapper」這個模塊。 | |
Metamath是用來發展嚴格形式化數學定義及證明的一款語言[1]，亦指用來驗證該語言的證明驗證器，以及存有邏輯、集合論、數論、群論、代數、數學分析、拓撲學、希爾伯特空間及量子邏輯[2]等領域中數萬條已證明定理且仍不斷在增加中的資料庫。