Assertion: algebraic geometry | /r/HasProperty | expressed by such a formula
Facets:
Source sentences:
text: This means that CAD allows, in theory, to solve every problem of real algebraic geometry which may be expressed by such a formula, that is almost every problem concerning explicitly given varieties and semi-algebraic sets.