是否可以编写一个程序，在平面几何中自动生成证明

Question

我想知道如何自动推导平面几何的参数。如果可能。如果可能的话，请提供一个粗略的草图。

我试图找到一个现有的解决方案。据我所知，没有任何东西可以做到这一点。我决定可能会写一个，但我不知道如何写。