realgeom,解决实际几何图形问题的工具 该工具可以通过使用若干计算机代数系统(CAS)来解决问题,将其形式化,分析结果并将结果以可读格式返回给用户,从而解决一些实际的几何问题。 例如,这样的问题是在以a,b和c为边的长度的三角形中比较(a2+b2+c2)和(a·b + b·c + c·a)。 可以证明 a·b + b·c + c·a≤a2+b2+c2<2·(a·b + b·c + c·a) realgeom能够通过使用来自各种最新工具的最新计算机代数算法来解决此类问题(以及许多其他问题)。 该书的第一章提出了类似的问题 Bottema,Djordjević,Janić,Mitronović,Vasić:几何不等式,Wolters-Noordhoff出版社,格罗宁根,荷兰(1969) 该程序提供了两种解决此类问题的方法: 通过作为网络服务或 从CSV文件中读取给定问题的列表。