AI & ChatGPT searches , social queries for LAMBDA MU-CALCULUS
Search references for LAMBDA MU-CALCULUS. Phrases containing LAMBDA MU-CALCULUS
See searches and references containing LAMBDA MU-CALCULUS!
Search references for LAMBDA MU-CALCULUS. Phrases containing LAMBDA MU-CALCULUS
See searches and references containing LAMBDA MU-CALCULUS!LAMBDA MU-CALCULUS
Extension of lambda calculus
mathematical logic and computer science, the lambda-mu calculus is an extension of the lambda calculus introduced by Michel Parigot. It introduces two
Lambda-mu_calculus
Mathematical-logic system based on functions
In mathematical logic, the lambda calculus (also written as λ-calculus) is a formal system for expressing computation based on function abstraction and
Lambda_calculus
Extension of propositional modal logic
theoretical computer science, the modal μ-calculus (Lμ, Lμ, or propositional mu-calculus, sometimes just μ-calculus, although this can have a more general
Modal_μ-calculus
Relationship between programs and proofs
96714, ISBN 978-0-89791-343-0, S2CID 3005134 Parigot, Michel (1992), "Lambda-mu-calculus: An algorithmic interpretation of classical natural deduction", International
Curry–Howard_correspondence
Branch of mathematical analysis
}(\mu t^{\alpha })\right](s)={\frac {\mu }{1-\alpha }}\left({\frac {\mu }{\mu +\lambda }}{\frac {1}{s^{\alpha }-\mu }}+{\frac {\lambda }{\mu +\lambda }}{\frac
Fractional_calculus
Tensor index notation for tensor-based calculations
}{}_{\sigma \mu \nu }=\Gamma ^{\rho }{}_{\nu \sigma ,\mu }-\Gamma ^{\rho }{}_{\mu \sigma ,\nu }+\Gamma ^{\rho }{}_{\mu \lambda }\Gamma ^{\lambda }{}_{\nu
Ricci_calculus
Eleventh letter in the Greek alphabet
the concepts of lambda calculus. λ indicates an eigenvalue in the mathematics of linear algebra. In the physics of particles, lambda indicates the thermal
Lambda
Result about when a matrix can be diagonalized
}H_{\lambda }\,d\mu (\lambda ).} The elements of this space are functions (or "sections") s ( λ ) , λ ∈ σ ( A ) , {\displaystyle s(\lambda ),\,\,\lambda \in \sigma
Spectral_theorem
Non-commutative algebraic structure
This symbol satisfies the relations μ = λ κ = ι κ 2 . {\displaystyle \mu =\lambda \kappa =\iota \kappa ^{2}.} For example, the directed edge obtained by
Icosian_calculus
Form of continuity for functions
{\displaystyle \mu (A)>0} implies λ ( A ) > 0 {\displaystyle \lambda (A)>0} . This condition is written as μ ≪ λ . {\displaystyle \mu \ll \lambda .} We say
Absolute_continuity
Symbols for constants, special functions
compensation for the risk borne in investment the α-conversion in lambda calculus the independence number of a graph a placeholder for ordinal numbers
Greek letters used in mathematics, science, and engineering
Greek_letters_used_in_mathematics,_science,_and_engineering
Unification of discrete and continuous theories of calculus
( t ) = 0 {\displaystyle \mu (t)=0} , f Δ = f ′ {\displaystyle f^{\Delta }=f'} ; is the derivative used in standard calculus. If T = Z {\displaystyle \mathbb
Time-scale_calculus
Field-equations in general relativity
G_{\mu \nu }+\Lambda g_{\mu \nu }=\kappa T_{\mu \nu },} where G μ ν {\displaystyle G_{\mu \nu }} is the Einstein tensor, g μ ν {\displaystyle g_{\mu \nu
Einstein_field_equations
c_{\lambda }(x,c_{\mu }(y,z))=c_{\lambda \mu }\left(c_{\frac {\lambda (1-\mu )}{1-\lambda \mu }}(x,y),z\right)} (for λ μ ≠ 1 {\displaystyle \lambda \mu \neq
Convex_space
Certain vector fields are the sum of an irrotational and a solenoidal vector field
the Helmholtz decomposition theorem or the fundamental theorem of vector calculus states that certain differentiable vector fields can be resolved into the
Helmholtz_decomposition
Mathematical formula
that s μ h r = ∑ λ s λ {\displaystyle \displaystyle s_{\mu }h_{r}=\sum _{\lambda }s_{\lambda }} where hr is a complete homogeneous symmetric polynomial
Pieri's_formula
A ) δ , {\displaystyle \lambda (\partial A):=\liminf _{\delta \to 0}{\frac {\mu \left(A+{\overline {B_{\delta }}}\right)-\mu (A)}{\delta }},} where B
Minkowski–Steiner_formula
Expressing a measure as an integral of another
{\displaystyle {\frac {d(\nu +\mu )}{d\lambda }}={\frac {d\nu }{d\lambda }}+{\frac {d\mu }{d\lambda }}\quad \lambda {\text{-almost everywhere}}.} If
Radon–Nikodym_theorem
Tensor that describes the 4D geometry of spacetime
x^{\sigma }}{\partial x^{\bar {\nu }}}}g_{\rho \sigma }=\Lambda ^{\rho }{}_{\bar {\mu }}\,\Lambda ^{\sigma }{}_{\bar {\nu }}\,g_{\rho \sigma }.} The metric
Metric tensor (general relativity)
Metric_tensor_(general_relativity)
Family of linear transformations
Lambda ^{1}}_{\mu }{\Lambda ^{2}}_{\nu }F^{\mu \nu }={\Lambda ^{1}}_{\mu }{\Lambda ^{2}}_{2}F^{\mu 2}={\Lambda ^{1}}_{0}{\Lambda ^{2}}_{2}F^{02}+{\Lambda
Lorentz_transformation
Function spaces generalizing finite-dimensional p norm spaces
} . {\displaystyle \lambda _{f}(t)=\mu \{x\in S:|f(x)|>t\}.} If f {\displaystyle f} is in L p ( S , μ ) {\displaystyle L^{p}(S,\mu )} for some p {\displaystyle
Lp_space
Probability distribution
f(x)\,dx-\lambda _{0}\left(1-\int _{-\infty }^{\infty }f(x)\,dx\right)-\lambda _{1}\left(\mu -\int _{-\infty }^{\infty }f(x)x\,dx\right)-\lambda _{2}\left(\sigma
Normal_distribution
Method in Itô calculus
In Itô calculus, the Euler–Maruyama method (also simply called the Euler method) is a method for the approximate numerical solution of a stochastic differential
Euler–Maruyama_method
Mathematical methods used in Bayesian inference and machine learning
_{n=1}^{N}x_{n}\right)\mu +\left(\sum _{n=1}^{N}\mu ^{2}\right)+\lambda _{0}\mu ^{2}-2\lambda _{0}\mu _{0}\mu +\lambda _{0}\mu _{0}^{2}\right\}+C_{3}\\&=-{\frac
Variational_Bayesian_methods
Theorem on eigenvalues and eigenvectors of Hermitian matrices
order). We have λ i ≥ μ i ≥ λ n − r + i , {\displaystyle \lambda _{i}\geq \mu _{i}\geq \lambda _{n-r+i},} An algebraic proof, based on the variational interpretation
Poincaré_separation_theorem
Probability distribution that has the most entropy of a class
{\boldsymbol {\lambda }}\geq \mathbf {0} } is not present in the optimization. In the case of equality constraints, this theorem is proved with the calculus of variations
Maximum entropy probability distribution
Maximum_entropy_probability_distribution
lexical scope was similar to the lambda calculus. Sussman and Steele decided to try to model Actors in the lambda calculus. They called their modeling system
History of the Scheme programming language
History_of_the_Scheme_programming_language
Variation of the Ricci tensor with respect to the metric
}^{\lambda }+\Gamma _{\mu \lambda }^{\rho }\delta \Gamma _{\nu \sigma }^{\lambda }-\delta \Gamma _{\nu \lambda }^{\rho }\Gamma _{\mu \sigma }^{\lambda }-\Gamma
Palatini_identity
Theorem in measure theory
{\displaystyle \mu } defined on S {\displaystyle S} by the restriction of two-dimensional Lebesgue measure λ 2 {\displaystyle \lambda ^{2}} to S {\displaystyle
Disintegration_theorem
Integral transform useful in probability theory, physics, and engineering
{\displaystyle P_{n}(t)=\int _{0}^{t}\lambda e^{-\lambda (t-s)}(pP_{n-1}(s)+qP_{n+1}(s))\,ds\quad (+e^{-\lambda t}\quad {\text{when}}\ n=0).} This leads
Laplace_transform
Derivative used in gauge theories
_{\mu }v)^{\nu }=(\nabla _{\mu }(v^{\lambda }\partial _{\lambda }))^{\nu }=((\partial _{\mu }v^{\lambda })\partial _{\lambda }+v^{\lambda }(\nabla _{\mu
Gauge_covariant_derivative
{\displaystyle f,g\in C(\sigma (a))} and scalars λ , μ ∈ C {\displaystyle \lambda ,\mu \in \mathbb {C} } : One can therefore imagine actually inserting the
Continuous functional calculus
Continuous_functional_calculus
Generalization of straight line to a curved space time
g_{\lambda \nu ,\mu }{\dot {x}}^{\mu }{\dot {x}}^{\nu }+g_{\lambda \mu ,\nu }{\dot {x}}^{\mu }{\dot {x}}^{\nu }-g_{\mu \nu ,\lambda }{\dot {x}}^{\mu }{\dot
Geodesics in general relativity
Geodesics_in_general_relativity
Probability distribution
{\displaystyle P(\mu +Z_{1}>Z_{2})={\begin{cases}e^{\mu }{\frac {(2-\mu )}{4}},&{\text{when }}\mu <0\\1-e^{-\mu }{\frac {(2+\mu )}{4}},&{\text{when }}\mu >0\\\end{cases}}}
Laplace_distribution
Construction in functional analysis, useful to solve differential equations
{\displaystyle \|(T_{h}-\lambda )f_{n}\|_{p}^{p}=\|(h-\lambda )f_{n}\|_{p}^{p}=\int _{S_{n}}|h-\lambda \;|^{p}d\mu \leq {\frac {1}{n^{p}}}\;\mu (S_{n})={\frac
Decomposition of spectrum (functional analysis)
Decomposition_of_spectrum_(functional_analysis)
Generalisation of convexity
In the calculus of variations, a subfield of mathematics, quasiconvexity is a generalisation of the notion of convexity. It is used to characterise the
Quasiconvexity (calculus of variations)
Quasiconvexity_(calculus_of_variations)
Class of integrals appearing in quantum field theory
) {\displaystyle \int {\frac {d^{d}k}{(2\pi )^{d}}}{\frac {k_{\mu _{1}}\cdots k_{\mu _{n}}}{((k+q_{1})^{2}+m_{1}^{2})\cdots ((k+q_{b})^{2}+m_{b}^{2})}}}
Loop_integral
Electromagnetic stress
}}}-\lambda \mathbf {\mathbb {I} } =-\left(\lambda +V\right)\mathbf {\mathbb {I} } +\epsilon _{0}\mathbf {E} \mathbf {E} ^{\textsf {T}}+{\frac {1}{\mu _{0}}}\mathbf
Maxwell_stress_tensor
Straight path on a curved surface or a Riemannian manifold
{d^{2}x^{\lambda }}{dt^{2}}}+\Gamma _{\mu \nu }^{\lambda }{\frac {dx^{\mu }}{dt}}{\frac {dx^{\nu }}{dt}}=0,} where Γ μ ν λ {\displaystyle \Gamma _{\mu \nu }^{\lambda
Geodesic
Mathematical way of attaining a desired output from a dynamic system
λ T f − μ T h {\displaystyle H=F+{\boldsymbol {\lambda }}^{\mathsf {T}}{\textbf {f}}-{\boldsymbol {\mu }}^{\mathsf {T}}{\textbf {h}}} is the augmented
Optimal_control
Measure used in functional analysis
\mid \xi \rangle =\int _{X}f(\lambda )\,d\mu _{\xi }(\lambda ),\quad \forall \xi \in H.} where μ ξ {\displaystyle \mu _{\xi }} is a finite Borel measure
Projection-valued_measure
Dialect of Lisp
evaluation of "closed" Lambda expressions in LISP and ISWIM's Lambda Closures. van Tonder, André (1 January 2004). "A Lambda Calculus for Quantum Computation"
Scheme_(programming_language)
= λ ⊗ μ {\displaystyle \operatorname {E} \Theta =\lambda \otimes \mu } . Here μ {\displaystyle \mu } is a measure on ( 0 , ∞ ) {\displaystyle (0,\infty
Subordinator_(mathematics)
Application of Lagrangian mechanics to field theories
{\displaystyle \partial _{\mu }F^{\mu \nu }=-\mu _{0}j^{\nu }\quad {\text{and}}\quad \epsilon ^{\mu \nu \lambda \sigma }\partial _{\nu }F_{\lambda \sigma }=0} where
Lagrangian_(field_theory)
Part of mathematical queueing theory
Q={\begin{pmatrix}-\lambda &\lambda \\\mu &-(\mu +\lambda )&\lambda \\&2\mu &-(2\mu +\lambda )&\lambda \\&&3\mu &-(3\mu +\lambda )&\lambda \\&&&&\ddots \end{pmatrix}}
M/M/∞_queue
Mathematical approach to quantum physics
mu })&=E_{n}+x^{\mu }\partial _{\mu }E_{n}+{\frac {1}{2!}}x^{\mu }x^{\nu }\partial _{\mu }\partial _{\nu }E_{n}+\cdots \\[1ex]\left|n(x^{\mu })\right\rangle
Perturbation theory (quantum mechanics)
Perturbation_theory_(quantum_mechanics)
Instantaneous rate of change of the function
In multivariable calculus, the directional derivative measures the instantaneous rate at which a function changes along a specified vector through a given
Directional_derivative
Concept in information theory
}g(x)\log(g(x))\,dx-\lambda _{0}\left(1-\int _{-\infty }^{\infty }g(x)\,dx\right)-\lambda \left(\sigma ^{2}-\int _{-\infty }^{\infty }g(x)(x-\mu )^{2}\,dx\right)}
Differential_entropy
Linear operator equal to its own adjoint
( λ ) < ∞ . {\displaystyle \int _{\mathbf {R} }|\lambda |^{2}\ \|\psi (\lambda )\|^{2}\,d\mu (\lambda )<\infty .} Non-negative countably additive measures
Self-adjoint_operator
Way to represent data types in the lambda calculus
Scott encoding is a way to represent algebraic data types in the lambda calculus, following their syntactic definition without regard whether they are
Mogensen–Scott_encoding
Discrete analog of a derivative
including Isaac Newton. The formal calculus of finite differences can be viewed as an alternative to the calculus of infinitesimals. Three basic types
Finite_difference
Algebraization of first-order logic with equality
{\displaystyle \lambda } and μ {\displaystyle \mu } , then λ = μ ⟺ ∃ κ . ( λ = κ ∧ κ = μ ) {\displaystyle \lambda =\mu \iff \exists \kappa .(\lambda =\kappa \wedge
Cylindric_algebra
Tensor having both covariant and contravariant indices
g λ ν = g μ ν = δ μ ν , {\displaystyle g^{\mu \lambda }\,g_{\lambda \nu }=g^{\mu }{}_{\nu }=\delta ^{\mu }{}_{\nu },} so any mixed version of the metric
Mixed_tensor
Theory of supergravity in four dimensions
{\mathcal {D}}}_{\mu }\lambda ^{I}=D_{\mu }\lambda ^{I}+A_{\mu }^{J}f_{JK}^{I}\lambda ^{K}+{\frac {i}{2M_{P}^{2}}}Q_{\mu }\gamma _{5}\lambda ^{I},} D ^ μ χ
4D_N_=_1_supergravity
Extension of ideas in combinatorics to infinite sets
{\displaystyle \lambda } such that all elements of [ λ ] n {\displaystyle [\lambda ]^{n}} have the first color, or a subset of order type μ {\displaystyle \mu } such
Infinitary_combinatorics
Stochastic differential equation
t}}=-\lambda \mathbf {v} +{\boldsymbol {\eta }}(t),} where v {\displaystyle \mathbf {v} } is the velocity of the particle, λ {\displaystyle \lambda } is
Langevin_equation
Electromagnetism in general relativity
= 0 , {\displaystyle \partial _{\lambda }F_{\mu \nu }+\partial _{\mu }F_{\nu \lambda }+\partial _{\nu }F_{\lambda \mu }=0,} which incorporates Faraday's
Maxwell's equations in curved spacetime
Maxwell's_equations_in_curved_spacetime
Mathematical description of spacetime used in relativity
\Lambda _{\nu }^{\mu }} , a real 4 × 4 matrix satisfying Λ ρ μ η μ ν Λ σ ν = η ρ σ . {\displaystyle \Lambda _{\rho }^{\mu }\eta _{\mu \nu }\Lambda _{\sigma
Minkowski_spacetime
Ways of writing certain laws of physics
{\begin{aligned}F^{\lambda \sigma }&=F_{\mu \nu }\eta ^{\mu \lambda }\eta ^{\nu \sigma },\\F_{\mu \nu }&=\partial _{\mu }A_{\nu }-\partial _{\nu }A_{\mu }\,\\{\partial
Covariant formulation of classical electromagnetism
Covariant_formulation_of_classical_electromagnetism
Metric used in probability and statistics
auxiliary measure λ {\displaystyle \lambda } . Such a measure always exists, e.g λ = ( P + Q ) {\displaystyle \lambda =(P+Q)} . The square of the Hellinger
Hellinger_distance
Vector satisfying some of the criteria of an eigenvector
{\displaystyle f(\lambda )=\pm (\lambda -\lambda _{1})^{\mu _{1}}(\lambda -\lambda _{2})^{\mu _{2}}\cdots (\lambda -\lambda _{r})^{\mu _{r}},} where λ 1
Generalized_eigenvector
Theorem in geometry
{\textstyle \mu (\lambda A+(1-\lambda )B)\geq (\mu (\lambda A)^{1/n}+\mu ((1-\lambda )B)^{1/n})^{n}=(\lambda \mu (A)^{1/n}+(1-\lambda )\mu (B)^{1/n})^{n}
Brunn–Minkowski_theorem
Tensor field in Riemannian geometry
}{}_{\sigma \mu \nu }=\partial _{\mu }\Gamma ^{\rho }{}_{\nu \sigma }-\partial _{\nu }\Gamma ^{\rho }{}_{\mu \sigma }+\Gamma ^{\rho }{}_{\mu \lambda }\Gamma
Riemann_curvature_tensor
Block diagonal matrix of Jordan blocks
{ord} _{(A-sI)^{-1}}\lambda =\mathrm {idx} _{A}\lambda } . Jordan decomposition Jordan normal form Holomorphic functional calculus Matrix exponential Logarithm
Jordan_matrix
Special case of the Euler-Lagrange equations
y\prime }}=\mu gy{\sqrt {1+y\prime ^{2}}}+\lambda {\sqrt {1+y\prime ^{2}}}-\left[\mu gy{\frac {y\prime ^{2}}{\sqrt {1+y\prime ^{2}}}}+\lambda {\frac {y\prime
Beltrami_identity
Mathematical formulation of special and general relativity
{1}{2\,e(\lambda )}}g_{\mu \nu }(x(\lambda ))\,{\frac {dx^{\mu }(\lambda )}{d\lambda }}{\frac {dx^{\nu }(\lambda )}{d\lambda }}-{\frac {e(\lambda )\,m^{2}\
Relativistic Lagrangian mechanics
Relativistic_Lagrangian_mechanics
Academic subfield of computer science
Church–Turing thesis) models of computation are in use. Lambda calculus A computation consists of an initial lambda expression (or two if you want to separate the
Theory_of_computation
Type of elastic body wave
otherwise) and λ {\displaystyle \lambda } and μ {\displaystyle \mu } are the Lamé parameters ( μ {\displaystyle \mu } being the material's shear modulus)
S_wave
Function used in optimal control theory
{x} (t),\mathbf {u} (t),\mathbf {\lambda } (t))}{\partial \mathbf {x} }}=-{\dot {\mathbf {\mu } }}(t)+\rho \mathbf {\mu } (t)} which follows immediately
Hamiltonian_(control_theory)
This article summarizes several identities in exterior calculus, a mathematical calculus used in differential geometry. The following notation is used
Exterior_calculus_identities
Concept in theoretical mathematical physics
spacetime arises as λ → 0 {\displaystyle \lambda \to 0} . There might be a notion of quantum differential calculus on the quantum spacetime algebra, compatible
Quantum_spacetime
Statement relating differentiable symmetries to conserved quantities
_{\mu }\left[{\frac {1}{2}}x^{\mu }\partial ^{\nu }\varphi \partial _{\nu }\varphi -\lambda x^{\mu }\varphi ^{4}\right]=\partial _{\mu }\left(x^{\mu }{\mathcal
Noether's_theorem
Analog of the continuous Laplace operator
{\displaystyle \lim _{t\to \infty }e^{-k\lambda _{i}t}={\begin{cases}0,&{\text{if}}&\lambda _{i}>0\\1,&{\text{if}}&\lambda _{i}=0\end{cases}}} In other words
Discrete_Laplace_operator
Four-vector analogue of the gradient operation
in four-vector mathematics. The Ricci calculus style can be used: A μ η μ ν B ν {\displaystyle A^{\mu }\eta _{\mu \nu }B^{\nu }} , which uses tensor index
Four-gradient
Four-vector that is analogous to classical acceleration
{\displaystyle A^{\lambda }:={\frac {DU^{\lambda }}{d\tau }}={\frac {dU^{\lambda }}{d\tau }}+\Gamma ^{\lambda }{}_{\mu \nu }U^{\mu }U^{\nu }} In inertial
Four-acceleration
\lambda }R_{\nu \mu \sigma }^{\lambda }=R_{\alpha \nu \mu \sigma }} and by further decomposition, g α μ R α ν μ σ = R ν σ {\displaystyle g^{\alpha \mu
Mathematics of general relativity
Mathematics_of_general_relativity
Monte Carlo distribution shifting technique
{\displaystyle N(\mu ,\sigma ^{2})} the tilted density f θ ( x ) {\displaystyle f_{\theta }(x)} is the N ( μ + θ σ 2 , σ 2 ) {\displaystyle N(\mu +\theta \sigma
Exponential_tilting
Generalisation of the generalised hypergeometric function pFq(z)
fractional calculus. Recall that lim λ → 0 W λ , μ ( z ) = e z / Γ ( μ ) {\displaystyle \lim \limits _{\lambda \to 0}W_{\lambda ,\mu }(z)=e^{z}/\Gamma (\mu )}
Fox–Wright_function
Equation in physics
}F_{\mu \nu }=\mu _{0}\nabla _{\mu }J_{\nu }-\mu _{0}\nabla _{\nu }J_{\mu }-F_{\nu \rho }R^{\rho }{}_{\mu }+F_{\mu \rho }R^{\rho }{}_{\nu }+R_{\mu \nu
Inhomogeneous electromagnetic wave equation
Inhomogeneous_electromagnetic_wave_equation
Theorem in set theory
^{\operatorname {cf} (\mu )}\leq \mu ^{\kappa }=(\lambda ^{\kappa })^{\kappa }=\lambda ^{\kappa \cdot \kappa }=\lambda ^{\kappa }=\mu } , a contradiction. Assuming
Kőnig's_theorem_(set_theory)
One of several equivalent definitions of a computable function
function. Other equivalent classes of functions are the functions of lambda calculus and the functions that can be computed by Markov algorithms. The subset
General_recursive_function
Vector in relativity
′ μ = Λ μ ν A ν {\displaystyle {A'}^{\mu }=\Lambda ^{\mu }{}_{\nu }A^{\nu }\,,\quad {A'}_{\mu }=\Lambda _{\mu }{}^{\nu }A_{\nu }} in which the matrix
Four-vector
Measure that has a notion of derivative
{\displaystyle \lambda \geq 0} exists such that μ t h {\displaystyle \mu _{th}} is absolutely continuous with respect to λ {\displaystyle \lambda } such that
Differentiable_measure
Generalization of tensor fields
\delta }\,g_{\alpha \kappa }\,g_{\beta \lambda }\,g_{\gamma \mu }g_{\delta \nu }\,=\,\varepsilon _{\kappa \lambda \mu \nu }\,g\,,} but in general relativity
Tensor_density
Setting of relativistic physics in geometric algebra
equation: ∇ 2 A = μ 0 J {\displaystyle \nabla ^{2}A=\mu _{0}J} Analogously to the tensor calculus formalism, the potential formulation in STA naturally
Spacetime_algebra
Type of vector space in math
{\displaystyle f(T)=\int _{\sigma (T)}f(\lambda )\,\mathrm {d} E_{\lambda }\,.} The resulting continuous functional calculus has applications in particular to
Hilbert_space
Measure defined on all open sets of a topological space
λ ( E ) = μ ( E ) {\displaystyle \lambda (E)=\mu (E)} for every Borel measurable set, where μ {\displaystyle \mu } is the Borel measure described above)
Borel_measure
Partial differential equation used in physics
\end{aligned}}} where v p h = 1 μ ε {\displaystyle v_{\mathrm {ph} }={\frac {1}{\sqrt {\mu \varepsilon }}}} is the speed of light (i.e. phase velocity) in a medium with
Electromagnetic_wave_equation
Formulation to quantize gauge field theories in physics
\lambda D_{i}c\\\delta A_{\mu }&=\delta \lambda D_{\mu }c\\\delta c&=\delta \lambda {\tfrac {i}{2}}[c,c]\\\delta b=\delta {\bar {c}}&=\delta \lambda B\\\delta
BRST_quantization
Algebraic structure in mathematics
tr(x)=x+\sigma (x)=2\lambda +\mu a\in R,} n ( x ) = x σ ( x ) = λ 2 − λ μ a − μ 2 b ∈ R . {\displaystyle n(x)=x\sigma (x)=\lambda ^{2}-\lambda \mu a-\mu ^{2}b\in
Quadratic_algebra
In Euclidean space, a measure of that set's "size"
C(K)=\left[\inf _{\lambda }E(\lambda )\right]^{-1}} with the infimum taken over all positive Borel measures λ {\displaystyle \lambda } concentrated on
Capacity_of_a_set
Stochastic process for effort or wear
/ v {\displaystyle \gamma =\mu ^{2}/v} and λ = μ / v {\displaystyle \lambda =\mu /v} . Multiplication of a gamma process by a scalar constant α {\displaystyle
Gamma_process
Generalization of the one-dimensional normal distribution to higher dimensions
) = ∑ ( σ i j σ k ℓ ⋯ σ X Z ) {\displaystyle \mu _{1,\dots ,2\lambda }(\mathbf {x} -{\boldsymbol {\mu }})=\sum \left(\sigma _{ij}\sigma _{k\ell }\cdots
Multivariate normal distribution
Multivariate_normal_distribution
Exterior algebraic map taking tensors from p forms to n-p forms
}(dx^{\mu })&=\eta ^{\mu \lambda }\varepsilon _{\lambda \nu \rho \sigma }{\frac {1}{3!}}dx^{\nu }\wedge dx^{\rho }\wedge dx^{\sigma }\,,\\{\star }(dx^{\mu }\wedge
Hodge_star_operator
Concept in theoretical physics
eff = 0. {\displaystyle \left(\mu {\frac {\partial }{\partial \mu }}+\beta _{\lambda }{\frac {\partial }{\partial \lambda }}+\varphi \gamma _{\varphi }{\frac
Renormalization_group
Theorem in mathematical measure theory
{\displaystyle \lambda =\lambda _{a}+\lambda _{s},\quad \lambda _{a}\ll \mu ,\quad \lambda _{s}\perp \mu .} If λ {\displaystyle \lambda } is positive and
Lebesgue's decomposition theorem
Lebesgue's_decomposition_theorem
Study of geometric properties of sets through measure theory
{\displaystyle \mathrm {vol} {\big (}(1-\lambda )K+\lambda L{\big )}^{1/n}\geq (1-\lambda )\mathrm {vol} (K)^{1/n}+\lambda \,\mathrm {vol} (L)^{1/n},} can be
Geometric_measure_theory
function Mu operator Ackermann function Turing machine Halting problem Computability theory, computation Herbrand Universe Markov algorithm Lambda calculus Church–Rosser
List of mathematical logic topics
List_of_mathematical_logic_topics
Canonical solutions of the general Legendre equation
{\displaystyle Q_{\lambda }^{\mu }(z)={\frac {{\sqrt {\pi }}\ \Gamma (\lambda +\mu +1)}{2^{\lambda +1}\Gamma (\lambda +3/2)}}{\frac {1}{z^{\lambda +\mu +1}}}(1-z^{2})^{\mu
Associated Legendre polynomials
Associated_Legendre_polynomials
Tensor describing energy momentum density in spacetime
G_{\mu \nu }+\Lambda g_{\mu \nu }=\kappa T_{\mu \nu },} where G μ ν = R μ ν − 1 2 R g μ ν {\textstyle G_{\mu \nu }=R_{\mu \nu }-{\tfrac {1}{2}}R\,g_{\mu \nu
Stress–energy_tensor
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
Girl/Female
Indian
Flame
Male
Egyptian
, the father of Ouaphris.
Female
Egyptian
, the wife of Uer-mu.
Girl/Female
Indian
Ambitious
Female
Spanish
Feminine form of Spanish Amado, AMADA means "beloved."
Female
Egyptian
, a lady of the family of Uer-mu.
Girl/Female
Arabic, Indian, Muslim, Pashtun, Sanskrit
Flame; Large; Spacious; Tall; Another Name for Durga and Lakshmi
Female
Greek
(Λαμία) Greek myth name of an evil spirit who abducts and devours children, LAMIA means "large shark." The name means "vampire" in Latin and "fiend" in Arabic.
Girl/Female
Chinese, Indian, Sanskrit
Gifted; Moon; Iron
Girl/Female
Muslim
Reviser, Teacher, Fem of mu
Surname or Lastname
English
English : from Middle English lamb, a nickname for a meek and inoffensive person, or a metonymic occupational name for a keeper of lambs. See also Lamm.English : from a short form of the personal name Lambert.Irish : reduced Anglicized form of Gaelic Ó Luain (see Lane 3). MacLysaght comments: ‘The form Lamb(e), which results from a more than usually absurd pseudo-translation (uan ‘lamb’), is now much more numerous than O’Loan itself.’Possibly also a translation of French agneau.
Girl/Female
African, Australian, French, Greek, Hebrew
God is Mu Judge
Surname or Lastname
English
English : habitational name from Lambden in Berwickshire.
Girl/Female
Indian
Reviser, Teacher, Fem of mu
Surname or Lastname
English
English : from a pet form of Lamb 1 and 2.English : from an Old Norse personal name Lambi, from lamb ‘lamb’.
Girl/Female
Muslim
Flame
Girl/Female
American, Australian, Danish, German, Hebrew, Polish, Slavic, Slovenia
Morning Star; God is Mu Judge; Dream
Female
Native American
Native American Indian name ALAMEDA means "grove of cottonwood."
Girl/Female
African, Australian, Hebrew
God is Mu Judge
Female
Italian
Italian form of English Amber, AMBRA means "amber."
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
Boy/Male
Bengali, Hindu, Indian, Kannada, Kashmiri, Malayalam, Marathi, Mythological, Sanskrit, Telugu, Traditional
Lord Shiva
Male
Hindi/Indian
(राजीव) Hindi name for a "lotus flower," derived from the Sanskrit word rajiv, RAJIV means "striped."Â
Boy/Male
Hindu, Indian
Lotus Born; Lord Brahma
Surname or Lastname
English
English : habitational name from a place in Middlesex named with the Old English personal name Ēana or Old English ēan ‘lamb’ + feld ‘open field’.
Girl/Female
Biblical
Subjected pit.
Girl/Female
Indian
Valuable
Surname or Lastname
English (Oxfordshire)
English (Oxfordshire) : habitational name from Stirch in Warwickshire.
Girl/Female
Latin English
Beautiful, loving, lovable.Amabel was used frequently during the Middle Ages and briefly in the...
Girl/Female
Slavic
At peace.
Boy/Male
Tamil
Shakyasinha | ஷகà¯à®¯à®¾à®¸à®¿à®‚ஹ
Lord Buddha
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
n.
A viola da gamba.
n.
A lamb.
a.
Shaped like the Greek letter lambda (/); as, the lambdoid suture between the occipital and parietal bones of the skull.
n.
A thin plate or scale; a layer or coat lying over another; -- said of thin plates or platelike substances, as of bone or minerals.
n.
A thin plate or lamina.
a.
Lamed; lame; disabled; impeded.
n.
A lamp or candlestick.
n.
The lamb's-quarters (Chenopodium album).
pl.
of Lamina
n.
The blade of a leaf; the broad, expanded portion of a petal or sepal of a flower.
pl.
of Lamina
n.
A thin plate or scale; specif., one of the thin, flat processes composing the vane of a feather.
n.
Any person who is as innocent or gentle as a lamb.
n.
A lamb.
n.
The name of the Greek letter /, /, corresponding with the English letter L, l.
imp. & p. p.
of Lamb
v. i.
To bring forth a lamb or lambs, as sheep.
p. pr. & vb. n.
of Lamb
n.
The point of junction of the sagittal and lambdoid sutures of the skull.
n.
A monster capable of assuming a woman's form, who was said to devour human beings or suck their blood; a vampire; a sorceress; a witch.