Intelligent Geometry Tools

James Davenport, Jacques Fleuriot, Pedro Quaresma, Tomas Recio, Dongming Wang

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

31 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 ARCADE 2019
PublisherEasyChair Publications
Publication statusPublished - Aug 2019

Cite this

Davenport, J., Fleuriot, J., Quaresma, P., Recio, T., & Wang, D. (2019). Intelligent Geometry Tools. In Proceedings ARCADE 2019 EasyChair Publications.