Describir: Two alternate proofs of Wang's lune formula for sparse distributed memory and an integral approximation / Louis A. Jaeckel.