Sturm's Theorem

MaRDI QIDQ7361263FDO

Authors Manuel Eberl

Publication date 11 January 2014

Cited in

(5)

• A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles
• Perron-Frobenius Theorem for Spectral Radius Analysis
• Compressed Oracles
• Algebraic Numbers in Isabelle/HOL
• Real-Valued Special Functions: Upper and Lower Bounds

This page was built for software: Sturm's Theorem