approximationType
P4447
predicate
Indicates the specific method or scheme used to approximate a value, function, or relationship in a given context.
All labels observed (18)
| Label | Occurrences |
|---|---|
| approximationType canonical | 34 |
| approximatedBy | 19 |
| hasApproximation | 11 |
| usesApproximation | 8 |
| usesApproximationType | 6 |
| usesFunctionApproximator | 6 |
| approximationMethod | 5 |
| approximationLevel | 2 |
| canUseFunctionApproximation | 2 |
| estimatedFrom | 2 |
| hasApproximateFormula | 2 |
| numericalSchemes | 2 |
| approximatesSolution | 1 |
| approximationDomain | 1 |
| approximationFormula | 1 |
| approximatorType | 1 |
| firstApproximation | 1 |
| hasApproximationAlgorithm | 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: approximationType
Generated description
Indicates the specific method or scheme used to approximate a value, function, or relationship in a given context.
Sample triples (105)
| Subject | Object |
|---|---|
| Fisher equation | linear approximation for small inflation rates ⓘ |
| Rainbow DQN | deep convolutional neural network via predicate surface "usesFunctionApproximator" ⓘ |
| Larmor precession | Larmor theorem in classical electrodynamics via predicate surface "hasApproximation" ⓘ |
| Landé g-factor |
Russell–Saunders coupling
via predicate surface "hasApproximation"
ⓘ
surface form:
LS-coupling Landé formula
|
| Boltzmann collision operator | BGK operator via predicate surface "approximatedBy" ⓘ |
| Boltzmann collision operator | ES-BGK operator via predicate surface "approximatedBy" ⓘ |
| Boltzmann collision operator | discrete velocity models via predicate surface "approximatedBy" ⓘ |
| Boltzmann collision operator |
Monte Carlo method
via predicate surface "approximatedBy"
ⓘ
surface form:
Monte Carlo collision algorithms
|
|
Vlasov equation (for long-range interactions and negligible collisions)
surface form:
Vlasov equation
|
gyrokinetic equation via predicate surface "hasApproximation" ⓘ |
|
Vlasov equation (for long-range interactions and negligible collisions)
surface form:
Vlasov equation
|
drift-kinetic equation via predicate surface "hasApproximation" ⓘ |
| Voronin universality theorem | uniform approximation ⓘ |
| Rabi oscillation | rotating wave approximation via predicate surface "usesApproximation" ⓘ |
| Bonnor–Ebert mass | M_BE ≈ 1.18 c_s^4 / (G^{3/2} P_ext^{1/2}) via predicate surface "hasApproximateFormula" ⓘ |
| Stirling's approximation | asymptotic equality ⓘ |
| Stirling's approximation | logarithmic approximation ⓘ |
| classical fourth-order Runge–Kutta method | sequence of values y_n at discrete times t_n via predicate surface "approximatesSolution" ⓘ |
| Adriaan Metius | pi ≈ 355/113 via predicate surface "hasApproximation" ⓘ |
| Adriaan Metius | pi ≈ 22/7 via predicate surface "hasApproximation" ⓘ |
| Larmor formula | non-relativistic approximation ⓘ |
|
Tucker decomposition in multilinear algebra
surface form:
Tucker decomposition
|
low-rank tensor approximation ⓘ |
| Kramers opacity law | power-law opacity approximation ⓘ |
| Universal Value Function Approximators | parametric function approximator via predicate surface "approximatorType" ⓘ |
| Bhaskara I | rational approximation of sine ⓘ |
| Bhaskara I | trigonometric computation in astronomy via predicate surface "approximationDomain" ⓘ |
| Curie–Weiss law | phenomenological approximation ⓘ |
| Curie–Weiss law | mean-field approximation ⓘ |
| Q-learning | linear function approximator via predicate surface "canUseFunctionApproximation" ⓘ |
| Q-learning | neural network via predicate surface "canUseFunctionApproximation" ⓘ |
| Steiner tree problem | polynomial-time approximation schemes in some metric spaces via predicate surface "hasApproximation" ⓘ |
| Max-3-SAT | randomized 7/8-approximation via predicate surface "hasApproximationAlgorithm" ⓘ |
| Hamiltonian optics | short-wavelength limit of Maxwell's equations via predicate surface "usesApproximation" ⓘ |
| Gutzwiller trace formula | semiclassical limit ⓘ |
| Gutzwiller trace formula | stationary phase approximation via predicate surface "approximationMethod" ⓘ |
| nearly-free electron model | weak-potential approximation ⓘ |
| nearly-free electron model | perturbative treatment of lattice potential ⓘ |
| Coleman–Glashow mass formula | first-order symmetry breaking via predicate surface "approximationLevel" ⓘ |
| Subset sum problem | fully polynomial-time approximation scheme for optimization version via predicate surface "hasApproximation" ⓘ |
| Whittle likelihood | frequency domain approximation to exact likelihood ⓘ |
| Whittle index | asymptotically optimal in some regimes ⓘ |
| Bayes factor | BIC difference via predicate surface "approximatedBy" ⓘ |
|
neural fitted Q-iteration (NFQ)
surface form:
Neural Fitted Q-Iteration
|
neural network via predicate surface "usesFunctionApproximator" ⓘ |
|
AIXI model
surface form:
AIXI
|
AIXItl via predicate surface "hasApproximation" NERFINISHED ⓘ |
|
AIXI model
surface form:
AIXI
|
MC-AIXI-CTW via predicate surface "hasApproximation" NERFINISHED ⓘ |
| Solomonoff induction | resource-bounded variants via predicate surface "approximatedBy" ⓘ |
| Solomonoff induction | MDL-based predictors via predicate surface "approximatedBy" ⓘ |
| Solomonoff induction | compression-based prediction methods via predicate surface "approximatedBy" ⓘ |
| LLL algorithm | polynomial-factor approximation to shortest vector ⓘ |
| Einstein–Infeld–Hoffmann equations | post-Newtonian expansion via predicate surface "usesApproximation" ⓘ |
| Landau collision operator | Lenard–Bernstein operator via predicate surface "approximatedBy" NERFINISHED ⓘ |
| Landau collision operator | Rosenbluth–MacDonald–Judd form via predicate surface "approximatedBy" NERFINISHED ⓘ |