Internal versus external balancing in the evaluation of graph-based number types

Hanna Geppert, Martin Wilhelm

Number types for exact computation are usually based on directed acyclic graphs. A poor graph structure can impair the efficency of their evaluation. In such cases the performance…