Computer-assisted proofs for radially symmetric solutions of PDEs
scientific article; zbMATH DE number 7027710
scientific article