Login / Signup

Pappus's Hexagon Theorem in Real Projective PlaneThis work has been supported by the "Centre autonome de formation et de recherche en mathématiques et sciences avec assistants de preuve" ASBL (non-profit organization). Enterprise number: 0777.779.751. Belgium.

Roland Coghetto
Published in: Formaliz. Math. (2021)
Keyphrases
  • information systems
  • computer vision
  • web services
  • real life
  • small number
  • maximum number
  • image sequences
  • computer science