Компьютерное представление и обработка знаний на примере теорем об аналогиях математических моделейдоклад на конференции