Search Results for ""

A spatial point process is a point process which models data that is localized at a discrete set of locations in space or, more specifically, on a plane.

Define the minimal bounding rectangle as the smallest rectangle containing a given lattice polygon. If the perimeter of the lattice polygon is equal to that of its minimal ...

A logical system which possesses an explicitly stated set of axioms from which theorems can be derived.

A class of processes which attempt to round off a domain and simplify its theory by adjoining elements.

If f_1,...,f_m:R^n->R are exponential polynomials, then {x in R^n:f_1(x)=...f_n(x)=0} has finitely many connected components.

The second-order ordinary differential equation y^('')+k/xy^'+epsilony^'y=0.

X subset= R^n is semianalytic if, for all x in R^n, there is an open neighborhood U of x such that X intersection U is a finite Boolean combination of sets {x^_ in ...

X subset= R^n is subanalytic if, for all x in R^n, there is an open set U and a bounded semianalytic set Y subset R^(n+m) such that X intersection U is the projection of Y ...

Theory of Computation

Arithmetic is the branch of mathematics dealing with integers or, more generally, numerical computation. Arithmetical operations include addition, congruence calculation, ...