Sign in

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry.

Pedro QuaresmaPierluigi GrazianiStefano M. Nicoletti
Published in: CoRR (2024)
Keyphrases
  • real world
  • three dimensional
  • information retrieval
  • website
  • clustering algorithm
  • data structure
  • digital libraries
  • expert systems
  • multiresolution
  • fully automated
  • evaluation methodology
  • selection strategies