As a first comprehensive overview on Farey sequences and subsequences, this monograph is intended as a reference for anyone looking for specific material or formulas related to the subject. Duality of subsequences and maps between them are discussed and explicit proofs are shown in detail. From the Content Basic structural and enumerative properties of Farey sequences, Collective decision making, Committee methods in pattern recognition, Farey duality, Farey sequence, Fundamental Farey subsequences, Monotone bijections between Farey subsequences

This book constitutes the refereed proceedings of the 15th Annual European Symposium on Algorithms, ESA 2007, held in Eilat, Israel, in October 2007 in the context of the combined conference ALGO 2007. The 63 revised full papers presented together with abstracts of three invited lectures address all current subjects in algorithmics reaching from design and analysis issues of algorithms over to real-world applications and engineering of algorithms in various fields.

Collection of elementary mathematical problems with solutions. Ideal for students, teachers and general readers.

Traditionally a subject of number theory, continued fractions appear in dynamical systems, algebraic geometry, topology, and even celestial mechanics. The rise of computational geometry has resulted in renewed interest in multidimensional generalizations of continued fractions. Numerous classical theorems have been extended to the multidimensional case, casting light on phenomena in diverse areas of mathematics. This book introduces a new geometric vision of continued fractions. It covers several applications to questions related to such areas as Diophantine approximation, algebraic number theory, and toric geometry. The reader will find an overview of current progress in the geometric theory of multidimensional continued fractions accompanied by currently open problems. Whenever possible, we illustrate geometric constructions with figures and examples. Each chapter has exercises useful for undergraduate or graduate courses.

This book presents the latest computational models of rhythm and meter that are based on number theory, combinatorics and pattern matching. Two computational models of rhythm and meter are evaluated: The first one explores a relatively new field in Mathematics, namely Combinatorics on Words, specifically Christoffel Words and the Burrows-Wheeler Transform, together with integer partitions. The second model uses filtered Farey Sequences in combination with specific weights that are assigned to inter-onset ratios. This work is assessed within the context of the current state of the art of tempo tracking and computational music transcription. Furthermore, the author discusses various representations of musical rhythm, which lead to the development of a new shorthand notation that will be useful for musicologists and composers. Computational Models of Rhythm and Meter also contains numerous investigations into the timing structures of human rhythm and metre perception carried out within the last decade. Our solution to the transcription problem has been tested using a wide range of musical styles, and in particular using two recordings of J.S. Bach's Goldberg Variations by Glenn Gould. The technology is capable of modelling musical rhythm and meter by using Farey Sequences, and by detecting duration classes in a windowed analysis, which also detects the underlying tempo. The outcomes represent human performances of music as accurate as possible within Western score notation.

This is the first of a three volume collection devoted to the geometry, topology, and curvature of 2-dimensional spaces. The collection provides a guided tour through a wide range of topics by one of the twentieth century's masters of geometric topology. The books are accessible to college and graduate students and provide perspective and insight to mathematicians at all levels who are interested in geometry and topology. The first volume begins with length measurement as dominated by the Pythagorean Theorem (three proofs) with application to number theory; areas measured by slicing and scaling, where Archimedes uses the physical weights and balances to calculate spherical volume and is led to the invention of calculus; areas by cut and paste, leading to the Bolyai-Gerwien theorem on squaring polygons; areas by counting, leading to the theory of continued fractions, the efficient rational approximation of real numbers, and Minkowski's theorem on convex bodies; straight-edge and compass constructions, giving complete proofs, including the transcendence of and , of the impossibility of squaring the circle, duplicating the cube, and trisecting the angle; and finally to a construction of the Hausdorff-Banach-Tarski paradox that shows some spherical sets are too complicated and cloudy to admit a well-defined notion of area.

This book constitutes the proceedings of the 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, held in Saarbrücken, Germany, in March 2020. The 16 full papers presented in this volume were carefully reviewed and selected from 32 submissions. They are dealing with scientific aspects of measurement, modelling and evaluation of intelligent systems including computer architectures, communication networks, distributed systems and software, autonomous systems, workflow systems, cyber-physical systems and networks, Internet-of-Things, as well as highly dependable, highly performant and highly secure systems.