Normal algorithms have proved to be a convenient means for the construction of many sections of constructive mathematics.
Нормальные алгорифмы оказались удобным средством для построения многих разделов конструктивной математики.