George E. Andrews Orden de los libros (cronológico)

The discovery of a manuscript written by the renowned mathematician Srinivasa Ramanujan in 1976 at Trinity College, Cambridge, is likened to finding Beethoven's tenth symphony. George Andrews from Pennsylvania State University uncovered this remarkable "lost notebook," containing 138 pages of Ramanujan's work. This significant find has sparked considerable interest and exploration within the mathematical community, highlighting the enduring impact of Ramanujan's genius.

Exploring the intriguing world of number partitions, this book delves into the mathematical principles behind expressing numbers as sums of positive integers. It offers insights into the combinatorial aspects of partitions, highlighting their significance in various mathematical contexts and applications. Through detailed explanations and examples, readers will gain a deeper understanding of how partitions function and their relevance in broader mathematical theories.

Written by a distinguished mathematician and teacher, this undergraduate text uses a combinatorial approach to accommodate both math majors and liberal arts students. In addition to covering the basics of number theory, it offers an outstanding introduction to partitions, plus chapters on multiplicativity-divisibility, quadratic congruences, additivity, and more.

LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early 1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".