precision arithmetic to guarantee the correctness of the implementation.
When naively used, arbitrary precision arithmetic induces quite an
overhead. This can be reduced by the use of filtering techniques.
We present and compare the well-known predicate filtering with some kind of
``structural'' filtering.
Joint work with Kurt Mehlhorn.