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 条
  • [21] A Method for Expanding Predicates and Rules in Automated Geometry Reasoning System
    Rao, Yongsheng
    Xie, Lanxing
    Guan, Hao
    Li, Jing
    Zhou, Qixin
    MATHEMATICS, 2022, 10 (07)
  • [22] Formalization, Arithmetization and Automatization of Geometry
    Narboux, Julien
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 398 : 1 - 1
  • [23] THE FORMALIZATION OF PRACTICAL REASONING: PROBLEMS AND PROSPECTS
    Thomason, Richmond H.
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2014, 1 (02): : 47 - 76
  • [24] Toward the logical formalization of approximate reasoning
    Fujito, ET
    Ohsato, A
    FUZZ-IEEE '96 - PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3, 1996, : 892 - 898
  • [25] Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools
    Kovacs, Zoltan
    INTELLIGENT COMPUTER MATHEMATICS (CICM 2018), 2018, 11006 : 164 - 177
  • [26] Exploring the Formalization of Pragmatic Implicature Reasoning
    Du, Shengbin
    Zheng, Zilong
    JOURNAL OF PRAGMATICS, 2023, 212 : 93 - 95
  • [27] Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry
    Kovacs, Zoltan
    Recio, Tomas
    Pilar Velez, M.
    INTERNATIONAL JOURNAL FOR TECHNOLOGY IN MATHEMATICS EDUCATION, 2018, 25 (02): : 33 - 50
  • [28] Parallel automated reasoning for geometry theorem proving based on MPI environment
    Pan, Bin
    Guo, Hong-Xia
    Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2008, 37 (06): : 908 - 912
  • [29] Prompting Teacher Geometric Reasoning through Coaching in a Dynamic Geometry Software Context
    Knapp, Andrea K.
    Barrett, Jeffrey E.
    Moore, Cynthia J.
    SCHOOL SCIENCE AND MATHEMATICS, 2016, 116 (06) : 326 - 337
  • [30] Geometric reasoning with geometric algebra
    Wang, DM
    GEOMETRIC ALGEBRA WITH APPLICATIONS IN SCIENCE AND ENGINEERING, 2001, : 91 - +
12345