Multithreading for the expression-dag-based number type Real_algebraic

Martin Wilhelm

Many algorithms, especially in the field of computational geometry, are based on the premise that arithmetic operations are performed exactly. Real machines are based on inexact fl…