Intelligent geometry tools

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

doi:10.4204/eptcs.311.8

Intelligent geometry tools

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

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

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
Editors	Martin Suda, Sarah Winkler
Publisher	Open Publishing Association
Pages	51-52
Number of pages	2
DOIs	https://doi.org/10.4204/eptcs.311.8
Publication status	Published - 31 Dec 2019
Event	2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements - Natal, Brazil Duration: 26 Aug 2019 → 26 Aug 2019 http://arcade2019.net/

Publication series

Name	Electronic Proceedings in Theoretical Computer Science, EPTCS
Publisher	Open Publishing Association
Volume	311
ISSN (Electronic)	2075-2180

Workshop

Workshop	2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Abbreviated title	ARCADE 2019
Country/Territory	Brazil
City	Natal
Period	26/08/19 → 26/08/19
Internet address	http://arcade2019.net/

Access to Document

10.4204/eptcs.311.8Licence: All Rights Reserved

https://arxiv.org/html/1912.11786v1/#EPTCS311.8Licence: All Rights Reserved

Cite this

Davenport, J., Fleuriot, J., Quaresma, P., Recio, T., & Wang, D. (2019). Intelligent geometry tools. In M. Suda, & S. Winkler (Eds.), Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (pp. 51-52). (Electronic Proceedings in Theoretical Computer Science, EPTCS; Vol. 311). Open Publishing Association. https://doi.org/10.4204/eptcs.311.8

Davenport, James ; Fleuriot, Jacques ; Quaresma, Pedro et al. / Intelligent geometry tools. Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements . editor / Martin Suda ; Sarah Winkler. Open Publishing Association, 2019. pp. 51-52 (Electronic Proceedings in Theoretical Computer Science, EPTCS).

@inbook{110d727a30d74df99accf89320b0cf9e,

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 = dec,

day = "31",

doi = "10.4204/eptcs.311.8",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

publisher = "Open Publishing Association",

pages = "51--52",

editor = "Martin Suda and Sarah Winkler",

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

address = "Australia",

note = "2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE 2019 ; Conference date: 26-08-2019 Through 26-08-2019",

url = "http://arcade2019.net/",

}

Davenport, J, Fleuriot, J, Quaresma, P, Recio, T & Wang, D 2019, Intelligent geometry tools. in M Suda & S Winkler (eds), Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements . Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 311, Open Publishing Association, pp. 51-52, 2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Natal, Brazil, 26/08/19. https://doi.org/10.4204/eptcs.311.8

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 . ed. / Martin Suda; Sarah Winkler. Open Publishing Association, 2019. p. 51-52 (Electronic Proceedings in Theoretical Computer Science, EPTCS; Vol. 311).

Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

TY - CHAP

T1 - Intelligent geometry tools

AU - Davenport, James

AU - Fleuriot, Jacques

AU - Quaresma, Pedro

AU - Recio, Tomás

AU - Wang, Dongming

PY - 2019/12/31

Y1 - 2019/12/31

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.

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

U2 - 10.4204/eptcs.311.8

DO - 10.4204/eptcs.311.8

M3 - Chapter (peer-reviewed)

AN - SCOPUS:85079433927

T3 - Electronic Proceedings in Theoretical Computer Science, EPTCS

SP - 51

EP - 52

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

A2 - Suda, Martin

A2 - Winkler, Sarah

PB - Open Publishing Association

T2 - 2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements

Y2 - 26 August 2019 through 26 August 2019

ER -

Davenport J, Fleuriot J, Quaresma P, Recio T, Wang D. Intelligent geometry tools. In Suda M, Winkler S, editors, Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements . Open Publishing Association. 2019. p. 51-52. (Electronic Proceedings in Theoretical Computer Science, EPTCS). doi: 10.4204/eptcs.311.8

Intelligent geometry tools

Abstract

Publication series

Workshop

Access to Document

Other files and links

Fingerprint

Cite this