A survey of Poisson series processors

The sheer magnitude of the work involved in the construction of perturbation theories (the “astronomical computations”) made it inevitable that astronomers would very early become interested in the possibility of constructing them with the aid of computers. Since then general systems for symbolic manipulations have been developed and used widely. Nevertheless there still remain problems for which these general systems are not well adapted and many specialized systems of algebraic manipulation (mostly Poisson series processors) are in use. An attempt is made to review this field by sketching some of the ideas on which these Poisson series processors are built.

[1]  J. Henrard,et al.  Analytical Lunar Ephemeris: Delaunay's Theory , 1971 .

[2]  Paul Herget,et al.  The calculation of literal expansions , 1959 .

[3]  Arnold Rom,et al.  Mechanized Algebraic Operations (MAO) , 1970 .

[4]  William H. Jefferys.  Automated algebraic manipulation in celestial mechanics , 1971, CACM.

[5]  R. Broucke,et al.  A programming system for analytical series expansions on a computer , 1969 .

[6]  J. M. A. Danby,et al.  The symbolic manipulation of poisson series , 1966, SYMSAC '66.

[7]  Roger A. Broucke,et al.  A general precompiler for algebraic manipulation , 1983 .

[8]  S. R. Bourne,et al.  The design of the Cambridge algebra system , 1971, SYMSAC '71.

[9]  R. Broucke,et al.  Expansion of the planetary disturbing function , 1971 .

[10]  M. Gutzwiller,et al.  The motion of the moon as computed by the method of Hill, Brown, and Eckert , 1986 .

[11]  André Deprit,et al.  The main problem of artificial satellite theory for small and moderate eccentricities , 1970 .

[12]  R. Broucke.  How to assemble a Keplerian processor , 1970 .

[13]  M. Chapront-Touzé.  Progress in the analytical theories for the orbital motion of the Moon , 1982 .

[14]  J. Henrard,et al.  Trojan orbits II. Birkhoff's normalization , 1967 .

[15]  William Hamilton Jefferys,et al.  A precompiler for the formula manipulation system TRIGMAN , 1972 .

[16]  Arnold Rom,et al.  Echeloned Series Processor (ESP) , 1971 .

[17]  J. R. Cherniack.  A more general system for Poisson Series manipulation , 1973 .

[18]  J. Henrard.  A new solution to the Main Problem of Lunar Theory , 1979 .

[19]  P. Bretagnon.  Theorie du mouvement de l'ensemble des planetes (VSOP82). , 1982 .

[20]  J. Chapront,et al.  ELP 2000-85: a semi-analytical lunar ephemeris adequate for historical times , 1988 .

[21]  Jean Chapront,et al.  Applications of Literal Series to the Main Problem of the Lunar Theory , 1968 .

[22]  J. Chapront,et al.  Construction of a general planetary theory of the first order , 1973 .

[23]  D. Barton,et al.  Lunar disturbing function , 1966 .

[24]  B. F. Caviness.  Computer Algebra: Past and Future , 1986, J. Symb. Comput..

[25]  S. R. Bourne.  Literal expressions for the co-ordinates of the moon , 1972 .

[26]  William Hamilton Jefferys,et al.  A FORTRAN-based list processor for Poisson series , 1970 .

[27]  Jacques Laskar,et al.  Accurate methods in general planetary theory , 1985 .

[28]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .

[29]  F. G. Gustavson,et al.  Oil constructing formal integrals of a Hamiltonian system near ail equilibrium point , 1966 .