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

optimizing theorem prover מתח
.תִכנו	доказатель оптимизационных теорем (Microsoft Alex_Odeychuk)