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

School of Artificial Intelligence(Institute of Artificial Intelligence)

University of Bath
University of Edinburgh
University of Coimbra
Universidad de Cantabria

Research output: Contribution to journal › Conference article › peer-review

1 Scopus citations

Original language	English
Pages (from-to)	51-52
Number of pages	2
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	311
DOIs	https://doi.org/10.4204/eptcs.311.8
State	Published - 31 Dec 2019
Event	2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE 2019 - Natal, Brazil Duration: 26 Aug 2019 → …

Access to Document

10.4204/eptcs.311.8

Cite this

@article{e0e01ed5d01149baafac0c02b67ca006,

title = "Intelligent geometry tools",

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 = "英语",

volume = "311",

pages = "51--52",

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

issn = "2075-2180",

publisher = "Open Publishing Association",

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

}

TY - JOUR

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

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

U2 - 10.4204/eptcs.311.8

DO - 10.4204/eptcs.311.8

M3 - 会议文章

AN - SCOPUS:85079433927

SN - 2075-2180

VL - 311

SP - 51

EP - 52

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

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

Y2 - 26 August 2019

ER -

Intelligent geometry tools

Access to Document

Other files and links

Cite this