王晓京
王晓京-
比如，在数学方面有著名的GeometryTutor、BUGGY系统、张景中的立体几何、解析几何智能教学软件等：在化学方面则有王晓京的基于自动推理的新型ICAI化学系统等。
For example , in mathematics there are tools such as Geometry Tutor , Buggy System , Solid Geometry by Zhang JinZhong , and Analytic Geometry Intelligent Tutoring Software , and in Chemistry there is the New ICAI Chemistry System Based on Automatic Reasoning by Wang XiaoJin , among others .