Машинная генерация и анализ уравнений, выражающих ионные, радикальные и редокс-процессы с линейным электронным переносом диссертация