Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Tarski–Seidenberg_theorem> ?p ?o. }
Showing items 1 to 13 of
13
with 100 items per page.
- Tarski–Seidenberg_theorem abstract "In mathematics, the Tarski–Seidenberg theorem states that a set in (n + 1)-dimensional space defined by polynomial equations and inequalities can be projected down onto n-dimensional space, and the resulting set is still definable in terms of polynomial identities and inequalities. The theorem — also known as the Tarski–Seidenberg projection property — is named after Alfred Tarski and Abraham Seidenberg. It implies that quantifier elimination is possible over the reals, that is that every formula constructed from polynomial equations and inequalities by logical connectors ∨ (or), ∧ (and), ¬ (not) and quantifiers ∀ (for all), ∃ (exists) is equivalent with a similar formula without quantifiers.".
- Tarski–Seidenberg_theorem wikiPageID "19389633".
- Tarski–Seidenberg_theorem wikiPageRevisionID "551365005".
- Tarski–Seidenberg_theorem id "8998".
- Tarski–Seidenberg_theorem title "Tarski–Seidenberg theorem".
- Tarski–Seidenberg_theorem subject Category:Real_algebraic_geometry.
- Tarski–Seidenberg_theorem subject Category:Theorems_in_algebraic_geometry.
- Tarski–Seidenberg_theorem comment "In mathematics, the Tarski–Seidenberg theorem states that a set in (n + 1)-dimensional space defined by polynomial equations and inequalities can be projected down onto n-dimensional space, and the resulting set is still definable in terms of polynomial identities and inequalities. The theorem — also known as the Tarski–Seidenberg projection property — is named after Alfred Tarski and Abraham Seidenberg.".
- Tarski–Seidenberg_theorem label "Tarski–Seidenberg theorem".
- Tarski–Seidenberg_theorem sameAs Tarski%E2%80%93Seidenberg_theorem.
- Tarski–Seidenberg_theorem sameAs Q17103934.
- Tarski–Seidenberg_theorem sameAs Q17103934.
- Tarski–Seidenberg_theorem wasDerivedFrom Tarski–Seidenberg_theorem?oldid=551365005.