Минимальный базис тождеств матричной алгебры второго порядка над полем характеристики 0
В.С. Дренски (1981)
Algebra i Logika
Similarity:
В.С. Дренски (1981)
Algebra i Logika
Similarity:
Ю.Н. Мальцев, Е.Н. Кузьмин (1978)
Algebra i Logika
Similarity:
Ю.П. Размыслов (1973)
Algebra i Logika
Similarity:
Ю.Г. Пензин (1973)
Algebra i Logika
Similarity:
Т.М. Кузьмина (1981)
Algebra i Logika
Similarity:
Ю.А. Медведев (1980)
Algebra i Logika
Similarity:
Anca Iuliana Bonciocat, Nicolae Ciprian Bonciocat (2006)
Acta Arithmetica
Similarity:
Е.Н. Кузьмин, E. N. Kuz'min, E. N. Kuz'min, E. N. Kuz'min (1998)
Algebra i Logika
Similarity:
Ю.Л. Ершов (1989)
Algebra i Logika
Similarity:
К.Н. Пономарёв, K. N. Ponomarëv, K. N. Ponomarëv, K. N. Ponomarëv (1995)
Algebra i Logika
Similarity:
Н.В. Белякин (1973)
Algebra i Logika
Similarity:
Artur Korniłowicz (2017)
Formalized Mathematics
Similarity:
In this article, we formalize in the Mizar system [3] the notion of the derivative of polynomials over the field of real numbers [4]. To define it, we use the derivative of functions between reals and reals [9].