Login / Signup

Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective.

Nicolas MagaudAgathe CholletLaurent Fuchs
Published in: Ann. Math. Artif. Intell. (2015)
Keyphrases
  • discrete geometry
  • feature selection