Intelligent Geometry Tools

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

45 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 languageEnglish
Title of host publicationProceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE)
PublisherEasyChair Publications
Pages51-52
Number of pages2
DOIs
Publication statusPublished - 26 Aug 2019

Publication series

NameElectronic Proceedings in Theoretical Computer Science
Volume311

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

Cite this