PVSio

swMATH12428MaRDI QIDQ24356FDOQ24356

Author name not available (Why is that?)

Cited In (3)

• Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems
• Formally verified tableau-based reasoners for a description logic
• Code-carrying theories

This page was built for software: PVSio