数学/Proof Checker
出典: フリー教科書『ウィキブックス(Wikibooks)』
<
数学
ナビゲーションに移動
検索に移動
数学の証明正誤判断器(proof checker)にはバッチ型と対話型がある。
型
言語
種類
バッチ型
構造化された証明記述言語
Automath, CAP,
Mizar
, PX, ...
対話型
スクリプト言語
Boomborg-PC, Coq, EKL, ELF, EUODHILOS-II, FOL, HOL, IMPS, Isabelle, LCF, Lego, Nuprl, NQTHM, PVS, ...
カテゴリ
:
数学
案内メニュー
個人用ツール
ログインしていません
このIPとの会話
投稿記録
アカウント作成
ログイン
名前空間
本文
議論
変種
表示
閲覧
編集
履歴表示
その他
検索
ナビゲーション
メインページ
コミュニティ・ポータル
談話室
最近の更新
おまかせ表示
アップロード(ウィキメディア・コモンズ)
ヘルプ
ヘルプ
寄付
ツールボックス
リンク元
関連ページの更新状況
特別ページ
この版への固定リンク
ページ情報
このページを引用
印刷/書き出し
ブックの新規作成
PDF 形式でダウンロード
印刷用バージョン
他言語版
リンクを追加