Towards an automatic geometer.

*(Spanish)*Zbl 07274311The article, which is in Spanish language, describes the history of the authors’ work group in the last three decades and the systems they developed for automated reasoning in the field of geometry; it furthermore gives an overview of the general development of the field and how the authors’ systems relate to other systems. The systems conjecture, prove, refute and discover theorems and construct geometric objects. For example the authors’ system GDI rediscovered a theorem of MacLane. The article gives an overview by decades and explains the systems and the geometric operations which they performed and results they proved or discovered in detail, including screen shots of the corresponding computer programs. The article is for an audience of Spanish speaking people in Latin America and Spain. It appeared in a column on computational mathematics of a general-audience mathematical journal.

Reviewer: Frank Stephan (Singapore)