Search results

Results 1 – 20 of 99
Advanced search

Search in namespaces:

There is a page named "Orthogonality (term rewriting)" on Wikipedia

View (previous 20 | ) (20 | 50 | 100 | 250 | 500)
  • Orthogonality as a property of term rewriting systems (TRSs) describes where the reduction rules of the system are all left-linear, that is each variable...
    2 KB (322 words) - 22:56, 14 January 2024
  • Thumbnail for Orthogonality (mathematics)
    \langle f,g\rangle _{w}=0.} Orthogonality of two functions with respect to one inner product does not imply orthogonality with respect to another inner...
    13 KB (2,164 words) - 00:04, 7 May 2024
  • Reduction strategy (category Rewriting systems)
    In rewriting, a reduction strategy or rewriting strategy is a relation specifying a rewrite for each object or term, compatible with a given reduction...
    21 KB (2,602 words) - 07:54, 10 April 2024
  • bracket of any smooth vector fields orthogonal to F is still orthogonal to F. The condition of hypersurface-orthogonality can be rephrased in terms of the...
    9 KB (1,096 words) - 21:08, 13 February 2024
  • Thumbnail for Zernike polynomials
    {n-m}{2}}^{(0,m)}\left(2x^{2}-1\right)}{P_{\frac {n-m}{2}}^{(0,m)}(1)}}} . The orthogonality in the radial part reads ∫ 0 1 2 n + 2 R n m ( ρ ) 2 n ′ + 2 R n ′ m...
    41 KB (6,214 words) - 14:55, 24 May 2024
  • Thumbnail for Legendre polynomials
    Legendre polynomials (category Orthogonal polynomials)
    orthogonality to P 0 {\displaystyle P_{0}} and P 1 {\displaystyle P_{1}} , and so on. P n {\displaystyle P_{n}} is fixed by demanding orthogonality to...
    31 KB (5,385 words) - 15:49, 15 July 2024
  • Bergstra, Jan Willem Klop (1987). "Term Rewriting Systems with Priorities". In Lescanne, Pierre (ed.). Rewriting Techniques and Applications, 2nd Int...
    7 KB (593 words) - 18:35, 21 December 2023
  • see Process and Operations in parallel he sees them at right angles (orthogonal) (see Value Stream Mapping). This starkly throws most of the operations...
    11 KB (1,404 words) - 18:14, 14 May 2024
  • {\displaystyle \ E_{a}^{j}=q_{ab}\ E_{j}^{b}~.} We then have the two orthogonality relationships   δ j k = q a b   E a j   E b k   , {\displaystyle \ \delta...
    11 KB (1,859 words) - 02:39, 24 December 2023
  • (mathematics) Reduction (mathematics), the rewriting of an expression into a simpler form Beta reduction, the rewriting of an expression from lambda calculus...
    8 KB (1,078 words) - 01:25, 2 November 2023
  • Thumbnail for Chebyshev polynomials
    Chebyshev polynomials (category Orthogonal polynomials)
    {\displaystyle \cos \theta } may not be obvious at first sight but follows by rewriting cos ⁡ ( n θ ) {\displaystyle \cos(n\theta )} and sin ⁡ ( ( n + 1 ) θ )...
    61 KB (11,372 words) - 18:54, 16 July 2024
  • {\displaystyle {\widehat {X}}(t\mid T)=\int _{0}^{T}Q(t,s)Y(s)\,ds.} By orthogonality principle, Q(t,s) satisfies ∫ 0 T Q ( t , s ) R X ( s , t ) d s + N...
    47 KB (10,715 words) - 18:17, 24 June 2024
  • the orthogonality of r i {\displaystyle {\boldsymbol {r}}_{i}} and conjugacy of p i {\displaystyle {\boldsymbol {p}}_{i}} . Due to the orthogonality of...
    13 KB (2,789 words) - 07:20, 19 March 2022
  • may also refer to: Spin group, a particular double cover of the special orthogonal group SO(n) Spin tensor, a tensor quantity for describing spinning motion...
    6 KB (830 words) - 11:16, 3 April 2024
  • \tau _{p}} . For a causal system with symmetrical kernels we can rewrite the n-th term approximately in triangular form ∑ τ 1 = 0 M ∑ τ 2 = τ 1 M ⋯ ∑ τ...
    23 KB (4,265 words) - 15:44, 18 June 2024
  • Hermite polynomials (category Orthogonal polynomials)
    In mathematics, the Hermite polynomials are a classical orthogonal polynomial sequence. The polynomials arise in: signal processing as Hermitian wavelets...
    56 KB (10,011 words) - 16:24, 12 June 2024
  • ensemble models Hamiltonians lacking time-reversal symmetry. The Gaussian orthogonal ensemble GOE ( n ) {\displaystyle {\text{GOE}}(n)} is described by the...
    49 KB (7,081 words) - 12:21, 14 June 2024
  • kernel of A, if and only if x is orthogonal (or perpendicular) to each of the row vectors of A (since orthogonality is defined as having a dot product...
    24 KB (3,701 words) - 15:54, 24 June 2024
  • comparing integers with integers, and reals with reals, makes sense. Rewriting this function so that it would only accept 'x' and 'y' of the same type...
    25 KB (3,590 words) - 16:14, 29 March 2024
  • having sets as objects and binary relations as morphisms Confluence (term rewriting), discusses several unusual but fundamental properties of binary relations...
    63 KB (8,901 words) - 17:35, 17 July 2024
View (previous 20 | ) (20 | 50 | 100 | 250 | 500)