浅谈平面几何中的几何推理与证明的入门

机译：自然语言作为分析证明过程的工具：平面几何证明的情况

机译：自然语言作为分析证明过程的工具：平面几何证明的情况

机译：自动证明文本和图表中规定的平面几何定理

机译：案例推理在平面几何智能补习系统中的应用

机译：蜿蜒的河流：从平面几何学和迁徙的蜿蜒曲折的秘密生活中解释动力。

机译：光声成像和传感特别部分：剪切波在具有平面几何形状的经颅光声层析成像中的作用的数值研究

机译：借助非欧几里德平面几何来发展演绎推理

机译：用正向链接证明平面几何定理

机译：游戏装置在其最简单的实施例中由平面几何表面构成，根据施加到齿冠的旋转，圆形几何表面在该平面几何表面上滚动，该齿冠以固定的电影比率作用在所述表面上。

机译：在视频流中，设备增强现实如何没有标记，并在实时纹理平面几何对象中自动跟踪

机译：实用结构中可模制材料和转换器的平面几何形状，用于存放餐具和广告支撑