Автоматизация работы с конструктивными задачами на примере разработки модуля ввода графиков функций в системе поддержки дистанционных научных соревнований

Abstract

The article is devoted to development of software to support an important type of mathematical problems: to construct mathematical object when his properties are given. Problems descriptions are formalized by predicates including standard mathematical operations and numerical functions, logic operations and quantifiers. The developed technology is illustrated by the functional problems. To plot function by «hand» the authors consider its linear simplification. To mark asymptotic behavior some special tools are proposed.