convergenceProperty
P14357
predicate
Indicates that one entity has a convergence-related characteristic or behavior with respect to another entity, such as approaching a limit or stabilizing under repeated application.
All labels observed (40)
| Label | Occurrences |
|---|---|
| convergesTo | 23 |
| convergenceType | 11 |
| convergenceDependsOn | 8 |
| convergenceProperty canonical | 8 |
| typeOfConvergence | 7 |
| convergenceCondition | 6 |
| convergenceCriteria | 5 |
| convergesIf | 5 |
| convergesFor | 4 |
| convergesWhen | 4 |
| conditionForConvergence | 3 |
| convergesInSense | 3 |
| convergenceOrder | 2 |
| convergenceRate | 2 |
| convergenceRateDependsOn | 2 |
| convergesUnder | 2 |
| hasOrderOfConvergence | 2 |
| DirichletSeriesConvergenceRegion | 1 |
| EulerProductConvergenceRegion | 1 |
| approximationImprovesWith | 1 |
| convergenceCriterion | 1 |
| convergenceSpeed | 1 |
| convergenceSpeedComparedToNewton | 1 |
| converges | 1 |
| convergesAbsolutelyOn | 1 |
| convergesBestFor | 1 |
| convergesFasterThan | 1 |
| convergesIn | 1 |
| convergesOn | 1 |
| convergesUniformlyOn | 1 |
| hasAbscissaOfConvergence | 1 |
| hasAbscissaOfUniformConvergence | 1 |
| hasConvergenceMode | 1 |
| hasConvergenceRegion | 1 |
| isAsymptotically | 1 |
| limitOfRatioOfConsecutiveTerms | 1 |
| localConvergence | 1 |
| refinementProperty | 1 |
| regionOfConvergence | 1 |
| requiresTypeOfConvergence | 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: convergenceProperty
Generated description
Indicates that one entity has a convergence-related characteristic or behavior with respect to another entity, such as approaching a limit or stabilizing under repeated application.
Sample triples (120)
| Subject | Object |
|---|---|
| Newton’s method | quadratic convergence near a simple root via predicate surface "convergenceType" ⓘ |
| Newton’s method | quality of initial guess via predicate surface "convergenceDependsOn" ⓘ |
| Newton’s method | smoothness of the function via predicate surface "convergenceDependsOn" ⓘ |
|
Mayer cluster expansion in statistical mechanics
surface form:
Mayer cluster expansion
|
low densities via predicate surface "convergesBestFor" ⓘ |
|
Blaschke products
surface form:
Blaschke product
|
compact subsets of unit disk via predicate surface "convergesUniformlyOn" ⓘ |
| Beilinson spectral sequence | given coherent sheaf via predicate surface "convergesTo" ⓘ |
| Baum–Welch algorithm | local maximum of likelihood via predicate surface "convergesTo" ⓘ |
| Cartan–Eilenberg spectral sequence | derived functor of the composite functor via predicate surface "convergesTo" ⓘ |
| Cartan–Eilenberg spectral sequence | convergence to the derived functor of the composite functor via predicate surface "convergenceType" ⓘ |
| Robbins–Monro algorithm | sum a_n = infinity via predicate surface "convergenceCondition" ⓘ |
| Robbins–Monro algorithm | sum a_n^2 < infinity via predicate surface "convergenceCondition" ⓘ |
| Lévy’s continuity theorem | weak convergence via predicate surface "typeOfConvergence" ⓘ |
| Lévy’s continuity theorem | convergence in law via predicate surface "typeOfConvergence" ⓘ |
| Marchenko–Pastur law | almost sure convergence of empirical spectral distribution via predicate surface "convergenceType" ⓘ |
| Newton–Cotes formulas | converge as step size tends to zero for smooth functions ⓘ |
| Dirichlet theorem on Fourier series | pointwise convergence via predicate surface "typeOfConvergence" ⓘ |
| Carleson theorem on almost-everywhere convergence | pointwise almost-everywhere convergence via predicate surface "typeOfConvergence" ⓘ |
| Oja rule | first principal component via predicate surface "convergesTo" ⓘ |
| Oja rule | leading eigenvector of input covariance matrix via predicate surface "convergesTo" ⓘ |
| Hurwitz zeta function | Re(s) > 1 via predicate surface "convergesFor" ⓘ |