אנגלית ⇄ גרמנית +

geometry theorem-proving machine
.בינה	Maschine zum Beweisen geometrischer Theoreme