This book discusses special properties of integer sequences from a unique point of view. It generalizes common, well-known properties and connects them with sequences such as divisible sequences, Lucas sequences, Lehmer sequences, periods of sequences, lifting properties, and so on. The book presents theories derived by using elementary means and includes results not usually found in common number theory books. Considering the impact and usefulness of these theorems, the book also aims at being valuable for Olympiad level problem solving as well as regular research. This book will be of interest to students, researchers and faculty members alike.

A Handbook of Integer Sequences contains a main table of 2300 sequences of integers that are collected from all branches of mathematics and science. This handbook describes how to use the main table and provides methods for analyzing and describing unknown and important sequences. This compilation also serves as an index to the literature for locating references on a particular problem and quickly finds numbers such as 712, number of partitions of 30, 18th Catalan number, or expansion of ? to 60 decimal places. Other topics include the method of differences, self-generating sequences, polyominoes, permutations, and puzzle sequences. This publication is a good source for students and researchers who are confronted with strange and important sequences.

This book constitutes the refereed proceedings of the 6th International Conference on Mathematical Knowledge Management, MKM 2007, and the 14th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006, held in Hagenberg, Austria in June 2007 as events of the RISC Summer 2007, organized by the Research Institute for Symbolic Computation.

THIS volume is concerned with a substantial branch of number theory of which no connected account appears to exist; we describe the general nature of the constituent topics in the introduction. Although some excellent surveys dealing with limited aspects of the subject under con sideration have been published, the literature as a whole is far from easy to study. This is due in part to the extent of the literature; it is necessary to thread one's way through a maze of results, a complicated structure of inter-relationships, and many conflicting notations. In addition, however, not all the original papers are free from obscurities, and consequently some of these papers are difficult (a few even exceed ingly difficult) to master. We try to give a readable and coherent account of the subject, con taining a cross-section of the more interesting results. We felt that it would have been neither practicable nor desirable to attempt a compre hensive account; we treat each aspect of the subject from some special point of view, and select results accordingly. Needless to say, this approach entails the omission of many interesting and important results (quite apart from defects in the selection due to errors of judgement on our part). Those results selected for inclusion are, however, proved in complete detail and without the assumption of any prior knowledge on the part of the reader.

This book contains survey papers and research papers by leading experts on sequences and their applications. It discusses both the theory of sequences and their applications in cryptography, coding theory, communications systems, numerical computation and computer simulation. Sequences have important applications in ranging systems, spread spectrum communication systems, multi-terminal system identification, code division multiply access communications systems, global positioning systems, software testing, circuit testing, computer simulation, and stream ciphers. The papers contained in this volume bring together experts from discrete mathematics, computer science and communications engineering, and help to bridge advances in these different areas.

This book constitutes the thoroughly refereed proceedings of the 17th International Conference on Discrete Geometry for Computer Imagery, DGCI 2013, held in Seville, Spain, in March 2013. The 34 revised full papers presented were carefully selected from 56 submissions and focus on geometric transforms, discrete and combinatorial tools for image segmentation and analysis, discrete and combinatorial topology, discrete shape representation, recognition and analysis, models for discrete geometry, morphological analysis and discrete tomography.

A treatment of cutting-edge research on the distribution modulo one of sequences and related topics, much of it from the last decade. There are numerous exercises to aid student understanding of the topic, and researchers will appreciate the notes at the end of each chapter, extensive references and open problems.