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

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

Θεματικοί όροι: преобразование символьных неравенств, игрофикация, education, automated solution verification, transformations of symbolic inequalities, gamification, образование, правила преобразований, автоматическая проверка решений, transformation rules