On isomorphisms of graphs of lattices
Ján Jakubík (1985)
Czechoslovak Mathematical Journal
Similarity:
Ján Jakubík (1985)
Czechoslovak Mathematical Journal
Similarity:
Mária Tomková (1982)
Mathematica Slovaca
Similarity:
Akhtar, Reza, Evans, Anthony B., Pritikin, Dan (2010)
Integers
Similarity:
Oľga Klaučová (1977)
Mathematica Slovaca
Similarity:
Jiahai Kan (2004)
Acta Arithmetica
Similarity:
K. Ramachandra (1971)
Acta Arithmetica
Similarity:
Magdalena Jastrzebska, Adam Grabowski (2006)
Formalized Mathematics
Similarity:
We formalized some basic properties of the Möbius function which is defined classically as [...] as e.g., its multiplicativity. To enable smooth reasoning about the sum of this number-theoretic function, we introduced an underlying many-sorted set indexed by the set of natural numbers. Its elements are just values of the Möbius function.The second part of the paper is devoted to the notion of the radical of number, i.e. the product of its all prime factors.The formalization (which is...