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 条
  • [1] Formalization of geometry, automated and interactive geometric reasoning
    Zoltán Kovács
    Predrag Janičić
    Annals of Mathematics and Artificial Intelligence, 2023, 91 : 751 - 752
  • [2] Formalization of geometry, automated and interactive geometric reasoning Foreword
    Schreck, Pascal
    Ida, Tetsuo
    Kovacs, Laura
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2019, 85 (2-4) : 71 - 72
  • [3] ForewordFormalization of geometry, automated and interactive geometric reasoning
    Pascal Schreck
    Tetsuo Ida
    Laura Kovacs
    Annals of Mathematics and Artificial Intelligence, 2019, 85 : 71 - 72
  • [4] Semantic formalization of interactive reasoning functionality
    Treur, J
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2002, 17 (07) : 645 - 686
  • [5] Automated Geometric Reasoning with Geometric Algebra: Theory and Practice
    Li, Hongbo
    PROCEEDINGS OF THE 2017 ACM INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND ALGEBRAIC COMPUTATION (ISSAC'17), 2017, : 7 - 8
  • [6] Automated geometry reasoning network based on equivalent class reasoning
    Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610041, China
    不详
    Moshi Shibie yu Rengong Zhineng, 2006, 5 (617-622):
  • [7] Development of a Constrained Automated Geometry Reasoning System
    Chen, Mao
    He, Tengbaao
    Peng, Xicheng
    Liu, Sanya
    Ge, Qiang
    MATERIALS, INFORMATION, MECHANICAL, ELECTRONIC AND COMPUTER ENGINEERING (MIMECE 2016), 2016, : 126 - 131
  • [8] Are Reasoning Skills on Geometric Shapes Predictors of Geometry Performance?
    Ilhan, Aziz
    Aslaner, Recep
    CUKUROVA UNIVERSITY FACULTY OF EDUCATION JOURNAL, 2020, 49 (02): : 651 - 689
  • [9] Mechanical geometry theorem proving. Geometric reasoning
    1600, (07):
  • [10] Formalization of multiagent reasoning
    Kacprzak, M
    PAR ELEC 2002: INTERNATIONAL CONFERENCE ON PARALLEL COMPUTING IN ELECTRICAL ENGINEERING, 2002, : 82 - 86
12345