Formalizing generalized maps in Coq
From MaRDI portal
Publication:1882905
DOI10.1016/j.tcs.2004.05.003zbMath1078.68136MaRDI QIDQ1882905
Christophe Dehlinger, Jean-François Dufourd
Publication date: 1 October 2004
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2004.05.003
Specification; Coq; Surfaces; Proof; Geometry modelling; Calculus of Inductive Constructions; Generalized maps
DB lookup for MSC labels failed
Related Items