TY - JOUR AU - Jakubec, Stanislav TI - Computational proof of some theorems on class numbers JO - Mathematica slovaca PY - 2004 SP - 527 EP - 533 VL - 54 IS - 5 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/MASLO_2004__54_5_a8/ LA - en ID - MASLO_2004__54_5_a8 ER -