Explanation of symbols. data not available * provisional gure ** revised provisional gure (but not dee nite) x publication prohibited (conn dential gure) – nil – (between two gures) inclusive 0 (0.0) less than half of unit concerned empty cell not applicable Due to rounding, some totals may not correspond with the sum of the separate gures.

The deformation of applicable surfaces such as sheets of paper satisfies the differential geometric constraints of isometry (lengths and areas are conserved) and vanishing Gaussian curvature. We show that these constraints lead to a closed set of equations that allow recovery of the full geometric structure from a single image of the surface and knowledge of its undeformed shape. We show that t...

When solving systems of equations by using matrices, many teachers present a Gauss-Jordan elimination approach to row reducing matrices that can involve painfully tedious operations with fractions (which I will call the traditional method). In this essay, I present an alternative method to row reduce matrices that does not introduce additional fractions until the very last steps. The students i...

The model elimination calculus is a linear, refutationally complete calculus for first order clause logic. We show how to extend this calculus with aframeworkfor theory reasoning. Theory reasoning m~ans to separate the knowledge of a given domain or theory and treat it by special purpose inference rules. We present two versions of theory model elimination: the one is called total theory model e...

The history of Model Theory can be traced back to the work of Charles Sanders Peirce and Ernst Schröder, when semantics started playing a role in Logic. But the first outcome dates from 1915. It appears in the paper Über Möglichkeiten im Relativkalkül (Math. Ann. 76, 445-470) by Leopold Löwenheim. The period from 1915 to 1935 is, in words of R.L. Vaught, extraordinary. The method of elimination...