文献

J-GLOBAL ID：202002240570845791   整理番号：20A1495485

Isabelle/HOLにおける代数的閉場【JST・京大機械翻訳】

Algebraically Closed Fields in Isabelle/HOL

著者 (2件)： de Vilhena Paulo Emilio (Inria, Paris, France) ,  Paulson Lawrence C. (Computer Laboratory, University of Cambridge, Cambridge, UK)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12167  ページ： 204-220  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： あらゆる場が代数的に閉じた拡張を許容する基本的定理状態である。その中心の重要性にもかかわらず,この定理は,証明支援で公式化されていなかった。このギャップを,Isabelle/HOLの形式化を文書化し,この開発と解決を妨げる困難を記述する。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *改変
準シソーラス用語： 文書化 , 【Automatic Indexing@JST】

分類 (1件)： 計算理論  (JB02000A)