!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Sturm_Tarski
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Sturm-Tarski Theorem |
AFP entry Sturm_Tarski |
Statements
Wenda Li
0 references
We have formalized the Sturm–Tarski theorem (also referred as the Tarski theorem), which generalizes Sturm's theorem. Sturm's theorem is usually used as a way to count distinct real roots, while the Sturm-Tarksi theorem forms the basis for Tarski's classic quantifier elimination for real closed field.
0 references
19 September 2014
0 references
The Sturm–Tarski Theorem (English)
0 references
