Intelligent Geometry Tools

James Davenport, Jacques Fleuriot, Pedro Quaresma, Tomas Recio, Dongming Wang

Research output: Chapter in Book/Report/Conference proceedingConference contribution

18 Downloads (Pure)

Abstract

We propose building a community of "intelligent geometry" researchers, manifested by the creation of a living Intelligent Geometry Book, to introduce many more people to computer-supported reasoning.
Original languageEnglish
Title of host publicationProceedings ARCADE 2019
PublisherEasyChair Publications
Publication statusPublished - Aug 2019

Cite this

Davenport, J., Fleuriot, J., Quaresma, P., Recio, T., & Wang, D. (2019). Intelligent Geometry Tools. In Proceedings ARCADE 2019 EasyChair Publications.

Intelligent Geometry Tools. / Davenport, James; Fleuriot, Jacques; Quaresma, Pedro; Recio, Tomas; Wang, Dongming.

Proceedings ARCADE 2019. EasyChair Publications, 2019.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Davenport, J, Fleuriot, J, Quaresma, P, Recio, T & Wang, D 2019, Intelligent Geometry Tools. in Proceedings ARCADE 2019. EasyChair Publications.
Davenport J, Fleuriot J, Quaresma P, Recio T, Wang D. Intelligent Geometry Tools. In Proceedings ARCADE 2019. EasyChair Publications. 2019
Davenport, James ; Fleuriot, Jacques ; Quaresma, Pedro ; Recio, Tomas ; Wang, Dongming. / Intelligent Geometry Tools. Proceedings ARCADE 2019. EasyChair Publications, 2019.
@inproceedings{6ffdebdc191c498a88d0e43a6a959446,
title = "Intelligent Geometry Tools",
abstract = "We propose building a community of {"}intelligent geometry{"} researchers, manifested by the creation of a living Intelligent Geometry Book, to introduce many more people to computer-supported reasoning.",
author = "James Davenport and Jacques Fleuriot and Pedro Quaresma and Tomas Recio and Dongming Wang",
year = "2019",
month = "8",
language = "English",
booktitle = "Proceedings ARCADE 2019",
publisher = "EasyChair Publications",

}

TY - GEN

T1 - Intelligent Geometry Tools

AU - Davenport, James

AU - Fleuriot, Jacques

AU - Quaresma, Pedro

AU - Recio, Tomas

AU - Wang, Dongming

PY - 2019/8

Y1 - 2019/8

N2 - We propose building a community of "intelligent geometry" researchers, manifested by the creation of a living Intelligent Geometry Book, to introduce many more people to computer-supported reasoning.

AB - We propose building a community of "intelligent geometry" researchers, manifested by the creation of a living Intelligent Geometry Book, to introduce many more people to computer-supported reasoning.

M3 - Conference contribution

BT - Proceedings ARCADE 2019

PB - EasyChair Publications

ER -