This book introduces the basic ideas of mathematical proof to students embarking on
university mathematics. The emphasis is on helping the reader to understand and construct …

This paper compares several alternative binarization algorithms for historical archive
documents, by evaluating their effect on end-to-end word recognition performance in a …

The use of check digits with identification numbers for error detection is now standard
practice. Notable exceptions such as social security numbers, telephone numbers and serial …

Since 1981, when Lamport introduced the remote user authentication scheme using table, a
plenty of schemes had been proposed with tables or without table using. Recently Das et al …

In 1981, Lamport introduced a remote password authentication scheme using a password
table. In 2000, Hwang and Li proposed a remote user authentication scheme using smart …

Dieses Lehrbuch präsentiert projektive Geometrie, ein wichtiges klassisches Gebiet der
Mathematik, im neuen Gewand: So liegt ein Akzent auf überraschenden und wichtigen …

Modern methods of encoding information into digital form include error check digits that are
functions of the other information digits. When digital information is transmitted, the values of …

Neil Sloane showed that the problem of determining the maximum size of a binary code of
constant weight 2 that can correct a single adjacent transposition is equivalent to finding the …

Identification numbers, used to encode information pertaining to products, documents,
accounts, or individuals, are recorded onto documents, typed or scanned into computers …

Num encontro de professores que atuam no ensino básico fomos questionados sobre a
utilização de aplicações da Matemática em sala de aula. Nossas primeiras considerações …