Pages that link to "Item:Q287269"
From MaRDI portal
The following pages link to Formally-verified decision procedures for univariate polynomial computation based on Sturm's and Tarski's theorems (Q287269):
Displaying 5 items.
- Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL (Q333325) (← links)
- Deciding univariate polynomial problems using untrusted certificates in Isabelle/HOL (Q1725844) (← links)
- The natural algorithmic approach of mixed trigonometric-polynomial problems (Q2012330) (← links)
- A formalization of the Smith normal form in higher-order logic (Q2102950) (← links)
- Evaluating winding numbers and counting complex roots through Cauchy indices in Isabelle/HOL (Q2303242) (← links)
