Intelligent Geometry Tools

James Davenport; Jacques Fleuriot; Pedro Quaresma; Tomás Recio; Dongming Wang

doi:10.4204/EPTCS.311

Intelligent Geometry Tools

James Davenport, Jacques Fleuriot, Pedro Quaresma, Tomás Recio, Dongming Wang

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

1 Citation (SciVal)

99 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 language	English
Title of host publication	Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE)
Publisher	EasyChair Publications
Pages	51-52
Number of pages	2
DOIs	https://doi.org/10.4204/EPTCS.311
Publication status	Published - 26 Aug 2019

Publication series

Name	Electronic Proceedings in Theoretical Computer Science
Volume	311

Access to Document

10.4204/EPTCS.311

paperARCADE_JDetalJHDAccepted author manuscript, 195 KBLicence: CC BY-NC-ND

Real Geometry and Connectedness via Triangular Description
Davenport, J. (PI), Bradford, R. (CoI), England, M. (CoI) & Wilson, D. (CoI)
Engineering and Physical Sciences Research Council
1/10/11 → 31/12/15
Project: Research council

Cite this

Davenport, J., Fleuriot, J., Quaresma, P., Recio, T., & Wang, D. (2019). Intelligent Geometry Tools. In Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE) (pp. 51-52). (Electronic Proceedings in Theoretical Computer Science; Vol. 311). EasyChair Publications. https://doi.org/10.4204/EPTCS.311

Intelligent Geometry Tools. / Davenport, James; Fleuriot, Jacques; Quaresma, Pedro et al.
Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE). EasyChair Publications, 2019. p. 51-52 (Electronic Proceedings in Theoretical Computer Science; Vol. 311).

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Davenport, J, Fleuriot, J, Quaresma, P, Recio, T & Wang, D 2019, Intelligent Geometry Tools. in Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE). Electronic Proceedings in Theoretical Computer Science, vol. 311, EasyChair Publications, pp. 51-52. https://doi.org/10.4204/EPTCS.311

@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 Tom{\'a}s Recio and Dongming Wang",

year = "2019",

month = aug,

day = "26",

doi = "10.4204/EPTCS.311",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science",

publisher = "EasyChair Publications",

pages = "51--52",

booktitle = "Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE)",

}

TY - GEN

T1 - Intelligent Geometry Tools

AU - Davenport, James

AU - Fleuriot, Jacques

AU - Quaresma, Pedro

AU - Recio, Tomás

AU - Wang, Dongming

PY - 2019/8/26

Y1 - 2019/8/26

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.

U2 - 10.4204/EPTCS.311

DO - 10.4204/EPTCS.311

M3 - Chapter in a published conference proceeding

T3 - Electronic Proceedings in Theoretical Computer Science

SP - 51

EP - 52

BT - Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE)

PB - EasyChair Publications

ER -

Intelligent Geometry Tools

Abstract

Publication series

Access to Document

Fingerprint

Projects

Real Geometry and Connectedness via Triangular Description

Cite this