1 search result for "author:"Nicolas Magaud <Nicolas.Magaud@lsiit-cnrs.unistra.fr>""

Showing 1 - 1
  1. coq-projective-geometry

    No documentation

    Projective Geometry
    keyword: geometry keyword: projective keyword: Fano keyword: homogeneous coordinates model keyword: flat keyword: rank keyword: Desargues keyword: Moulton category: Mathematics/Geometry/General date: 2009-10
    Nicolas Magaud <Nicolas.Magaud@lsiit-cnrs.unistra.fr> Julien Narboux <Julien.Narboux@lsiit-cnrs.unistra.fr> Pascal Schreck <Pascal.Schreck@lsiit-cnrs.unistra.fr>
    8.10.0
    GPL
    Used by 0 other packages
    07 Dec 2019