Deductive Composition of Astronomical Software from Subroutine Libraries [M. Stickel, R. Waldinger, M. Lowry, T. Pressburger, I. Underwood: "Deductive Composition of Astronomical Software from Subroutine Libraries", Proc. 12th Int. Conf on Automated Deduction (CADE'94), Nancy (France), June 994, LNAI 814, Springer Verlag, pp. 341-355.]

Amphion: Compose programs from a subroutine library, based on a graphical specification, using deduction.

SPICELIB: subroutines for solar-system geometry.

• Various systems of time: ephemeris time, spacecraft clock time, etc.

• Various frames of reference

• Light does not travel instantaneously over astronomical distances

Example task: observe the position of a moon of a nearby planet to determine position of the spacecraft.

Contents    Page-10    Prev    Next    Page+10    Index