next up previous
Next: Numerical Sign Test Based Up: Boolean Operations on Polygons Previous: The LEDA Number Class

Algebraic Numbers and Sign Test for Algebraic Expressions, Nov 27

introduce algebraic numbers and discuss the separation bound approach to sign test for algebraic numbers;  [BFMS00,BFM$^+$01], give two proofs a simple inductive proof which only works for square roots and the general proof.

Handout: Separation Bounds

Kurt Mehlhorn