Iterated Ring Class Fields and the 168-Tesselation.
Harvey Cohn (1985)
Mathematische Annalen
Similarity:
Harvey Cohn (1985)
Mathematische Annalen
Similarity:
Czes Kosniowski (1973)
Mathematische Annalen
Similarity:
Harvey Cohn (1983)
Mathematische Annalen
Similarity:
P. Ribenboim (1964)
Mathematische Annalen
Similarity:
A. Malcev (1937)
Mathematische Annalen
Similarity:
J. VRABEC (1970)
Mathematische Annalen
Similarity:
Tammo tom Dieck (1975)
Mathematische Annalen
Similarity:
Mark Spivakovsky (1994)
Mathematische Annalen
Similarity:
Putcha, Mohan S., Yaqub, Adil (1981)
Portugaliae mathematica
Similarity:
N. R. Gopala Rao (1966)
Mathematische Annalen
Similarity:
David Lines, Jorge Morales (1988)
Mathematische Annalen
Similarity:
H.L. Resnikoff (1974)
Mathematische Annalen
Similarity:
A. PERSSON (1965)
Mathematische Annalen
Similarity:
M. Guyot (1985)
Mathematische Annalen
Similarity:
Noboru Endou, Kazuhisa Nakasho, Yasunari Shidama (2015)
Formalized Mathematics
Similarity:
In this article, semiring and semialgebra of sets are formalized so as to construct a measure of a given set in the next step. Although a semiring of sets has already been formalized in [13], that is, strictly speaking, a definition of a quasi semiring of sets suggested in the last few decades [15]. We adopt a classical definition of a semiring of sets here to avoid such a confusion. Ring of sets and algebra of sets have been formalized as non empty preboolean set [23] and field of subsets...