bn:02208755n
Noun Concept
Categories: アーギュメント・テクノロジー, 数値解析, 計算機科学, 応用数学, アルゴリズム
JA
計算機援用証明
JA
計算機援用証明とは、コンピュータによって少なくとも一部が生成された数学的証明である。 Wikipedia
Definitions
Relations
Sources
JA
計算機援用証明とは、コンピュータによって少なくとも一部が生成された数学的証明である。 Wikipedia
コンピュータによって少なくとも一部が生成された数学的証明 Wikidata
Wikipedia
Wikidata