论文标题
通过使用tarski，支持地理格拉的证明和发现几何不平等现象
Supporting Proving and Discovering Geometric Inequalities in GeoGebra by using Tarski
论文作者
论文摘要
我们引入了一个可以自动证明或发现几何不等式的软件工具系统。该系统称为Geogebra Discovery，由Geogebra，Controller Web Service RealGeom和计算工具Tarski（在QEPCAD B System的广泛帮助下）成功解决了与与不平等现象相关的欧几里得平面几何学方面的几个非平凡问题。
We introduce a system of software tools that can automatically prove or discover geometric inequalities. The system, called GeoGebra Discovery, consisting of an extended version of GeoGebra, a controller web service realgeom, and the computational tool Tarski (with the extensive help of the QEPCAD B system) successfully solves several non-trivial problems in Euclidean planar geometry related to inequalities.
