Matvey Sergeevich AgibalovRussia, NovosibirskResearch areadeductive verificationAffiliation & position Novosibirsk State University — student E-mailm.agibalov@g.nsu.ru
