Search Results for ""

The resolution principle, due to Robinson (1965), is a method of theorem proving that proceeds by constructing refutation proofs, i.e., proofs by contradiction. This method ...

The double covering group of the (linear) symplectic group.

A nonsingular linear map A:R^n->R^n is orientation-reversing if det(A)<0.

A real-linear vector space H equipped with a symplectic form s.

Predictability at a time tau in the future is defined by (R(x(t),x(t+tau)))/(H(x(t))), and linear predictability by (L(x(t),x(t+tau)))/(H(x(t))), where R and L are the ...

The primes with Legendre symbol (n/p)=1 (less than N=pi(d) for trial divisor d) which need be considered when using the quadratic sieve factorization method.

A bijective map between two metric spaces that preserves distances, i.e., d(f(x),f(y))=d(x,y), where f is the map and d(a,b) is the distance function. Isometries are ...

A linear combination of basis quaternions with integer coefficients.

A nonsingular linear map A:R^n->R^n is orientation-preserving if det(A)>0.

Differential evolution is a stochastic parallel direct search evolution strategy optimization method that is fairly fast and reasonably robust. Differential evolution is ...