LEDA real Extended

Extended Prototype of LEDA real for Sign Determination

This is an extended version of the LEDA real number type developed by Christoph Burnikel, Rudolf Fleischer, Stefan Funke, Kurt Mehlhorn, Stefan Schirra, and Susanne Schmitt at MPI für Informatik, Saarbrücken. For more information see the technical report ECG-TR-363110-01 or the documentation.

• Download: new -- fifth release!

• How to use EXT in EXACUS

• Experiments with the EXT real number type

• Contact Susanne Schmitt if there are any problems.