hasEquationForm
P97265
predicate
Indicates that one entity is expressed or represented in the form of a specific equation.
Observed surface forms (8)
| Surface form | Occurrences |
|---|---|
| hasDefiningEquation | 3 |
| isDefinedByEquation | 3 |
| hasParametricEquation | 2 |
| involvesEquation | 2 |
| typicalEquationForm | 2 |
| hasClosedFormLikeRelation | 1 |
| hasShortEquation | 1 |
| hasWeierstrassEquation | 1 |
Sample triples (17)
| Subject | Object |
|---|---|
|
Clebsch diagonal surfaces
surface form:
Clebsch diagonal surface
|
sum x_i = 0 and sum x_i^3 = 0 in P^4 ⓘ |
| Whitney umbrella | x^2 = y^2 z via predicate surface "hasDefiningEquation" ⓘ |
| orthogonal group O(n) | A^T A = I_n via predicate surface "isDefinedByEquation" ⓘ |
| orthogonal group O(n) | A A^T = I_n via predicate surface "isDefinedByEquation" ⓘ |
| abc conjecture | a + b = c via predicate surface "involvesEquation" ⓘ |
| Fermat surface | x^n + y^n + z^n + w^n = 0 via predicate surface "hasDefiningEquation" ⓘ |
| Erdős–Straus conjecture | 4nxyz = nxy + nxz + nyz via predicate surface "involvesEquation" ⓘ |
| Sylvester sequence | a_{n+1} - 1 = \prod_{k=1}^{n} a_k via predicate surface "hasClosedFormLikeRelation" ⓘ |
|
special linear group SL(n,R)
surface form:
SL(n,ℝ)
|
det(A) = 1 in M_n(ℝ) via predicate surface "isDefinedByEquation" ⓘ |
| Yamabe problem | L_g u = c u^{rac{n+2}{n-2}} on an n-dimensional manifold via predicate surface "typicalEquationForm" ⓘ |
| Mordell curve | y^2 = x^3 + k via predicate surface "hasDefiningEquation" ⓘ |
| Cornu spiral | x(t) = C(t) = ∫₀ᵗ cos(πu²/2) du via predicate surface "hasParametricEquation" ⓘ |
| Cornu spiral | y(t) = S(t) = ∫₀ᵗ sin(πu²/2) du via predicate surface "hasParametricEquation" ⓘ |
| Soddy circle | (x - a)^2 + (y - b)^2 = r^2 in Cartesian coordinates ⓘ |
| Weierstrass form | y^2 = x^3 + ax + b via predicate surface "hasShortEquation" ⓘ |
| Tate curve | y^2 + xy = x^3 + a_4(q)x + a_6(q) via predicate surface "hasWeierstrassEquation" ⓘ |
| Frey curve | y^2 = x(x - a^p)(x + b^p) via predicate surface "typicalEquationForm" ⓘ |