Results 81 to 90 of about 590,591 (97)

A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq

International Conference on Interactive Theorem Proving
Formalization of real analysis offers a chance to rebuild traditional proofs of important theorems as unambiguous theories that can be interactively explored. This paper provides a comprehensive overview of the Lebesgue Differentiation Theorem formalized
Reynald Affeldt, Zachary Stone
semanticscholar   +1 more source

On the Weak Topology of Quaternionic Hilbert Spaces

Advances in Applied Clifford Algebras, 2018
M. Fashandi
semanticscholar   +2 more sources

An elementary proof of the Eberlein-Šmulian theorem

, 1967
R. Whitley
semanticscholar   +1 more source

An elementary proof of the Eberlein-Šmulian theorem and the Double Limit Criterion

, 1986
S. Kremp
semanticscholar   +1 more source

Sequential denseness and the Eberlein-Šmulian theorem

, 1967
H. B. Cohen
semanticscholar   +1 more source

An Eberlein–Šmulian type result for the weak* topology

, 2010
Hendrik Vogt
semanticscholar   +1 more source

Sequences and series in Banach spaces

, 1984
J. Diestel
semanticscholar   +1 more source

VALUED FIELDS

, 2008
W. H. Schikhof
semanticscholar   +1 more source

Rosenthal’s l 1 Theorem

, 1984
J. Diestel
semanticscholar   +1 more source

A Note on Sequential Properties of Noncompactness in Banach Spaces

, 2000
E. A. Sánchez Pérez
semanticscholar   +2 more sources