F. Botana, Zoltan Kovács, T. Recio,
"Special issue on dynamic geometry and automated reasoning. Foreword"
, in Journal of Symbolic Computation, 1-2019, ISSN: 1095-855X
Original Titel:
Special issue on dynamic geometry and automated reasoning. Foreword