Dirichlet principle using computers

From MaRDI portal
Publication:5711139