reversible systems, symmetric periodic orbits, computer assisted proofs