# Computer science/Algorithms/Approximation

## Subject Classification

ACM: Theory of computation~Approximation algorithms analysis

AMS: Computer science / Algorithms in computer science / Approximation algorithms

## 2024

## 2023

## 2022

## 2020

##### Verified Approximation Algorithms

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