Progress on Certifying Algorithms.

Kurt Mehlhorn, Pascal Schweitzer

Browse the full FAW paper archive.