TRIP: a computer algebra system dedicated to celestial mechanics and perturbation series

TRIP is an interactive computer algebra system that is devoted to perturbation series computations, and specially adapted to celestial mechanics. Its development started in 1988, as an upgrade of the special purpose FORTRAN routines elaborated by J. Laskar for the demonstration of the chaotic behavior of the Solar System. TRIP is now a mature and efficient tool for handling multivariate generalized power series, and contains also a numerical kernel. A limited version of TRIP is freely available on the WEB at www.imcce.fr/trip.

[1]  Philipp K. Janert,et al.  Gnuplot in Action: Understanding Data with Graphs , 2009 .

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

[3]  Richard J. Fateman.  Comparing the speed of programs for sparse polynomial multiplication , 2003, SIGS.

[4]  David Barton,et al.  An Algebra System , 1970, Comput. J..

[5]  J. Henrard,et al.  Lunar Ephemeris: Delaunay's Theory Revisited , 1970, Science.

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

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

[8]  V. A. Brumberg,et al.  Specialized celestial mechanics systems for symbolic manipulation , 1988 .

[9]  Mickaël Gastineau,et al.  Parallel operations of sparse polynomials on multicores: I. multiplication and Poisson bracket , 2010, PASCO.

[10]  Jacques Laskar,et al.  Partial Reduction in the N-Body Planetary Problem using the Angular Momentum Integral , 2002 .

[11]  Steve Linton,et al.  Symbolic Computation Software Composability , 2008, AISC/MKM/Calculemus.

[12]  Jacques Laskar,et al.  The chaotic motion of the solar system: A numerical estimate of the size of the chaotic zones , 1990 .

[13]  Victor A. Brumberg,et al.  Analytical Techniques of Celestial Mechanics , 1995 .

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

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

[16]  J. Henrard,et al.  A survey of Poisson series processors , 1988 .

[17]  John Fitch,et al.  Applications of algebraic manipulation programs in physics , 1972 .

[18]  Bruce R. Miller,et al.  Simplify or Perish , 1988 .

[19]  Michael B. Monagan,et al.  Parallel sparse polynomial multiplication using heaps , 2009, ISSAC '09.

[20]  David Barton,et al.  The Structure of the Cambridge Algebra System , 1970, Comput. J..

[21]  J. Laskar.  A numerical experiment on the chaotic behaviour of the Solar System , 1989, Nature.

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

[23]  Jacques Laskar,et al.  Stability of the planetary three-body problem , 1995 .

[24]  R. Broucke,et al.  A FORTRAN-based Poisson series processor and its applications in celestial mechanics , 1988 .

[25]  Vincent Lefèvre,et al.  MPFR: A multiple-precision binary floating-point library with correct rounding , 2007, TOMS.

[26]  John ffitch.  CAMAL 40 Years on - Is Small Still Beautiful? , 2009, Calculemus/MKM.