Displaying similar documents to “Computational proof of some theorems on class numbers”