Matches in LOV for { ?s <http://www.w3.org/2000/01/rdf-schema#label> ?o. }
- F.4.1.3 label "F.4.1.3. Logic and constraint programming".
- F.4.1.4 label "F.4.1.4. Mechanical theorem proving".
- F.4.1.5 label "F.4.1.5. Modal logic".
- F.4.1.6 label "F.4.1.6. Model theory".
- F.4.1.7 label "F.4.1.7. Proof theory".
- F.4.1.8 label "F.4.1.8. Recursive function theory".
- F.4.1.9 label "F.4.1.9. Set theory".
- F.4.2.0 label "F.4.2.0. Decision problems".
- F.4.2.1 label "F.4.2.1. Grammar types".
- F.4.2.2 label "F.4.2.2. Parallel rewriting systems".
- F.4.2.3 label "F.4.2.3. Parsing".
- F.4.2.4 label "F.4.2.4. Thue systems".
- F.4.3.0 label "F.4.3.0. Algebraic language theory".
- F.4.3.1 label "F.4.3.1. Classes defined by grammars or automata".
- F.4.3.2 label "F.4.3.2. Classes defined by resource-bounded automata".
- F.4.3.3 label "F.4.3.3. Decision problems".
- F.4.3.4 label "F.4.3.4. Operations on languages".
- F.4.m label "F.4.m. Miscellaneous".
- F.m label "F.m. MISCELLANEOUS".
- G.0 label "G.0. GENERAL".
- G.1.0.0 label "G.1.0.0. Computer arithmetic".
- G.1.0.1 label "G.1.0.1. Conditioning".
- G.1.0.2 label "G.1.0.2. Error analysis".
- G.1.0.3 label "G.1.0.3. Interval arithmetic".
- G.1.0.4 label "G.1.0.4. Multiple precision arithmetic".
- G.1.0.5 label "G.1.0.5. Numerical algorithms".
- G.1.0.6 label "G.1.0.6. Parallel algorithms".
- G.1.0.7 label "G.1.0.7. Stability".
- G.1.1.0 label "G.1.1.0. Difference formulas".
- G.1.1.1 label "G.1.1.1. Extrapolation".
- G.1.1.2 label "G.1.1.2. Interpolation formulas".
- G.1.1.3 label "G.1.1.3. Smoothing".
- G.1.1.4 label "G.1.1.4. Spline and piecewise polynomial interpolation".
- G.1.10 label "G.1.10. Applications".
- G.1.2.0 label "G.1.2.0. Approximation of surfaces and contours".
- G.1.2.1 label "G.1.2.1. Chebyshev approximation and theory".
- G.1.2.10 label "G.1.2.10. Spline and piecewise polynomial approximation".
- G.1.2.11 label "G.1.2.11. Wavelets and fractals".
- G.1.2.2 label "G.1.2.2. Elementary function approximation".
- G.1.2.3 label "G.1.2.3. Fast Fourier transforms".
- G.1.2.4 label "G.1.2.4. Least squares approximation".
- G.1.2.5 label "G.1.2.5. Linear approximation".
- G.1.2.6 label "G.1.2.6. Minimax approximation and algorithms".
- G.1.2.7 label "G.1.2.7. Nonlinear approximation".
- G.1.2.8 label "G.1.2.8. Rational approximation".
- G.1.2.9 label "G.1.2.9. Special function approximations".
- G.1.3.0 label "G.1.3.0. Conditioning".
- G.1.3.1 label "G.1.3.1. Determinants".
- G.1.3.2 label "G.1.3.2. Eigenvalues and eigenvectors".
- G.1.3.3 label "G.1.3.3. Error analysis".
- G.1.3.4 label "G.1.3.4. Linear systems".
- G.1.3.5 label "G.1.3.5. Matrix inversion".
- G.1.3.6 label "G.1.3.6. Pseudoinverses".
- G.1.3.7 label "G.1.3.7. Singular value decomposition".
- G.1.3.8 label "G.1.3.8. Sparse, structured, and very large systems".
- G.1.4.0 label "G.1.4.0. Adaptive and iterative quadrature".
- G.1.4.1 label "G.1.4.1. Automatic differentiation".
- G.1.4.2 label "G.1.4.2. Equal interval integration".
- G.1.4.3 label "G.1.4.3. Error analysis".
- G.1.4.4 label "G.1.4.4. Finite difference methods".
- G.1.4.5 label "G.1.4.5. Gaussian quadrature".
- G.1.4.6 label "G.1.4.6. Iterative methods".
- G.1.4.7 label "G.1.4.7. Multidimensional quadrature".
- G.1.5.0 label "G.1.5.0. Continuation methods".
- G.1.5.1 label "G.1.5.1. Convergence".
- G.1.5.2 label "G.1.5.2. Error analysis".
- G.1.5.3 label "G.1.5.3. Iterative methods".
- G.1.5.4 label "G.1.5.4. Polynomials, methods for".
- G.1.5.5 label "G.1.5.5. Systems of equations".
- G.1.6.0 label "G.1.6.0. Constrained optimization".
- G.1.6.1 label "G.1.6.1. Convex programming".
- G.1.6.10 label "G.1.6.10. Stochastic programming".
- G.1.6.11 label "G.1.6.11. Unconstrained optimization".
- G.1.6.2 label "G.1.6.2. Global optimization".
- G.1.6.3 label "G.1.6.3. Gradient methods".
- G.1.6.4 label "G.1.6.4. Integer programming".
- G.1.6.5 label "G.1.6.5. Least squares methods".
- G.1.6.6 label "G.1.6.6. Linear programming".
- G.1.6.7 label "G.1.6.7. Nonlinear programming".
- G.1.6.8 label "G.1.6.8. Quadratic programming methods".
- G.1.6.9 label "G.1.6.9. Simulated annealing".
- G.1.7.0 label "G.1.7.0. Boundary value problems".
- G.1.7.1 label "G.1.7.1. Chaotic systems".
- G.1.7.2 label "G.1.7.2. Convergence and stability".
- G.1.7.3 label "G.1.7.3. Differential-algebraic equations".
- G.1.7.4 label "G.1.7.4. Error analysis".
- G.1.7.5 label "G.1.7.5. Finite difference methods".
- G.1.7.6 label "G.1.7.6. Initial value problems".
- G.1.7.7 label "G.1.7.7. Multistep and multivalue methods".
- G.1.7.8 label "G.1.7.8. One-step methods".
- G.1.7.9 label "G.1.7.9. Stiff equations".
- G.1.8.0 label "G.1.8.0. Domain decomposition methods".
- G.1.8.1 label "G.1.8.1. Elliptic equations".
- G.1.8.10 label "G.1.8.10. Parabolic equations".
- G.1.8.11 label "G.1.8.11. Spectral methods".
- G.1.8.2 label "G.1.8.2. Finite difference methods".
- G.1.8.3 label "G.1.8.3. Finite element methods".
- G.1.8.4 label "G.1.8.4. Finite volume methods".
- G.1.8.5 label "G.1.8.5. Hyperbolic equations".
- G.1.8.6 label "G.1.8.6. Inverse problems".