… Technically speaking, we are considering now that H is not a subset of T , but that a
nonempty Zariski open subset W ⊆ H is contained in T . The important news is that we can still …

… For example, given a circle c with its center O and an external point P, the student’s task
is to construct a tangent line t from P to c. The teacher knows that the basic idea for the usual …

In 2020, Germany and Spain experienced lockdowns of their school systems. This resulted
in a new challenge for learners and teachers: lessons moved from the classroom to the …

… tool Discover and clicking at point T (equivalently, introducing Discover(T) in the command
line). The pop-up window lists different geometric theorems involving T in different colors, and …

… constant) can be considered as the proposed thesis T, one that is false for arbitrary positions
of P… true, so that H ∧ H/ ⇒ T. While automatic proving using computer algebra methods has …

… We define Tj=Sj/S t , St being the last non null polynomial in the sequence and prove that
the formulas in proposition 1 are also valid for polynomials Tj . A detailed study of the …

… As pointed out above, the final objective of the work described in Recio et al. (Citation2019)
was to study how to promote, with the help of ART, new and more effective ways of …

The COVID-19-induced distance education was perceived as highly challenging by teachers
and students. A cross-national comparison of five European countries identified several …

… To g~t the second equality we only need to decompose the principal minor with determinant
… on a parameter t, we can easily determine the conditions on t for the existence of a real root …

… For example, assume that the translation of the hypotheses H and the thesis T of a given
statement \(\{H\Rightarrow T\}\) is a collection of polynomial equations \(H=\{h_1=0,\ldots ,h_r=0\}…