Intelligent geometry tools

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

Research output: Chapter in Book/Report/Conference proceedingChapter (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 languageEnglish
Title of host publicationProceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
EditorsMartin Suda, Sarah Winkler
PublisherOpen Publishing Association
Pages51-52
Number of pages2
DOIs
Publication statusPublished - 31 Dec 2019
Event2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements - Natal, Brazil
Duration: 26 Aug 201926 Aug 2019
http://arcade2019.net/

Publication series

NameElectronic Proceedings in Theoretical Computer Science, EPTCS
PublisherOpen Publishing Association
Volume311
ISSN (Electronic)2075-2180

Workshop

Workshop2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Abbreviated titleARCADE 2019
CountryBrazil
CityNatal
Period26/08/1926/08/19
Internet address

Fingerprint

Dive into the research topics of 'Intelligent geometry tools'. Together they form a unique fingerprint.

Cite this