Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Existential_theory_of_the_reals> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Existential_theory_of_the_reals abstract "In mathematical logic, computational complexity theory, and computer science, the existential theory of the reals is the set of all true sentences of the form where F(X1, ..., Xk) is a quantifier-free formula in the language of ordered fields with coefficients in a real closed field.The decision problem for the existential theory of the reals is the problem of finding an algorithm that decides, for each such formula, whether it is true or false. This decision problem is NP-hard and lies in PSPACE. Thus, it has significantly lower complexity than Alfred Tarski's quantifier elimination procedure for deciding statements in the first-order theory of the reals without the restriction to existential quantifiers.".
- Existential_theory_of_the_reals wikiPageID "30925590".
- Existential_theory_of_the_reals wikiPageRevisionID "599655187".
- Existential_theory_of_the_reals hasPhotoCollection Existential_theory_of_the_reals.
- Existential_theory_of_the_reals subject Category:Computational_complexity_theory.
- Existential_theory_of_the_reals subject Category:Mathematical_logic.
- Existential_theory_of_the_reals subject Category:Real_algebraic_geometry.
- Existential_theory_of_the_reals comment "In mathematical logic, computational complexity theory, and computer science, the existential theory of the reals is the set of all true sentences of the form where F(X1, ..., Xk) is a quantifier-free formula in the language of ordered fields with coefficients in a real closed field.The decision problem for the existential theory of the reals is the problem of finding an algorithm that decides, for each such formula, whether it is true or false.".
- Existential_theory_of_the_reals label "Existential theory of the reals".
- Existential_theory_of_the_reals sameAs m.0gg90s1.
- Existential_theory_of_the_reals sameAs Q5420361.
- Existential_theory_of_the_reals sameAs Q5420361.
- Existential_theory_of_the_reals wasDerivedFrom Existential_theory_of_the_reals?oldid=599655187.
- Existential_theory_of_the_reals isPrimaryTopicOf Existential_theory_of_the_reals.