ボホナーの公式
数学におけるボホナーの公式はリーマン多様体 ( M , g ) {\displaystyle (M,g)} における調和関数をリッチテンソルに関連付けるもの。その名はアメリカの数学者サロモン・ボホナーにちなむ。