Abstract: Geometric algorithms rely on predicates, among them, the 2D and 3D orientation and incircle tests are important ones. Shewchuk's adaptive floating-point predicate is a well-known C ...
Abstract: We introduce a unifying framework for proving that predicate P is hard-core for a one-way function f, and apply it to a broad family of functions and predicates, reproving old results in an ...
Archived as of Sep 4th, 2025: A new implementation with a more recent version of DuckDB can be found in this repo. We integrate Robust Predicate Transfer into DuckDB, when you finish installing DuckDB ...