Some results in the metric theory of tensor products
Sten Kaisjer (1978)
Studia Mathematica
Similarity:
Sten Kaisjer (1978)
Studia Mathematica
Similarity:
N. Bokan (1971)
Matematički Vesnik
Similarity:
D. Ž. Đoković (1963)
Matematički Vesnik
Similarity:
D. Markovitch (1951)
Matematički Vesnik
Similarity:
P. N. Shrivastava (1977)
Publications de l'Institut Mathématique
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].
Arun Verma (1975)
Annales Polonici Mathematici
Similarity:
L. Hajdu, R. Tijdeman (2003)
Acta Arithmetica
Similarity: