1 search result for "tag:"keyword: rank""

Showing 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