共 21 条
- [1] Bicomplex Version of Lebesgue’s Dominated Convergence Theorem and Hyperbolic Invariant Measure Advances in Applied Clifford Algebras, 2022, 32
- [3] A constructive and formal proof of Lebesgue's Dominated Convergence Theorem in the interactive theorem prover Matita JOURNAL OF FORMALIZED REASONING, 2008, 1 (01): : 51 - 89
- [4] A Generalized Version of Lebesgue's Theorem STRONG AND WEAK APPROXIMATION OF SEMILINEAR STOCHASTIC EVOLUTION EQUATIONS, 2014, 2093 : 169 - 169
- [5] A version of lebesgue decomposition theorem for non-additive measure MODELING DECISIONS FOR ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4617 : 168 - +
- [7] Fatou's Lemma and the Lebesgue's Convergence Theorem FORMALIZED MATHEMATICS, 2008, 16 (04): : 305 - 309
- [9] A hyperbolic variant of Simon's convergence theorem EVOLUTION EQUATIONS AND THEIR APPLICATIONS IN PHYSICAL AND LIFE SCIENCES, 2001, 215 : 255 - 264
- [10] Lebesgue's Convergence Theorem of Complex-Valued Function FORMALIZED MATHEMATICS, 2009, 17 (02): : 137 - 145