Search Results for ""

The system of partial differential equations u_t+uu_x+vu_y=U_t+UU_x+mu/rhou_(yy) u_x+v_y=0.

Let DeltaA^'B^'C^' be the reflection of the orthic triangle of the reference triangle DeltaABC in the nine-point center. Then DeltaA^'B^'C^' and DeltaABC are in perspective, ...

If A is true precisely unless B, then B implies not-A and not-B implies A. J. H. Conway has suggested the term "unlesss" for this state of affairs, by analogy with iff.

The branch of formal logic, also called functional calculus, that deals with representing the logical connections between statements as well as the statements themselves.

A premise is a statement that is assumed to be true. Formal logic uses a set of premises and syllogisms to arrive at a conclusion.

The present value v_n of a single payment made at n periods in the future is v_n=p/((1+r)^n), (1) where n is the number of periods until payment, p is the payment amount, and ...

An Abelian planar difference set of order n exists only for n a prime power. Gordon (1994) has verified it to be true for n<2000000.

The set of prime numbers, sometimes denoted P (Derbyshire 2004, p. 163), and implemented in the Wolfram Language as Primes. In the Wolfram Language, a quantity can be tested ...

The primitive part of a polynomial P(x) is P(x)/k, where k is the content. For a general univariate polynomial P(x), the Wolfram Language function FactorTermsList[poly, x] ...

A polytope in n-dimensional Euclidean space R^n whose vertices are integer lattice points but which does not contain any other lattice points in its interior or on its ...