Assertion: surf | /r/HasProperty | tool
Facets:
Source sentences:
text: surf is a tool to visualize some real algebraic geometry: plane algebraic curves, algebraic surfaces and hyperplane sections of surfaces.