Continuum mechanics, homoclinic solutions, computer assisted proofs