Results 11 to 20 of about 3,485,455 (148)
, 2021 We describe the formalization of the existence and uniqueness of the Haar measure in the Lean theorem prover. The Haar measure is an invariant regular measure on locally compact groups, and it has not been formalized in a proof assistant before.
van Doorn, Floris
core +1 more source
INTRODUCTION TO NEUTROSOPHIC MEASURE, NEUTROSOPHIC INTEGRAL, AND NEUTROSOPHIC PROBABILITY [PDF]
, 2011 Neutrosophic Science means development and applications of neutrosophic logic/set/measure/integral/probability etc.
Smarandache, Florentin
core +1 more source
Representing Probability Measures using Probabilistic Processes [PDF]
, 2006 In the Type-2 Theory of Effectivity, one considers representations of topological spaces in which infinite words are used as "names" for the elements they represent.
Schröder , Matthias +3 more
core +1 more source
On uniform local dispersion on a family of G-orbits [PDF]
, 1986 Trockel W. On uniform local dispersion on a family of G-orbits. Journal of Mathematical Analysis and Applications. 1986;118(1):173-179.Consider a topological space T which is the union of a family of G-orbits, where G is a locally euclidean group G ...
Trockel, Walter +1 more
core +1 more source
Haar measure for measure groupoids
, 1978 It is proved that Mackey’s measure groupoids possess an analogue of Haar measure for locally compact groups; and many properties of the group Haar measure generalize. Existence of Haar measure for groupoids permits solution of a question raised by Ramsay.
Peter Hahn
core +1 more source
A complete theory of the Clifford commutant [PDF]
QuantumThe Clifford group plays a central role in quantum information science. It is the building block for many error-correcting schemes and matches the first three moments of the Haar measure over the unitary group-a property that is essential for a broad ...
Lennart Bittel +4 more
doaj +1 more source