אנגלית ⇄ רוסית +

automated geometric theorem proving מתח
.בינה	автоматическое доказательство теорем геометрии (Alex_Odeychuk)