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 条

[41] Reinventing Geometric Linear Transformations in a Dynamic Geometry Environment: Multimodal Analysis of Student Reasoning
Turgut, Melih
INTERNATIONAL JOURNAL OF SCIENCE AND MATHEMATICS EDUCATION, 2022, 20 (06) : 1203 - 1223
[42] THE EFFECT OF ORIGAMI-BASED INSTRUCTION ON SPATIAL VISUALIZATION, GEOMETRY ACHIEVEMENT, AND GEOMETRIC REASONING
Arici, Sevil
Aslan-Tutak, Fatma
INTERNATIONAL JOURNAL OF SCIENCE AND MATHEMATICS EDUCATION, 2015, 13 (01) : 179 - 200
[43] Reinventing Geometric Linear Transformations in a Dynamic Geometry Environment: Multimodal Analysis of Student Reasoning
Melih Turgut
International Journal of Science and Mathematics Education, 2022, 20 : 1203 - 1223
[44] THE EFFECT OF ORIGAMI-BASED INSTRUCTION ON SPATIAL VISUALIZATION, GEOMETRY ACHIEVEMENT, AND GEOMETRIC REASONING
Sevil Arıcı
Fatma Aslan-Tutak
International Journal of Science and Mathematics Education, 2015, 13 : 179 - 200
[45] Formalization and automated testing for cursive fonts
Rezaei, S
SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 681 - 685
[46] FORMALIZATION AND AUTOMATED SYNTHESIS OF MICROPROGRAMS.
Mueller, Robert A.
MICRO: Annual Microprogramming Workshop, 1980, : 45 - 45
[47] A geometric reasoning approach for additive manufacturing print quality assessment and automated model correction
Jaiswal, Prakhar
Rai, Rahul
COMPUTER-AIDED DESIGN, 2019, 109 : 1 - 11
[48] Automated reasoning
Gavanelli, Marco
Mancini, Toni
INTELLIGENZA ARTIFICIALE, 2013, 7 (02) : 113 - 124
[49] Automated 3D Geometric Reasoning in Computer Assisted Joint Reconstructive Surgery
Subburaj, K.
Ravi, B.
Agarwal, M. G.
2009 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, 2009, : 367 - +
[50] AUTOMATED REASONING
WOS, L
AMERICAN MATHEMATICAL MONTHLY, 1985, 92 (02): : 85 - 92

← 1 2 3 4 5 →