1 search result for "tag:"keyword:computational geometry""

Showing 1 - 1
  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