Search Results for ""

The Weisfeiler-Leman dimension dim_(WL)(G) of a graph G, sometimes known as the WL dimension, is the smallest integer d such that the d-dimensional Weisfeiler-Leman algorithm ...

An anchor is the bundle map rho from a vector bundle A to the tangent bundle TB satisfying 1. [rho(X),rho(Y)]=rho([X,Y]) and 2. [X,phiY]=phi[X,Y]+(rho(X)·phi)Y, where X and Y ...

A sequence of polynomials p_n satisfying the identities p_n(x+y)=sum_(k>=0)(n; k)p_k(x)p_(n-k)(y).

A closed trail is called a circuit when it is specified in cyclic order but no first vertex is explicitly identified.

An axiomatic theory (such as a geometry) is said to be complete if each valid statement in the theory is capable of being proven true or false.

The slicing of a three-dimensional object by a plane (or more general slice).

A representation phi of a group G is faithful if it is one-to-one, i.e., if phi(g)=phi(h) implies g=h for g,h in G. Equivalently, phi is faithful if phi(g)=I_n implies g=e, ...

A system of linear differential equations (dy)/(dz)=A(z)y, (1) with A(z) an analytic n×n matrix, for which the matrix A(z) is analytic in C^_\{a_1,...,a_N} and has a pole of ...

The largest unit fraction, 1/2. 1/2 is a rational number with terminating decimal expansion 0.5.

The hemisphere function is defined as H(x,y)={sqrt(a-x^2-y^2) for sqrt(x^2+y^2)<=a; 0 for sqrt(x^2+y^2)>a. (1) Watson (1966) defines a hemispherical function as a function S ...