1 search result for "author:"Jean-François Dufourd <dufourd@dpt-info.u-strasbg.fr>""

Showing 1 - 1
  1. coq-euler-formula

    No documentation

    Hypermaps, Genus Theorem and Euler Formula
    keyword: polyhedron keyword: hypermap keyword: genus keyword: Euler formula keyword: assisted proofs category: Mathematics/Geometry date: 2006-09
    Jean-François Dufourd <dufourd@dpt-info.u-strasbg.fr> [http://dpt-info.u-strasbg.fr/~jfd/]
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019