Art

J-GLOBAL ID：201902274838621278   Reference number：19A1136693

Implementing Euclid’s straightedge and compass constructions in type theory

型理論におけるEuclidのstraighteとコンパス構成の実装【JST・京大機械翻訳】

Author (3)： Kellison Ariel (Department of Computer Science, Cornell University, Ithaca, USA) ,  Bickford Mark (Department of Computer Science, Cornell University, Ithaca, USA) ,  Constable Robert (Department of Computer Science, Cornell University, Ithaca, USA)
Material： Annals of Mathematics and Artificial Intelligence
Volume： 85  Issue： 2-4  Page： 175-192  Publication year： 2019 
JST Material Number： W2049A  ISSN： 1012-2443  Document type： Article
Article type： 原著論文  Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Abstract/Point： Constructions are central to t...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=19A1136693&from=J-GLOBAL&jstjournalNo=W2049A") }}

Thesaurus term： universality ,  *geometry ,  linearity ,  proposition(logic)
Semi thesaurus term： Euclid幾何 , 【Automatic Indexing@JST】

Author keywords (3)： Constructive type theory ,  Constructive geometry ,  Foundations of geometry

JST classification (3)： Graphic and image processing in general  (JE04010I) ,  CAD,CAM  (JE10000A) ,  System and control theory in general  (IA02010H)

Terms in the title (3)： 型理論 ,  コンパス ,  実装