The explanation of the twin paradox using Poincare transformation and computer algebra system REDUCE.

We explain the twin (A and B) paradox using Poincare transformation (as the generalization of Lorentz transformation) in Special Relativity. We want to emphasize the fact that the paradox can really be explained in the context of Special Relativity. The twin A stays at home whereas B makes a round trip. We can still stay in Special Relativity if the non-inertial reference frame of B is in the form of a set of two inertial frames (K1 and K2) moving with different velocities with respect to a fixed inertial reference frame (K0) of A. K1 and K2 are each connected to K0 with Poincare Transformation. We use the CAS (computer algebra system) REDUCE to assist the computation. To make the discussion realistic and simpler we use rational numbers (so that we will get exact computational results) instead of symbols. The important point is that we will show how the fact can be understood by both parties (A and B) by simulating numerically the trip from the points of view of each A and B. A will accept the fact that B is younger and B will also accept the fact that A is older at the reunion. We hope the paradox will thus be explained away satisfactorily. [ABSTRACT FROM AUTHOR]