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
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
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
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
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
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
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
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
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
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
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
Discrete analog of a derivative
{\Delta _{h}}{h}}(1+\lambda h)^{\frac {x}{h}}={\frac {\Delta _{h}}{h}}e^{\ln(1+\lambda h){\frac {x}{h}}}=\lambda e^{\ln(1+\lambda h){\frac {x}{h}}},} and
Finite_difference
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
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
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)
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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)
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
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
{\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
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
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
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
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
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
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)
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
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)
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
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
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)
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
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
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
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)
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
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
Stochastic differential equation
) . {\displaystyle m{\frac {\mathrm {d} \mathbf {v} }{\mathrm {d} t}}=-\lambda \mathbf {v} +{\boldsymbol {\eta }}\left(t\right).} Here, v {\displaystyle
Langevin_equation
\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
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
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
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
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
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
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
This article summarizes several identities in exterior calculus, a mathematical calculus used in differential geometry. The following notation is used
Exterior_calculus_identities
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
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
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
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
Algebraization of first-order logic with equality
{\displaystyle \lambda } and μ {\displaystyle \mu } , then λ = μ ⟺ ∃ κ . ( λ = κ ∧ κ = μ ) {\displaystyle \lambda =\mu \iff \exists \kappa .(\lambda =\kappa \wedge
Cylindric_algebra
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
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
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
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
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
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
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)
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
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
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
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
Thesis on the nature of computability
{\displaystyle \mu {\mbox{-recursive}}} ⟹ K l e e n e {\displaystyle {\stackrel {Kleene}{\implies }}} λ -definable {\displaystyle \lambda {\mbox{-definable}}}
Church–Turing_thesis
Aspect of general relativity
G_{\mu \nu }+\Lambda g_{\mu \nu }\,=\kappa T_{\mu \nu },} where G μ ν {\displaystyle G_{\mu \nu }} is the Einstein tensor, Λ {\displaystyle \Lambda } is
Solutions of the Einstein field equations
Solutions_of_the_Einstein_field_equations
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
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
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
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
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
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
Equations of motion for viscous fluids
{\sigma }}=-\left[p-\left(\lambda +{\tfrac {2}{3}}\mu \right)\left(\nabla \cdot \mathbf {u} \right)\right]\mathbf {I} +\mu \left(\nabla \mathbf {u} +\left(\nabla
Navier–Stokes_equations
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 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
{(1+t)^{x}}{(1+(1+t)^{\lambda })^{\mu }}}} (Roman 1984, 4.4.6), (Boas & Buck 1958, p.37). They are a generalization of the Boole polynomials. Umbral calculus Schafer
Peters_polynomials
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
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
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
Male
Egyptian
, the father of Ouaphris.
Surname or Lastname
English
English : habitational name from Lambden in Berwickshire.
Girl/Female
Muslim
Reviser, Teacher, Fem of mu
Female
Italian
Italian form of English Amber, AMBRA means "amber."
Girl/Female
African, Australian, Hebrew
God is Mu Judge
Female
Native American
Native American Indian name ALAMEDA means "grove of cottonwood."
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
Indian
Ambitious
Girl/Female
American, Australian, Danish, German, Hebrew, Polish, Slavic, Slovenia
Morning Star; God is Mu Judge; Dream
Female
Egyptian
, the wife of Uer-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
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
Indian
Flame
Female
Egyptian
, a lady of the family of Uer-mu.
Girl/Female
Chinese, Indian, Sanskrit
Gifted; Moon; Iron
Female
Spanish
Feminine form of Spanish Amado, AMADA means "beloved."
Girl/Female
African, Australian, French, Greek, Hebrew
God is Mu Judge
Girl/Female
Indian
Reviser, Teacher, Fem of mu
Girl/Female
Muslim
Flame
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
Girl/Female
Teutonic
Dearly loved.
Girl/Female
Hindu, Indian, Tamil
A Young and Slim Girl
Boy/Male
Arabic, Muslim
Most Holy
Boy/Male
Irish
White cow.
Male
German
Pet form of German Ludwig, LUTZ means "famous warrior."
Boy/Male
Tamil
Dnyandeep | தà¯à®¨à¯à®¯à®¨à¯à®¤à¯€à®ªÂ
A lamp of knowledge
Surname or Lastname
English (mainly northeastern England and West Yorkshire)
English (mainly northeastern England and West Yorkshire) : habitational name from either of two places in Cumbria, or from one in the parish of Halsall, near Ormskirk, Lancashire. The Cumbrian places are probably named from Middle English hart ‘male deer’ + kerr ‘marshland’. The one in Lancashire has the same second element, while the first is probably Old English hÄr ‘gray’ or hara ‘hare’.nickname for an eavesdropper or busybody, from an agent derivative of Middle English herkien ‘to listen’.
Male
Scottish
Scottish Gaelic form of Old Norse Ãvarr, ÃŒOMHAR means "bow warrior."
Girl/Female
Hindu
Smiling, Always smiling
Girl/Female
American, British, English, Latin
Champion; Female Version of Neil; Diminutive of Cornelia; Horn
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
LAMBDA MU-CALCULUS
v. i.
To bring forth a lamb or lambs, as sheep.
n.
The blade of a leaf; the broad, expanded portion of a petal or sepal of a flower.
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 lamp or candlestick.
a.
Lamed; lame; disabled; impeded.
n.
A lamb.
n.
Any person who is as innocent or gentle as a lamb.
n.
A lamb.
n.
A viola da gamba.
n.
A thin plate or lamina.
p. pr. & vb. n.
of Lamb
n.
A thin plate or scale; specif., one of the thin, flat processes composing the vane of a feather.
imp. & p. p.
of Lamb
n.
The point of junction of the sagittal and lambdoid sutures of the skull.
a.
Shaped like the Greek letter lambda (/); as, the lambdoid suture between the occipital and parietal bones of the skull.
n.
The lamb's-quarters (Chenopodium album).
pl.
of Lamina
pl.
of Lamina
n.
The name of the Greek letter /, /, corresponding with the English letter L, l.
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.