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 |
|---|---|
| Dyson series | typically asymptotic rather than convergent ⓘ |
| Reissner–Nordström metric | flat via predicate surface "isAsymptotically" ⓘ |
| generalized binomial theorem | |z| < 1 for general complex α via predicate surface "convergenceCondition" ⓘ |
| European Union economic and monetary union | price stability criterion via predicate surface "convergenceCriteria" ⓘ |
| European Union economic and monetary union | government budget deficit criterion via predicate surface "convergenceCriteria" ⓘ |
| European Union economic and monetary union | government debt criterion via predicate surface "convergenceCriteria" ⓘ |
| European Union economic and monetary union | exchange rate stability criterion via predicate surface "convergenceCriteria" ⓘ |
| European Union economic and monetary union | long-term interest rate criterion via predicate surface "convergenceCriteria" ⓘ |
| Gauss–Seidel method | strict diagonal dominance of matrix A via predicate surface "convergesUnder" ⓘ |
| Gauss–Seidel method | symmetric positive definite matrices via predicate surface "convergesUnder" ⓘ |
| CLT | increasing sample size via predicate surface "approximationImprovesWith" ⓘ |
| Euler–Maruyama method | strong order 0.5 via predicate surface "hasOrderOfConvergence" ⓘ |
| Euler–Maruyama method | weak order 1 via predicate surface "hasOrderOfConvergence" ⓘ |
| Riemann sums | function being Riemann integrable via predicate surface "conditionForConvergence" ⓘ |
| Riemann sums | value of the Riemann integral when the function is Riemann integrable via predicate surface "convergesTo" ⓘ |
| Riemann sums | finer partitions generally give better approximations via predicate surface "refinementProperty" ⓘ |
|
Hopfield networks
surface form:
Hopfield network
|
local energy minima via predicate surface "convergesTo" ⓘ |
| Riemann zeta function | Re(s) > 1 via predicate surface "DirichletSeriesConvergenceRegion" ⓘ |
| Riemann zeta function | Re(s) > 1 via predicate surface "EulerProductConvergenceRegion" ⓘ |
| Euler’s method for numerical integration | 1 via predicate surface "convergenceOrder" ⓘ |
| Fibonacci sequence | golden ratio via predicate surface "limitOfRatioOfConsecutiveTerms" ⓘ |
| KMeans | cluster assignments no longer change via predicate surface "convergesWhen" ⓘ |
| KMeans | change in objective function is below a threshold via predicate surface "convergesWhen" ⓘ |
| Weierstrass M-test | uniform convergence via predicate surface "typeOfConvergence" ⓘ |
| Picard iteration | unique fixed point of the associated integral operator via predicate surface "convergesTo" ⓘ |
| OSPF | fast via predicate surface "convergenceType" ⓘ |
| Laplace transform | set of complex s where the integral converges via predicate surface "regionOfConvergence" ⓘ |
|
law of large numbers
surface form:
weak law of large numbers
|
convergence in probability via predicate surface "convergenceType" ⓘ |
|
law of large numbers
surface form:
strong law of large numbers
|
almost sure convergence via predicate surface "convergenceType" ⓘ |
| Jacobi method | the coefficient matrix is strictly diagonally dominant via predicate surface "convergesIf" ⓘ |
| Jacobi method | the coefficient matrix is symmetric positive definite via predicate surface "convergesIf" ⓘ |
| Jacobi method | spectral radius of the iteration matrix via predicate surface "convergenceDependsOn" ⓘ |
| Jacobi method | spectral radius ρ(B_J) < 1 via predicate surface "convergesIf" ⓘ |
| Jacobi method | conditioning of the matrix A via predicate surface "convergenceRateDependsOn" ⓘ |
| Successive Over-Relaxation | Gauss–Seidel method for suitable ω via predicate surface "convergesFasterThan" ⓘ |
| Successive Over-Relaxation | 0 < ω < 2 for many classes of problems via predicate surface "convergenceCondition" ⓘ |
| Successive Over-Relaxation | spectral radius of iteration matrix via predicate surface "convergenceRateDependsOn" ⓘ |
| Richardson iteration | spectral radius of (I - \omega A) is less than 1 via predicate surface "convergesIf" ⓘ |
| Richardson iteration | spectrum of the matrix A via predicate surface "convergenceDependsOn" ⓘ |
| Richardson iteration | magnitude of relaxation parameter via predicate surface "convergenceDependsOn" ⓘ |
| Milstein method | strong convergence via predicate surface "convergenceType" ⓘ |
| EIGRP | fast convergence ⓘ |
| Edgeworth expansion | asymptotically rather than absolutely in general via predicate surface "converges" ⓘ |
|
IS‑IS
surface form:
IS-IS
|
fast convergence ⓘ |
| Halley’s method for solving equations | cubic via predicate surface "convergenceOrder" ⓘ |
| Halley’s method for solving equations | faster local convergence under suitable conditions via predicate surface "convergenceSpeedComparedToNewton" ⓘ |
| Halley’s method for solving equations | cubic when started sufficiently close to a simple root via predicate surface "localConvergence" ⓘ |
| Cauchy condensation test | sum a_n converges iff sum 2^n a_{2^n} converges via predicate surface "convergenceCriterion" ⓘ |
| Grothendieck spectral sequence | R^{p+q} (G∘F) (A) via predicate surface "convergesTo" ⓘ |
| Kähler–Ricci flow | Kähler–Einstein metric via predicate surface "convergesTo" ⓘ |