Both the quality of the results of TEX s formula layout algorithm and the complexity of its description in the TEXbook are hard to beat The algorithm is verbally described as an imperative program with very complex control ow and complicated manipulations of the data structures representing formulae In a forthcoming textbook we describe TEX s formula layout algorithm as a functional program tra...

By the age of 15 weeks, human infants search visually for a parent who is heard to speak, even when no spatial or temporal information unites the face and voice. They can apparently use knowledge about a parent's audible and visible characteristics to guide intermodal exploration. Perceivers evidently learn at an early age about some of the optic and acoustic information that specifies certain ...

This paper presents a proof of Stirling's formula using Haar wavelets and some properties of Hilbert space, such as Parseval's identity. The present paper shows a connection between Haar wavelets and certain sequences.