AI & ChatGPT searches , social queriess 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
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
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
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
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
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
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
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
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
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
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
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)
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
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
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
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
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
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
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
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
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
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)
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
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
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
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
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
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
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
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
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
{\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
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
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
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
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
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)
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
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
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
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)
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
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
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
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
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)
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
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
Algebraization of first-order logic with equality
{\displaystyle \lambda } and μ {\displaystyle \mu } , then λ = μ ⟺ ∃ κ . ( λ = κ ∧ κ = μ ) {\displaystyle \lambda =\mu \iff \exists \kappa .(\lambda =\kappa \wedge
Cylindric_algebra
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
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
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
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
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
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
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
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
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
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
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
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
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)
This article summarizes several identities in exterior calculus, a mathematical calculus used in differential geometry. The following notation is used
Exterior_calculus_identities
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)
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)
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
\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
Analog of the continuous Laplace operator
piecewise linear finite elements, finite volumes, and discrete exterior calculus. To facilitate computation, the Laplacian is encoded in a matrix L ∈ R
Discrete_Laplace_operator
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
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
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
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
Function in thermodynamics and statistical physics
_{i}\right)}+\delta {\left(\lambda _{1}-\sum _{i}\lambda _{1}\rho _{i}\right)}+\delta {\left(\lambda _{2}U-\sum _{i}\lambda _{2}\rho _{i}E_{i}\right)}\\[1ex]&=\sum
Partition function (statistical mechanics)
Partition_function_(statistical_mechanics)
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
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
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
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
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
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
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
Theory of supersymmetry in four dimensions
(A_{\mu }^{I},\lambda ^{I})} indexed by I {\displaystyle I} . Here ϕ n {\displaystyle \phi ^{n}} are complex scalar fields, A μ I {\displaystyle A_{\mu }^{I}}
4D_N_=_1_global_supersymmetry
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
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
= λ ⊗ μ {\displaystyle \operatorname {E} \Theta =\lambda \otimes \mu } . Here μ {\displaystyle \mu } is a measure on ( 0 , ∞ ) {\displaystyle (0,\infty
Subordinator_(mathematics)
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
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
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
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
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
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
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
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
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
Female
Italian
Italian form of English Amber, AMBRA means "amber."
Girl/Female
African, Australian, Hebrew
God is Mu Judge
Girl/Female
Muslim
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
Arabic, Indian, Muslim, Pashtun, Sanskrit
Flame; Large; Spacious; Tall; Another Name for Durga and Lakshmi
Female
Spanish
Feminine form of Spanish Amado, AMADA means "beloved."
Girl/Female
African, Australian, French, Greek, Hebrew
God is Mu Judge
Girl/Female
Indian
Flame
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.
Female
Native American
Native American Indian name ALAMEDA means "grove of cottonwood."
Girl/Female
Indian
Ambitious
Female
Egyptian
, a lady of the family of Uer-mu.
Girl/Female
American, Australian, Danish, German, Hebrew, Polish, Slavic, Slovenia
Morning Star; God is Mu Judge; Dream
Girl/Female
Indian
Reviser, Teacher, Fem of mu
Female
Egyptian
, the wife of Uer-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
Chinese, Indian, Sanskrit
Gifted; Moon; Iron
Male
Egyptian
, the father of Ouaphris.
Surname or Lastname
English
English : habitational name from Lambden in Berwickshire.
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
Girl/Female
Gujarati, Hindu, Indian, Kannada, Malayalam, Marathi, Tamil, Telugu
Which cannot be Written; Picture; Painting
Girl/Female
Arabic, Muslim
Worship
Girl/Female
Hindu
Brilliant, A pilgrimage centre in south india, A waistband
Boy/Male
Hindu, Indian, Tamil
God; God of Indiran; Name of Mallar
Boy/Male
Native American
Beggar.
Male
Greek
(ΤÏίτωνος) Variant form of Greek Triton, TRITONOS means "of the third."
Girl/Female
Indian
A river in paradise, Abundant
Boy/Male
Tamil
Shrivas | à®·à¯à®°à¯€à®µà®¾à®¸
Lord Vishnu
Boy/Male
British, English, German
Boar Hardness; Strong as a Boar
Boy/Male
Indian
A helper
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
n.
The point of junction of the sagittal and lambdoid sutures of the skull.
n.
A viola da gamba.
a.
Shaped like the Greek letter lambda (/); as, the lambdoid suture between the occipital and parietal bones of the skull.
pl.
of Lamina
p. pr. & vb. n.
of Lamb
pl.
of Lamina
imp. & p. p.
of Lamb
n.
A lamb.
n.
The blade of a leaf; the broad, expanded portion of a petal or sepal of a flower.
n.
A thin plate or scale; specif., one of the thin, flat processes composing the vane of a feather.
n.
The name of the Greek letter /, /, corresponding with the English letter L, l.
n.
A thin plate or lamina.
v. i.
To bring forth a lamb or lambs, as sheep.
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.
a.
Lamed; lame; disabled; impeded.
n.
Any person who is as innocent or gentle as a lamb.
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.
n.
The lamb's-quarters (Chenopodium album).
n.
A lamb.
n.
A lamp or candlestick.