Computational proofs of the existence of solutions to elasto-plastic torsion problems
scientific article; zbMATH DE number 1529794