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.
|Title of host publication||Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE)|
|Number of pages||2|
|Publication status||Published - 26 Aug 2019|
|Name||Electronic Proceedings in Theoretical Computer Science|