СКМ - Maple. Работа выполнена в 2007 году под руководством профессора Игнатьева Ю.Г.