Intelligent Geometry Tools

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

Research output: Chapter in Book/Report/Conference proceedingChapter in a published conference proceeding

1 Citation (SciVal)
60 Downloads (Pure)


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 (ARCADE)
PublisherEasyChair Publications
Number of pages2
Publication statusPublished - 26 Aug 2019

Publication series

NameElectronic Proceedings in Theoretical Computer Science


Dive into the research topics of 'Intelligent Geometry Tools'. Together they form a unique fingerprint.

Cite this