Displaying 301 – 320 of 399

Showing per page

The First Mean Value Theorem for Integrals

Keiko Narita, Noboru Endou, Yasunari Shidama (2008)

Formalized Mathematics

In this article, we prove the first mean value theorem for integrals [16]. The formalization of various theorems about the properties of the Lebesgue integral is also presented.MML identifier: MESFUNC7, version: 7.8.09 4.97.1001

The general form of local bilinear functions

Milan Práger (1993)

Applications of Mathematics

The scalar product of the FEM basis functions with non-intersecting supports vanishes. This property is generalized and the concept of local bilinear functional in a Hilbert space is introduced. The general form of such functionals in the spaces L 2 ( a , b ) and H 1 ( a , b ) is given.

Currently displaying 301 – 320 of 399