This paper discusses and evaluates ideas of data balancing and data augmentation in the
context of mathematical objects: an important topic for both the symbolic computation and …

We report on successfully porting the Tarski system for computing with Tarski formulas
(Boolean combinations of polynomial sign conditions over the real numbers) to Javascript …

Our goal is to discuss the different issues that arise when attempting to visualize a joints-and-
bars cube through GeoGebra, a widespread program that combines dynamic geometry …

We use a quite simple, yet challenging, elementary geometry statement, the so-called" never
proved"(by a mathematician) theorem, introduced by Prof. Jiawei Hong in his …

This paper explores the application of automated reasoning tools, specifically those
implemented in GeoGebra Discovery, to the perimeter-area inequality in triangles. Focusing …

Computational algebraic geometry has already shown its great potential as the underlying
tool for implementing automated reasoning algorithms in elementary geometry, in a complex …

We introduce, first, the current performance of the programs GeoGebra and GeoGebra
Discovery regarding diverse automatic reasoning tools features, that rely on computational …

With the continuing, rapid progress of digital methods in communications, knowledge
representation, processing, and discovery, the special character and needs of mathematical …

Аннотация Постановка проблемы. В учебной геометрической деятельности
исследуется проблема формирования интегрального модельного представления …

Description. GeoGebra is a dynamic mathematics software tool for all levels of education,
that brings together geometry, algebra, spreadsheets, graphing, statistics and calculus …