Publication | Closed Access

Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm’s and Tarski’s Theorems

Decision ProcedureFormally-verified Decision ProceduresEngineeringComputational Complexity TheoryValidated NumericsUnivariate Polynomial ComputationFormal MethodsAlgebraic MethodComputational ComplexityComputer ScienceSturm ’ SFormal Verification