The Cauchy stress theorem for bodies with finite perimeter
Alfredo Marzocchi, Alessandro Musesti (2003)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Alfredo Marzocchi, Alessandro Musesti (2003)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Kharazishvili, A.B. (1997)
Journal of Applied Analysis
Similarity:
Kohur Gowrisankaran (1979)
Annales de l'institut Fourier
Similarity:
A notion of negligible sets for polydiscs is introduced. Some properties of non-negligible sets are proved. These results are used to construct good and good inner functions on polydiscs.
Noboru Endou (2017)
Formalized Mathematics
Similarity:
The purpose of this article is to show Fubini’s theorem on measure [16], [4], [7], [15], [18]. Some theorems have the possibility of slight generalization, but we have priority to avoid the complexity of the description. First of all, for the product measure constructed in [14], we show some theorems. Then we introduce the section which plays an important role in Fubini’s theorem, and prove the relevant proposition. Finally we show Fubini’s theorem on measure.
Noboru Endou (2016)
Formalized Mathematics
Similarity:
In this article we formalize in Mizar [5] product pre-measure on product sets of measurable sets. Although there are some approaches to construct product measure [22], [6], [9], [21], [25], we start it from σ-measure because existence of σ-measure on any semialgebras has been proved in [15]. In this approach, we use some theorems for integrals.
Robert Morris Pierce
Similarity:
Noboru Endou (2015)
Formalized Mathematics
Similarity:
In our previous article [22], we showed complete additivity as a condition for extension of a measure. However, this condition premised the existence of a σ-field and the measure on it. In general, the existence of the measure on σ-field is not obvious. On the other hand, the proof of existence of a measure on a semialgebra is easier than in the case of a σ-field. Therefore, in this article we define a measure (pre-measure) on a semialgebra and extend it to a measure on a σ-field. Furthermore,...
Wilfried Seidel (1989)
Fundamenta Mathematicae
Similarity:
A. B. Kharazishvili (1994)
Acta Universitatis Carolinae. Mathematica et Physica
Similarity: