Poincare function for moduli of differential-geometric structures

The Poincare function is a compact form of counting moduli in local geometric problems. We discuss its property in relation to V.Arnold’s conjecture, and derive this conjecture in the case when the pseudogroup acts algebraically and transitively on the base. Then we survey the known counting results for differential invariants and derive new formulae for several other classification problems in geometry and analysis.