realgeom，解决实际几何图形问题的工具 该工具可以通过使用若干计算机代数系统（CAS）来解决问题，将其形式化，分析结果并将结果以可读格式返回给用户，从而解决一些实际的几何问题。 例如，这样的问题是在以a，b和c为边的长度的三角形中比较（a²+b²+c²）和（a·b + b·c + c·a）。 可以证明 a·b + b·c + c·a≤a²+b²+c²<2·（a·b + b·c + c·a） realgeom能够通过使用来自各种最新工具的最新计算机代数算法来解决此类问题（以及许多其