## 2020

##### A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles

by Albert Rizaldi and Fabian Immler
Jun 01

## 2016

##### Perron-Frobenius Theorem for Spectral Radius Analysis

by Jose Divasón, Ondřej Kunčar, René Thiemann and Akihisa Yamada
May 20

## 2015

##### Algebraic Numbers in Isabelle/HOL

by René Thiemann, Akihisa Yamada and Sebastiaan J. C. Joosten
Dec 22

## 2014

##### Real-Valued Special Functions: Upper and Lower Bounds

by Lawrence C. Paulson
Aug 29