Hacker News new | ask | show | jobs
by BrunoLevy01 1220 days ago
Geogram uses arithmetic expansions and filtered predicates, as explained in the following publication: https://hal.inria.fr/hal-01225202