Philipp Weiss

**Do you know LEDA? ** ... Pdf that describes LEDA and more precisely ... It's a tool which knows many mathematical types and which has no rounding errors due to a different implementation of the floating point numbers (they can represent all reals ) at the cost of slightly more memory. However the distinct datatypes it uses for the mathematical calculations for various different areas in mathematics are implemented in a more efficient way than elsewhere. Sadly the person who made it, made it proprietary...