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.

MR. LYDON'S book, which is meant for young pupils, has many good points and a few bad ones. Like many other very recent books on geometry, it ignores Euclid's order, method, and language. In this way ...

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 ...

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 ...

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