Trubkový vzorec nebo Weylův vzorec je výraz pro sousedství objemu podvariety jako polynom v . Navrhl Hermann Weil .
Nechť uzavřená- dimenzionální subvarieta v - dimenzionálním euklidovském prostoru je kodimenze .
Označte -neighborhood . Pak pro všechny dostatečně malé kladné hodnoty rovnost
kde je objem , je objem jednotkové koule v- rozměrném euklidovském prostoru. a
pro nějaký homogenní polynom stupně ; zde označuje tenzor zakřivení .
Výrazem je tzv. Lipschitz-Killingova křivost , je úměrná průměrnému Pfaffianu tenzoru křivosti přes všechny -dimenzionální podprostory tečného prostoru.