2 search results for "tag:"keyword:GIS""

Showing 1 - 2
  1. coq-giskard

    No documentation

    Verified model of the Giskard consensus protocol in Coq
    category:Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems keyword:Giskard keyword:consensus keyword:blockchain logpath:Giskard date:2022-11-23
    Elaine Li Karl Palmskog Mircea Sebe
    1.1
    NCSA
    Used by 0 other packages
    21 Jun 2023
  2. rocq-spatial-algebra

    No documentation

    DE-9IM intersection-matrix algebra and integer orientation-determinant bounds (axiom-free)
    category:Computer Science/Data Types and Data Structures keyword:DE-9IM keyword:spatial relations keyword:GIS keyword:intersection matrix keyword:orientation determinant logpath:NTS.Proofs date:2026-08-24
    NetTopologySuite.Proofs contributors
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Aug 2026