2 search results for "tag:"logpath:NTS.Proofs""

Showing 1 - 2
  1. rocq-robust-geometric-predicates

    No documentation

    Machine-checked robust binary64 geometric predicates, sound vs. exact arithmetic
    category:Computer Science/Data Types and Data Structures category:Mathematics/Real Calculus and Topology keyword:robust predicates keyword:geometric keyword:geometric predicates keyword:computational geometry keyword:orientation keyword:floating point keyword:Flocq logpath:NTS.Proofs date:2026-08-24
    NetTopologySuite.Proofs contributors
    0.1.0
    BSD-3-Clause
    Used by 0 other packages
    27 Aug 2026
  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