Automatic Verification of Transformation Chains of Symbolic Inequalities Based on Logical Rules Search

Source: Приборы и системы. Управление, контроль, диагностика.

Subject Terms: преобразование символьных неравенств, игрофикация, education, automated solution verification, transformations of symbolic inequalities, gamification, образование, правила преобразований, автоматическая проверка решений, transformation rules