A Matroid-based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry
Domaines
Intelligence artificielle [cs.AI]
Origine : Fichiers produits par l'(les) auteur(s)