


default search action
Journal of Symbolic Computation, Volume 97
Volume 97, March 2020
- Francisco Botana, Zoltán Kovács

, Tomás Recio
:
Special issue on dynamic geometry and automated reasoning. 1-2 - Milica Selakovic, Vesna Marinkovic

, Predrag Janicic
:
New dynamics in dynamic geometry: Dragging constructed points. 3-15 - Zoltán Kovács

, Tomás Recio
, M. Pilar Vélez
:
Reasoning about linkages with dynamic geometry. 16-30 - Pedro Quaresma

, Vanda Santos
, Pierluigi Graziani
, Nuno Baeta
:
Taxonomies of geometric problems. 31-55 - Thierry N. Dana-Picard

:
An automated study of isoptic curves of an astroid. 56-68 - Michael Strobel:

Non-standard analysis in dynamic geometry. 69-108

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














