menu

Home
Topics
Download
Help
Statistics
About

Contribution

Simon Robillard

https://simon-robillard.net/

This is an unofficial reimagining of the Archive of Formal Proofs

2020

Verified Approximation Algorithms
by Robin Eßmann, Tobias Nipkow, Simon Robillard and Ujkan Sulejmani

16 Jan