Computer solver of mathematical problemsтезисы доклада