Formalizing the trading theorem in Coq
type: Item
instance of: scholarly article
title: Formalizing the trading theorem in Coq
zbMATH Open document ID: 1078.68137
author: Christophe Dehlinger
author: Jean-François Dufourd
published in: Theoretical Computer Science
publication date: 2004-10-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68U05
Mathematics Subject Classification ID: 52B55
zbMATH DE Number: 2105263
zbMATH Keywords: Coq
zbMATH Keywords: Calculus of Inductive Constructions
zbMATH Keywords: Geometry modelling
zbMATH Keywords: Generalized maps
zbMATH Keywords: Surfaces
zbMATH Keywords: Specification
describes a project that uses: Coq
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.05.002
OpenAlex ID: W1987816136
cites work: Q5593095
cites work: Q4246942
cites work: Some topological properties of surfaces in \(Z^3\)
cites work: Q3703866
cites work: Q4484338
cites work: Q4744984
cites work: Q3785521
cites work: Q3906789
cites work: Q5534009
cites work: Combinatorial Oriented Maps
DOI: 10.1016/J.TCS.2004.05.002
description: scientific article; zbMATH DE number 2105263