Metamath
Metamath是用來發展嚴格形式化數學定義及證明的一款語言[2],亦指用來驗證該語言的證明驗證器,以及存有邏輯、集合論、數論、群論、代數、數學分析、拓撲學、希爾伯特空間及量子邏輯[3]等領域中數萬條已證明定理且仍不斷在增加中的資料庫。
開發者 | Norman Megill |
---|---|
当前版本 |
|
源代码库 | |
编程语言 | ANSI C |
操作系统 | Linux, Windows, Mac OS |
类型 | 電腦補助證明驗證 |
许可协议 | GNU通用公共授權條款 (資料庫使用創用CC) |
网站 | http://metamath.org |
參考資料编辑
- ^ Release 0.198. 2021年8月8日 [2022年7月27日].
- ^ Megill, Norman. What is Metamath?. Metamath Home Page. [2015-04-19]. (原始内容存档于2020-11-24).
- ^ Megill, Norman. Most recent proofs. Metamath Proof Explorer. [2015-04-19]. (原始内容存档于2020-02-03).
外部連結编辑
🔥 Top keywords: Baike: 首页Special:搜索毛泽东家族榮耀之繼承者天之驕女鐵拳英雄九龍城寨之圍城黃循財背着善宰跑篠崎泫妮妃雅新生 (网络剧)劉偉健斯洛伐克习近平劉俊謙 (香港)李显龙歌手2024佛誕淚之女王2024年泰國羽球公開賽新加坡總理邊佑錫新加坡Energy (組合)庆余年九龍寨城六四事件家族榮耀金智媛彌助菲律宾胖猫跳江事件劉寶傑DAY6林峯張文傑李光耀神耆小子張鳳妮黃世聰Seventeen (組合)维基百科願榮光歸香港中華民國鬼滅之刃 柱訓練篇2024年英雄联盟季中邀请赛中华人民共和国TripleS金秀賢 (男演員)罗伯特·菲佐井柏然2024年世界女排联赛黃偉哲怪獸8號佘詩曼Foodpanda金惠奫新加坡总统香緹·摩爾于北辰 (1968年)王嘉爾笑看風雲排球少年!!角色列表林飛帆郭葦昀馴鹿寶貝翁靜晶猩球崛起:王國誕生ILLIT尼古拉·約基奇春色寄情人周殷廷鬼滅之刃排球少年!!吳釗燮逆天奇案2不夠善良的我們BABYMONSTER李正皓尚达曼BOYNEXTDOOR胡子彤IVE (組合)陳靜 (香港)香港吴作栋黃道十二宮凡希亚·奥伊亚胡宇威長洲太平清醮張員瑛搜查班長1958伍允龍习明泽黄岩岛賴清德偶然遇見的你虽然不是英雄