Towards an Automated Geometer

Zoltán Kovács; F. Botana; T. Recio

doi:10.1007/978-3-319-99957-9_15

Towards an Automated Geometer

Zoltán Kovács, F. Botana, T. Recio

Department of STEM Education

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings

Original language	English
Title of host publication	Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Proceedings
Editors	Dongming Wang, Jacques Fleuriot, Jacques Calmet
Pages	215-220
Number of pages	6
DOIs	https://doi.org/10.1007/978-3-319-99957-9_15
Publication status	Published - 2018

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	11110 LNAI
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Fields of science

503 Educational Sciences
503007 Didactics
503008 E-learning
503013 Subject didactics of natural sciences
503015 Subject didactics of technical sciences
503032 Teaching and learning research

JKU Focus areas

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

Access to Document

10.1007/978-3-319-99957-9_15

Cite this

Kovács, Z., Botana, F., & Recio, T. (2018). Towards an Automated Geometer. In D. Wang, J. Fleuriot, & J. Calmet (Eds.), Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Proceedings (pp. 215-220). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11110 LNAI). https://doi.org/10.1007/978-3-319-99957-9_15

Kovács, Zoltán ; Botana, F. ; Recio, T. / Towards an Automated Geometer. Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Proceedings. editor / Dongming Wang ; Jacques Fleuriot ; Jacques Calmet. 2018. pp. 215-220 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{0a5bb70d250f473d9fd46cbe61881611,

title = "Towards an Automated Geometer",

author = "Zolt{\'a}n Kov{\'a}cs and F. Botana and T. Recio",

year = "2018",

doi = "10.1007/978-3-319-99957-9\_15",

language = "English",

isbn = "9783319999562",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "215--220",

editor = "Dongming Wang and Jacques Fleuriot and Jacques Calmet",

booktitle = "Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Proceedings",

}

Kovács, Z, Botana, F & Recio, T 2018, Towards an Automated Geometer. in D Wang, J Fleuriot & J Calmet (eds), Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11110 LNAI, pp. 215-220. https://doi.org/10.1007/978-3-319-99957-9_15

Towards an Automated Geometer. / Kovács, Zoltán; Botana, F.; Recio, T.
Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Proceedings. ed. / Dongming Wang; Jacques Fleuriot; Jacques Calmet. 2018. p. 215-220 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11110 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings

TY - GEN

T1 - Towards an Automated Geometer

AU - Kovács, Zoltán

AU - Botana, F.

AU - Recio, T.

PY - 2018

Y1 - 2018

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

U2 - 10.1007/978-3-319-99957-9_15

DO - 10.1007/978-3-319-99957-9_15

M3 - Conference proceedings

SN - 9783319999562

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 215

EP - 220

BT - Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Proceedings

A2 - Wang, Dongming

A2 - Fleuriot, Jacques

A2 - Calmet, Jacques

ER -

Kovács Z, Botana F, Recio T. Towards an Automated Geometer. In Wang D, Fleuriot J, Calmet J, editors, Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Proceedings. 2018. p. 215-220. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-99957-9_15

Towards an Automated Geometer

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this