Results 81 to 90 of about 603,801 (119)
Some of the next articles are maybe not open access.
A Comprehensive Overview of the Lebesgue Differentiation Theorem in Coq
International Conference on Interactive Theorem ProvingFormalization 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, 2018M. Fashandi
semanticscholar +2 more sources
An elementary proof of the Eberlein-Šmulian theorem and the Double Limit Criterion
, 1986S. Kremp
semanticscholar +1 more source
Sequential denseness and the Eberlein-Šmulian theorem
, 1967H. B. Cohen
semanticscholar +1 more source
Learning nonlinear operators via DeepONet based on the universal approximation theorem of operators
Nature Machine Intelligence, 2021Lu Lu, Pengzhan Jin, Guofei Pang
exaly
Experimental quantum key distribution certified by Bell's theorem
Nature, 2022David Nadlinger +2 more
exaly
An Eberlein–Šmulian type result for the weak* topology
, 2010Hendrik Vogt
semanticscholar +1 more source