mathematicalObject
P43795
predicate
Indicates that the subject is a mathematical entity or construct, such as a number, function, set, or structure, within a mathematical context.
All labels observed (9)
| Label | Occurrences |
|---|---|
| mathematicalContext | 22 |
| mathematicalObject canonical | 14 |
| mathematicalObjectType | 5 |
| hasMathematicalObjects | 4 |
| hasMathematicalObject | 3 |
| hasMathematicalObjectType | 2 |
| mathematicalConcept | 2 |
| named mathematical object in dynamical systems theory},{ | 1 |
| onObject | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: mathematicalObject
Generated description
Indicates that the subject is a mathematical entity or construct, such as a number, function, set, or structure, within a mathematical context.
Sample triples (54)
| Subject | Object |
|---|---|
| Euler product formula for the Riemann zeta function | infinite product ⓘ |
| Euler product formula for the Riemann zeta function | complex variable s ⓘ |
| law of large numbers | sequence of random variables ⓘ |
| Stokes' theorem | relation between integrals over a manifold and its boundary ⓘ |
| Zariski topology | Spec(R) via predicate surface "onObject" ⓘ |
|
Book V
surface form:
Book V (Disquisitiones Arithmeticae)
|
binary quadratic forms via predicate surface "hasMathematicalObjects" ⓘ |
|
Book V
surface form:
Book V (Disquisitiones Arithmeticae)
|
discriminant via predicate surface "hasMathematicalObjects" ⓘ |
|
Book V
surface form:
Book V (Disquisitiones Arithmeticae)
|
class number via predicate surface "hasMathematicalObjects" ⓘ |
|
Book V
surface form:
Book V (Disquisitiones Arithmeticae)
|
equivalence classes of forms via predicate surface "hasMathematicalObjects" ⓘ |
| Conway chained arrow notation | partial function on tuples of integers via predicate surface "mathematicalObjectType" ⓘ |
| Cauchy–Riemann equations | functions from open subsets of ℂ to ℂ via predicate surface "mathematicalContext" ⓘ |
| Einstein–Hilbert action | scalar functional of the metric via predicate surface "mathematicalObjectType" ⓘ |
| Al-Uqlidisi | decimal notation via predicate surface "mathematicalConcept" ⓘ |
| Al-Uqlidisi | fractional representation in base 10 via predicate surface "mathematicalConcept" ⓘ |
| Born series | series in powers of the interaction potential ⓘ |
| Smale horseshoe | smooth dynamical systems via predicate surface "mathematicalContext" ⓘ |
| Smale horseshoe | diffeomorphisms of the plane via predicate surface "mathematicalContext" ⓘ |
| Gleason’s theorem | separable Hilbert spaces via predicate surface "mathematicalContext" ⓘ |
| Gleason’s theorem | orthomodular lattices of projections via predicate surface "mathematicalContext" ⓘ |
| Weyl geometry | Weyl 1-form via predicate surface "hasMathematicalObject" NERFINISHED ⓘ |
| Weyl geometry | affine connection via predicate surface "hasMathematicalObject" ⓘ |
| Weyl geometry | conformal metric tensor via predicate surface "hasMathematicalObject" ⓘ |
| Sperner family | family of subsets via predicate surface "mathematicalObjectType" ⓘ |
| Lindelöf hypothesis | statement about complex-valued function growth ⓘ |
| worldline instanton method | functional integral over closed worldlines ⓘ |
| worldline instanton method | classical worldline instanton solution ⓘ |
| Jury test | polynomial in the complex variable z ⓘ |
| Jury stability table | finite sequence of row operations on polynomial coefficients ⓘ |
| Coleman theorem on symmetry breaking in two dimensions | relativistic quantum fields on two-dimensional Minkowski space via predicate surface "mathematicalContext" ⓘ |
| LLN | theorem about sequences of random variables ⓘ |
| Mueller calculus | Mueller matrix ⓘ |
| Souslin operation | operation on power sets via predicate surface "mathematicalObjectType" ⓘ |
| Euler’s identity for sine product | identity involving entire functions via predicate surface "hasMathematicalObjectType" ⓘ |
| Euler’s identity for sine product | infinite product over integers via predicate surface "hasMathematicalObjectType" ⓘ |
| Scott topology | order-enriched topology via predicate surface "mathematicalContext" ⓘ |
| Scott topology | non-Hausdorff topology via predicate surface "mathematicalContext" ⓘ |
| Dirichlet density | real number between 0 and 1 for many natural sets of primes via predicate surface "mathematicalObjectType" ⓘ |
| Seiberg–Witten differential | Riemann surfaces via predicate surface "mathematicalContext" NERFINISHED ⓘ |
| Seiberg–Witten differential | complex algebraic curves via predicate surface "mathematicalContext" ⓘ |
| Harish-Chandra projection | complex semisimple Lie algebras via predicate surface "mathematicalContext" ⓘ |
| Harish-Chandra projection | real reductive Lie groups via predicate surface "mathematicalContext" NERFINISHED ⓘ |
| Harish-Chandra projection | category O of Bernstein–Gelfand–Gelfand via predicate surface "mathematicalContext" NERFINISHED ⓘ |
| Chinese restaurant process | distribution over partitions of {1,…,n} for each n ⓘ |
| Arnold cat map | Vladimir Arnold via predicate surface "named mathematical object in dynamical systems theory},{" NERFINISHED ⓘ |
| Arnold tongue | bifurcation theory via predicate surface "mathematicalContext" ⓘ |
| Arnold tongue | rotation theory of circle maps via predicate surface "mathematicalContext" ⓘ |
| Arnold tongue | torus maps and quasi-periodicity via predicate surface "mathematicalContext" ⓘ |
| BBP phase transition | asymptotic regime of large matrix dimension via predicate surface "mathematicalContext" ⓘ |
| BBP phase transition | limit of eigenvalue distributions via predicate surface "mathematicalContext" ⓘ |
| BPST instanton | fiber bundles and characteristic classes via predicate surface "mathematicalContext" ⓘ |