symmetric homoclinic, periodic soluions, reversing symmetry, computer assisted proofs