Search Results for ""

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 ...

Proof theory, also called metamathematics, is the study of mathematics and mathematical reasoning (Hofstadter 1989) in a general and abstract sense itself. Instead of ...

A positive number k such that a lamina or solid body with moment of inertia about an axis I and mass m is given by I=mk^2. Pickover (1995) defines a generalization of k as a ...

Consider a two-dimensional tessellation with q regular p-gons at each polygon vertex. In the plane, (1-2/p)pi=(2pi)/q (1) 1/p+1/q=1/2, (2) so (p-2)(q-2)=4 (3) (Ball and ...

A right angle is an angle equal to half the angle from one end of a line segment to the other. A right angle is pi/2 radians or 90 degrees. A triangle containing a right ...

Let k>=0 and n>=2 be integers. A SOMA, or more specifically a SOMA(k,n), is an n×n array A, whose entries are k-subsets of a kn-set Omega, such that each element of Omega ...

Let A be a relational system, and let L be a language which is appropriate for A. Let phi be a well-formed formula of L, and let s be a valuation in A. Then A|=_sphi is ...

Regular tessellations of the plane by two or more convex regular polygons such that the same polygons in the same order surround each polygon vertex are called semiregular ...

By analogy with the sinc function, define the sinhc function by sinhc(z)={(sinhz)/z for z!=0; 1 for z=0. (1) Since sinhx/x is not a cardinal function, the "analogy" with the ...

A sparse matrix is a matrix that allows special techniques to take advantage of the large number of "background" (commonly zero) elements. The number of zeros a matrix needs ...