A csőképlet vagy a Weyl-képlet egy részsokaság térfogat-szomszédságának kifejezése polinomként -ben . Hermann Weil javaslata .
Legyen egy zárt dimenziós részsokaság a -dimenziós euklideszi térben rendre kóddimenzió .
Jelölje -szomszédsággal . Ezután minden kellően kicsi pozitív érték esetén az egyenlőség
ahol a térfogat , az egységnyi golyó térfogata a -dimenziós euklideszi térben. és
valamilyen homogén fokszámú polinomra ; itt a görbületi tenzort jelöli .
A kifejezés az úgynevezett Lipschitz-Killing görbület , amely arányos a görbülettenzor átlagos Pfaffiánjával az érintőtér összes -dimenziós alterében.