Рассматриваются метод сравнения и вопросы алгоритмизации получения текстов теорем об аналогиях в свойствах математических моделей. Используемые средства формализации применимы также для автоматического доказательства получаемых теорем об аналогиях и для автоматизации решения задач в конструктивной семантике (планирования действий и др.). Обсуждаются некоторые результаты по развитию проблематики использования преобразований в групповом анализе дифференциальных уравнений, в том числе по использованию дифференциальных инвариантов для отыскания общих или частных точных решений уравнений. Рассматриваются результаты геометрической теории дифференциальных уравнений, применимые в задачах нелинейной акустики, теории фильтрации и других.