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

conjecture and numerical verification מתח
.מָתֵי	построение гипотез и их числовая проверка (Quantum Computational Number Theory, 2015 Alex_Odeychuk)