Search Results for ""

The determinant of a binary quadratic form Au^2+2Buv+Cv^2 is defined as D=AC-B^2. It is equal to 1/4 of the corresponding binary quadratic form discriminant. Unfortunately, ...

The discriminant of a binary quadratic form au^2+buv+cv^2 is defined by d=4ac-b^2. It is equal to four times the corresponding binary quadratic form determinant. ...

A bivariate polynomial is a polynomial in two variables. Bivariate polynomials have the form f(x,y)=sum_(i,j)a_(i,j)x^iy^j. A homogeneous bivariate polynomial, also called a ...

The only Wiedersehen surfaces are the standard round spheres. The conjecture was proven by combining the Berger-Kazdan comparison theorem with A. Weinstein's results for n ...

A set equipped with a sigma-algebra of subsets.

An occurrence of a variable in a logic which is not free. Bound variables are also called dummy variables.

A (symmetrical) boundary set of radius r and center x_0 is the set of all points x such that |x-x_0|=r. Let x_0 be the origin. In R^1, the boundary set is then the pair of ...

The function Pi_(a,b)(x)=H(x-a)-H(x-b) which is equal to 1 for a<=x<=b and 0 otherwise. Here H(x) is the Heaviside step function. The special case Pi_(-1/2,1/2)(x) gives the ...

For every positive integer n, there exists a square in the plane with exactly n lattice points in its interior. This was extended by Schinzel and Kulikowski to all plane ...

An extension of the secant method of root finding to higher dimensions.