Formally certified floating-point filters for homogeneous geometric predicates (Q5444102)

From MaRDI portal
scientific article; zbMATH DE number 5238554
Language Label Description Also known as
English
Formally certified floating-point filters for homogeneous geometric predicates
scientific article; zbMATH DE number 5238554

    Statements

    Identifiers