A mean value theorem for strongly continuous vector valued functions
Joaquín Basilio Díaz, Rudolf Výborný (1964)
Czechoslovak Mathematical Journal
Similarity:
Joaquín Basilio Díaz, Rudolf Výborný (1964)
Czechoslovak Mathematical Journal
Similarity:
Merentes, N., Nikodem, K., Rivas, S. (1997)
Journal of Applied Analysis
Similarity:
Adam Grabowski (2014)
Formalized Mathematics
Similarity:
The purpose of this paper was to prove formally, using the Mizar language, Arithmetic Mean/Geometric Mean theorem known maybe better under the name of AM-GM inequality or Cauchy mean theorem. It states that the arithmetic mean of a list of a non-negative real numbers is greater than or equal to the geometric mean of the same list. The formalization was tempting for at least two reasons: one of them, perhaps the strongest, was that the proof of this theorem seemed to be relatively easy...
Charles J. Himmelberg, F. S. Van Vleck (1976)
Mathematica Slovaca
Similarity:
Lj. B. Ćirić (1972)
Matematički Vesnik
Similarity:
Nikodem, Kazimierz, Popa, Dorian (2008)
Banach Journal of Mathematical Analysis [electronic only]
Similarity:
Gilles Fournier, Donald Violette (1987)
Annales Polonici Mathematici
Similarity:
Nguyen Van Khue (1985)
Colloquium Mathematicae
Similarity:
Robert F. Brown (2006)
Bulletin of the Polish Academy of Sciences. Mathematics
Similarity:
A multifunction ϕ: X ⊸ Y is n-valued if ϕ(x) is an unordered subset of n points of Y for each x ∈ X. The (continuous) n-valued multimaps ϕ: S¹ ⊸ S¹ are classified up to homotopy by an integer-valued degree. In the Nielsen fixed point theory of such multimaps, due to Schirmer, the Nielsen number N(ϕ) of an n-valued ϕ: S¹ ⊸ S¹ of degree d equals |n - d| and ϕ is homotopic to an n-valued power map that has exactly |n - d| fixed points. Thus the Wecken property, that Schirmer established...