I would claim this is still in the space of symbolicreasoning and symbolic hypothesis generation.
我可以这么说，这种方式仍旧在象征性思考和象征性假说的生成方面使用。
2
This thesis presents the design and implementation of a geometric-object-oriented language for symbolic geometric computation, reasoning, and visualization.