On the strong-Riesz mean-value theorem.
Bruce L.R. Shawyer (1979)
Journal für die reine und angewandte Mathematik
Similarity:
Bruce L.R. Shawyer (1979)
Journal für die reine und angewandte Mathematik
Similarity:
Vojislav G. Avakumović (1955)
Publications de l'Institut Mathématique
Similarity:
John Boris Miller (1976)
Journal für die reine und angewandte Mathematik
Similarity:
Robert E. Dressler, Louis Pigno (1974)
Colloquium Mathematicae
Similarity:
Tomica Divnić, Zlata Đurić (2000)
Kragujevac Journal of Mathematics
Similarity:
Walid Nefzi (2019)
Czechoslovak Mathematical Journal
Similarity:
The aim of this paper is to extend the study of Riesz transforms associated to Dunkl Ornstein-Uhlenbeck operator considered by A. Nowak, L. Roncal and K. Stempak to higher order.
Tadeusz Iwaniec, Gaven Martin (1995)
Journal für die reine und angewandte Mathematik
Similarity:
Vojislav G. Avakumović (1955)
Publications de l'Institut Mathématique
Similarity:
Shimshon Zimering (1961)
Publications de l'Institut Mathématique
Similarity:
G. J. H. M. Buskes, A. C. M. Van Rooij (1992)
Compositio Mathematica
Similarity:
C. D. Aliprantis, O. Burkinshaw (1982)
Colloquium Mathematicae
Similarity:
Louis Pigno, Sadahiro Saeki (1990)
Colloquium Mathematicae
Similarity:
Hiroaki Aikawa (1991)
Mathematica Scandinavica
Similarity:
N.H., Goldie, C.M. Bingham (1988)
Mathematische Zeitschrift
Similarity:
Keiko Narita, Kazuhisa Nakasho, Yasunari Shidama (2017)
Formalized Mathematics
Similarity:
In this article, we formalize in the Mizar system [1, 4] the F. Riesz theorem. In the first section, we defined Mizar functor ClstoCmp, compact topological spaces as closed interval subset of real numbers. Then using the former definition and referring to the article [10] and the article [5], we defined the normed spaces of continuous functions on closed interval subset of real numbers, and defined the normed spaces of bounded functions on closed interval subset of real numbers. We also...