PVSio
From MaRDI portal
Software:24356
No author found.
Related Items (3)
Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems ⋮ Code-carrying theories ⋮ Formally verified tableau-based reasoners for a description logic
This page was built for software: PVSio