Development of Automatic Reasoning Tools in GeoGebra

Miguel Abánades; F. Botana; Zoltán Kovács; T. Recio; Csilla Sólyom-Gecse

doi:10.1145/3015306.3015309

Development of Automatic Reasoning Tools in GeoGebra

Miguel Abánades
, F. Botana
, Zoltán Kovács
, T. Recio
, Csilla Sólyom-Gecse

Department of STEM Education

Research output: Contribution to journal › Article › peer-review

Original language	English
Article number	3015309
Pages (from-to)	85-88
Number of pages	4
Journal	ACM Communications in Computer Algebra
Volume	50
Issue number	3
DOIs	https://doi.org/10.1145/3015306.3015309
Publication status	Published - 2016

Fields of science

503 Educational Sciences
503007 Didactics
503013 Subject didactics of natural sciences

JKU Focus areas

Computation in Informatics and Mathematics
Engineering and Natural Sciences (in general)

Access to Document

10.1145/3015306.3015309

Cite this

@article{d7383e95a7e64532afbfe8ceebbb8e4e,

title = "Development of Automatic Reasoning Tools in GeoGebra",

author = "Miguel Ab{\'a}nades and F. Botana and Zolt{\'a}n Kov{\'a}cs and T. Recio and Csilla S{\'o}lyom-Gecse",

year = "2016",

doi = "10.1145/3015306.3015309",

language = "English",

volume = "50",

pages = "85--88",

journal = "ACM Communications in Computer Algebra",

issn = "1932-2240",

publisher = "Association for Computing Machinery, New York, NY, USA",

number = "3",

}

TY - JOUR

T1 - Development of Automatic Reasoning Tools in GeoGebra

AU - Abánades, Miguel

AU - Botana, F.

AU - Kovács, Zoltán

AU - Recio, T.

AU - Sólyom-Gecse, Csilla

PY - 2016

Y1 - 2016

UR - https://www.scopus.com/pages/publications/84994904913

U2 - 10.1145/3015306.3015309

DO - 10.1145/3015306.3015309

M3 - Article

SN - 1932-2240

VL - 50

SP - 85

EP - 88

JO - ACM Communications in Computer Algebra

JF - ACM Communications in Computer Algebra

IS - 3

M1 - 3015309

ER -

Development of Automatic Reasoning Tools in GeoGebra

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this