更新时间:2022-12-03 14:33 该系统不但可以证明构造性的初等平面几何命题,而且也实现了对非构造性几何命题的定理搜索。 造句词语 可以造句 实现造句 平面几何造句 定理造句 不但造句 搜索造句 证明造句 初等造句 系统造句 而且造句 几何造句 构造性造句 命题造句