博特玛

一类构造几何不等式的自动证明。提出了一种基于混合方法的不等式自动证明算法。这是由一个名为“BOTTEMA”的Maple程序实现的,该程序可以证明或反驳涉及根的一类广泛的几何和代数不等式中的命题。由Bottema等人撰写的“几何不等式”中的大多数定理都可以用这种方法有效地证明。