Интерактивная система для компьютерного контроля знаний в области математики

Abstract

Предлагаемый подход не требует точного соответствия ответа пользователя эталонному ответу, предполагает замену анализа ответа пользователя постановкой задачи проверки возможности эквивалентного преобразования ответа к эталону и использование пакетов символьной математики для решения таких задач.

The proposed approach does not require an exact match between the user's answer and the reference answer. It is designed to replace the user response analysis by checking if the user's answer can be equivalently transformed to a standard by using symbolic mathematics package.