1 search result for "author:"Jean-François Dufourd <dufourd@lsiit.u-strasbg.fr> [http://dpt-info.u-strasbg.fr/~jfd/]""

Showing 1 - 1
  1. coq-jordan-curve-theorem

    No documentation

    Hypermaps, planarity and discrete Jordan curve theorem
    keyword: combinatorial hypermaps keyword: genus keyword: planarity keyword: Euler formula keyword: Discrete Jordan Curve Theorem category: Mathematics/Geometry/General date: 2008
    Jean-François Dufourd <dufourd@lsiit.u-strasbg.fr> [http://dpt-info.u-strasbg.fr/~jfd/]
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019