Computational proofs of the existence of solutions to elasto-plastic torsion problems

This paper proposes a verification method for the automatic proof of existence of solutions for elasto-plastic torsion problems. Based upon Schauderʹs fixed-point theorem, a verification condition is reformulated and we present an effective verification procedure which automatically generates the set including the exact solution in a computer.