Geometry is a discipline in pure maths. Geometry and AI have two connections: "-->": geometry is used to invent machine learning algorithms, such as graph neural networks. "<--": machine learning is ...

When we face constrained dynamical systems—whether incompressible fluids, restricted mechanical systems, or gauge field theories—traditional methods always treat constraints as "external restrictions.

Educational Studies in Mathematics, Vol. 94, No. 1 (January 2017), pp. 37-54 (18 pages) This paper reports the results of an international comparative study on the nature of proof to be taught in ...

This paper presents a semi-automated methodology for generating geometric proof problems of the kind found in a high-school curriculum. We formalize the notion of a geometry proof problem and describe ...

Abstract: As an indispensable technology of intelligent education, intelligent tutorial algorithms for solving mathematical or physical problems have attracted much attention in recent years.

In this study, we explored the structural relationship between the students' perceived use of cognitive and metacognitive reading strategies (CMRS) and their reading comprehension of geometry proof ...