Summary
- use interval-arithmetic for complex-root-algorithm
- added interval arithmetic
The file was modified | thys/Algebraic_Numbers/Complex_Algebraic_Numbers.thy (diff) |
The file was modified | thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff) |
The file was modified | thys/Algebraic_Numbers/Sturm_Rat.thy (diff) |
The file was modified | thys/Algebraic_Numbers/document/root.tex (diff) |
The file was added | thys/Algebraic_Numbers/Interval_Arithmetic.thy |