Assertion: algebraic geometry | /r/CapableOf | solve problem
Facets:
Source sentences:
text: The main algorithms of real algebraic geometry which solve a problem solved by CAD are related to the topology of semi-algebraic sets.