Search Results for ""

Let f:A->B be a map between sets A and B. Let Y subset= B. Then the preimage of Y under f is denoted by f^(-1)(Y), and is the set of all elements of A that map to elements in ...

A general set of methods for integrating ordinary differential equations. Predictor-corrector methods proceed by extrapolating a polynomial fit to the derivative from the ...

The Prelle-Singer method is a semi-decision procedure for solving nonlinear first-order ordinary differential equations of the form y^'=P(x,y)/Q(x,y), where P and Q are ...

A formula of first-order logic is in prenex normal form if it is of the form Q_1x_1...Q_nx_nM, (1) where each Q_i is a quantifier forall ("for all") or exists ("exists") and ...

For X a topological space, the presheaf F of Abelian groups (rings, ...) on X is defined such that 1. For every open subset U subset= X, an Abelian group (ring, ...) F(U), ...

A presheaf C of categories consists of the following data: 1. For every local homeomorphism f:Y->X of topological spaces X, Y, a category C(f:Y->X); 2. For every diagram f ...

A topological transformation in which a surface is made out of an infinitely elastic material which, however, may not be torn or cut. Using this simple prescription gives the ...

Consider a bivariate normal distribution in variables x and y with covariance rho=rho_(11)=<xy>-<x><y> (1) and an arbitrary function g(x,y). Then the expected value of the ...

A primitive Pythagorean triple is a Pythagorean triple (a,b,c) such that GCD(a,b,c)=1, where GCD is the greatest common divisor. A right triangle whose side lengths give a ...

A primitive right triangle is a right triangle having integer sides a, b, and c such that GCD(a,b,c)=1, where GCD(a,b,c) is the greatest common divisor. The set of values ...