Translation of "computer-assisted proof" into Russian

Доказательные вычисления is the translation of "computer-assisted proof" into Russian.

computer-assisted proof
+ Add

English-Russian dictionary

  • Доказательные вычисления

    Mathematical proof at least partially generated by computer

  • Show algorithmically generated translations

Automatic translations of "computer-assisted proof" into Russian

  • Glosbe

    Glosbe Translate
  • Google

    Google Translate
Add

Translations of "computer-assisted proof" into Russian in sentences, translation memory