Аннотация:
Функция Пуанкаре является компактной формой подсчета модулей в локальных проблемах анализа. Мы обсуждаем ее свойства в связи с гипотезой Арнольда и доказываем эту гипотезу в случае, когда псевдогруппа действует алгебраически и транзитивно на базе. Далее следует обзор известных результатов подсчетов числа дифференциальных инвариантов и вывод новых формул для некоторых классификационных задач из геометрии и анализа.