Sturm_Sequences Dependents

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