Conversión de coordenadas horizontales a coordenadas horarias

es el acimut tomando el punto cardinal Sur como origen,

es la Latitud geográfica del observador,

De la ecuación (3) se calcula

La ambigüedad se resuelve con la fórmula (2).

Un script de Java[1] que hace esto es: