Open Geometry Prover Community Project.

Nuno Baeta Pedro Quaresma

Published in: CoRR (2022)

Keyphrases

learning community
project management
current status
case study
three dimensional
personal experience
software development
data collection
data sets
theorem proving
software projects
open educational resources
subject matter experts
geometric structure
virtual communities
professional development
computer vision