Formalizing generalized maps in Coq (Q1882905): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: Q4246942 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some topological properties of surfaces in \(Z^3\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3703866 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4071773 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4744984 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3785521 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3906789 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5615284 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Axioms and hulls / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4790670 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The axioms of constructive geometry / rank
 
Normal rank

Revision as of 11:07, 7 June 2024

scientific article
Language Label Description Also known as
English
Formalizing generalized maps in Coq
scientific article

    Statements

    Formalizing generalized maps in Coq (English)
    0 references
    1 October 2004
    0 references
    Coq
    0 references
    Calculus of Inductive Constructions
    0 references
    Geometry modelling
    0 references
    Generalized maps
    0 references
    Surfaces
    0 references
    Specification
    0 references
    Proof
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers