Formalization of geometry, automated and interactive geometric reasoning

被引：0
|
作者：
Kovacs, Zoltan [1 ]
Janicic, Predrag [2 ]
机构：
[1] Private Univ Coll Educ Diocese Linz, Linz, Austria
[2] Univ Belgrade, Fac Math, Dept Comp Sci, Belgrade, Serbia
来源：
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE | 2023年 / 91卷 / 6期
关键词：
D O I：
10.1007/s10472-023-09909-3
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：751 / 752
页数：2
相关论文
共 50 条
  • [31] Formalization of Geometric Algebra in HOL Light
    Li, Li-Ming
    Shi, Zhi-Ping
    Guan, Yong
    Zhang, Qian-Ying
    Li, Yong-Dong
    JOURNAL OF AUTOMATED REASONING, 2019, 63 (03) : 787 - 808
  • [32] A formalization of geometric constraint systems and their decomposition
    Mathis, Pascal
    Thierry, Simon E. B.
    FORMAL ASPECTS OF COMPUTING, 2010, 22 (02) : 129 - 151
  • [33] Formalization of Geometric Algebra in HOL Light
    Li-Ming Li
    Zhi-Ping Shi
    Yong Guan
    Qian-Ying Zhang
    Yong-Dong Li
    Journal of Automated Reasoning, 2019, 63 : 787 - 808
  • [34] Formalization and Specification of Geometric Knowledge Objects
    Chen X.
    Wang D.
    Mathematics in Computer Science, 2013, 7 (4) : 439 - 454
  • [35] Formalization Techniques for Asymptotic Reasoning in Classical Analysis
    Affeldt, Reynald
    Cohen, Cyril
    Rouhling, Damien
    JOURNAL OF FORMALIZED REASONING, 2018, 11 (01): : 43 - 75
  • [36] Formalization of implication based fuzzy reasoning method
    Pei, Daowu
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2012, 53 (05) : 837 - 846
  • [37] On formalization and reasoning algorithm in distributed XBRL system
    Pan, Ding
    Zhang, Yingmin
    Wang, Dong
    Information Technology Journal, 2013, 12 (23) : 7739 - 7743
  • [38] Formalization, Automatization and Visualization of Hyperbolic Geometry
    Maric, Filip
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 398 : 2 - 2
  • [39] AUTOMATED REASONING IN DIFFERENTIAL GEOMETRY AND MECHANICS USING THE CHARACTERISTIC METHOD Ⅳ. Bertrand Curves
    CHOU Shangching
    GAO Xiaoshan Department of Computer Science
    SystemsScienceandMathematicalSciences, 1993, (02) : 186 - 192
  • [40] Formalization and Implementation of Algebraic Methods in Geometry
    Maric, Filip
    Petrovic, Ivan
    Petrovic, Danijela
    Janicic, Predrag
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (79): : 63 - 81
12345