球面三角余弦公式

球面三角余弦公式（cosine formula for spherical triangle）是1993年公布的数学名词。