A systematic and rigorous derivation of the Boolean functions that represent the three operations of the ring of integers in the 1-2-4-5 code is developed from their corresponding tables. The same is done for numerical complementation of a number. The equations of the latter are combined with those for addition...
A theory of straight line triangulations of points in the plane is developed. A basic transformation is presented, and it is shown that any triangulation may be transformed into any other triangulation which has the same boundary by a finite sequence of the basic transformations. The proof of the transformation...
Among the geometries with n points on every line (with n
an integer greater than one), those in which there are no parallels
and those in which the axiom of parallels holds have been discussed
(as finite projective and affine geometries) in the literature. This
paper contrasts such geometries with...
A technique of differentiation with respect to the distance to
the boundary of an outer parallel-body is applied to known measures of
sets of p-dimensional linear spaces which intersect a general convex
body in n-dimensional euclidean space in order to obtain an appropriate
definition of the measures of sets of...
This paper gives a proof that the Completeness Axiom of
Lobachevskian geometry -- as formulated in the second English translation
of David Hilbert's Foundations of Geometry (tenth German
edition)--is a theorem in the three dimensional Poincare model. An
explicit canonical isomorphism between all models of Lobachevskian
space is given.
This,...
This paper presents an extension of Hubert's incidence axioms to n dimensions and uses these and his order axioms to prove several theorems. We prove extensions of Pasch's Axiom, the Crossbar Theorem, and Desargues' Theorem for n dimensions. A non-Euclidean model is presented and proved to satisfy the axioms. In...
A radix 2n non-restoring division algorithm is described. The
algorithm is designed to be compatible with hardware multiprecision
multiplication methods currectly used in high speed digital computers.
This enables the use of the same hardware, with only changes in
control logic, to be used to implement both multiplication and
division....