mathematicallyDefinedAs
P114498
predicate
Indicates that one entity is precisely specified or characterized in terms of another using a formal mathematical definition or expression.
Observed surface forms (8)
- isDefinedByFormula ×2
- mathematicalOrigin ×2
- definingEquation ×1
- hasMathematicalCharacterization ×1
- hasTrigonometricDefinition ×1
- isMathematically ×1
- mathematicallyDefinedIn ×1
- mathematicallyDescribedAs ×1
Sample triples (13)
| Subject | Object |
|---|---|
| Arnold cat map | (x',y') = (2x + y, x + y) mod 1 via predicate surface "isDefinedByFormula" ⓘ |
| Arnold cat map | (x',y') = A(x,y) mod 1 with A = [[2,1],[1,1]] via predicate surface "isDefinedByFormula" ⓘ |
| Cauchy horizon | boundary of the domain of dependence of a partial Cauchy surface ⓘ |
| Chebyshev polynomials of the first kind | T_n(\cos \theta) = \cos(n\theta) via predicate surface "hasTrigonometricDefinition" ⓘ |
| Eliassen–Palm flux | zonal-mean quasi-geostrophic equations via predicate surface "mathematicallyDefinedIn" ⓘ |
|
Gaussian mixture models
surface form:
Gaussian mixture model
|
weighted sum of Gaussian probability density functions ⓘ |
|
Goldstone bosons
surface form:
Goldstone boson
|
coset space G/H of symmetry breaking via predicate surface "mathematicalOrigin" ⓘ |
|
Goldstone bosons
surface form:
Goldstone boson
|
degenerate vacuum manifold via predicate surface "mathematicalOrigin" ⓘ |
| NFA | 5-tuple (Q, Σ, δ, q0, F) ⓘ |
| OneHotEncoder | mapping from category set to standard basis vectors via predicate surface "isMathematically" ⓘ |
| Schmidt orthogonalization | iterative orthogonalization procedure via predicate surface "mathematicallyDescribedAs" ⓘ |
| Wythoff Nim | P-positions are described using the golden ratio via predicate surface "hasMathematicalCharacterization" ⓘ |
| product logarithm | W(z) e^{W(z)} = z via predicate surface "definingEquation" ⓘ |