These proceedings reflect the special session on Experimental Mathematics held January 5, 2009, at the Joint Mathematics Meetings in Washington, DC as well as some papers specially solicited for this volume. Experimental Mathematics is a recently structured field of Mathematics that uses the computer and advanced computing technology as a tool to perform experiments. These include the analysis of examples, testing of new ideas, and the search of patterns to suggest results and to complement existing analytical rigor. The development of a broad spectrum of mathematical software products, such as MathematicaR and MapleTM, has allowed mathematicians of diverse backgrounds and interests to use the computer as an essential tool as part of their daily work environment. This volume reflects a wide range of topics related to the young field of Experimental Mathematics. The use of computation varies from aiming to exclude human input in the solution of a problem to traditional mathematical questions for which computation is a prominent tool.

This book contains the proceedings of the conference on Compact Moduli and Vector Bundles, held from October 21-24, 2010, at the University of Georgia. This book is a mix of survey papers and original research articles on two related subjects: Compact Moduli spaces of algebraic varieties, including of higher-dimensional stable varieties and pairs, and Vector Bundles on such compact moduli spaces, including the conformal block bundles. These bundles originated in the 1970s in physics; the celebrated Verlinde formula computes their ranks. Among the surveys are those that examine compact moduli spaces of surfaces of general type and others that concern the GIT constructions of log canonical models of moduli of stable curves. The original research articles include, among others, papers on a formula for the Chern classes of conformal classes of conformal block bundles on the moduli spaces of stable curves, on Looijenga's conjectures, on algebraic and tropical Brill-Noether theory, on Green's conjecture, on rigid curves on moduli of curves, and on Steiner surfaces.

This book constitutes the refereed proceedings of the 34th International Symposium on Mathematical Foundations of Computer Science, MFCS 2009, held in Novy Smokovec, High Tatras, Slovakia, in August 2009. The 56 revised full papers presented together with 7 invited lectures were carefully reviewed and selected from 148 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, including algorithmic game theory, algorithmic tearning theory, algorithms and data structures, automata, grammars and formal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, cryptography and security, databases and knowledge-based systems, formal specifications and program development, foundations of computing, logic in computer science, mobile computing, models of computation, networks, parallel and distributed computing, quantum computing, semantics and verification of programs, theoretical issues in artificial intelligence.

“Number Theory and Related Fields” collects contributions based on the proceedings of the "International Number Theory Conference in Memory of Alf van der Poorten," hosted by CARMA and held March 12-16th 2012 at the University of Newcastle, Australia. The purpose of the conference was to promote number theory research in Australia while commemorating the legacy of Alf van der Poorten, who had written over 170 papers on the topic of number theory and collaborated with dozens of researchers. The research articles and surveys presented in this book were written by some of the most distinguished mathematicians in the field of number theory, and articles will include related topics that focus on the various research interests of Dr. van der Poorten.​

This book is a printed edition of the Special Issue "Mathematical Analysis and Applications" that was published in Axioms

This proceedings volume gathers together original articles and survey works that originate from presentations given at the conference Transient Transcendence in Transylvania, held in Brașov, Romania, from May 13th to 17th, 2019. The conference gathered international experts from various fields of mathematics and computer science, with diverse interests and viewpoints on transcendence. The covered topics are related to algebraic and transcendental aspects of special functions and special numbers arising in algebra, combinatorics, geometry and number theory. Besides contributions on key topics from invited speakers, this volume also brings selected papers from attendees.

This book covers different aspects of umbral calculus and of its more recent developments. It discusses the technical details in depth, including its relevant applications. The book has therefore manyfold scopes to introduce a mathematical tool, not widespread known as it should be; to present a complete account of the relevant capabilities through the use of different examples of applications; to provide a formal bridge between different fields of research in pure and applied.

Combinatorics and Number Theory of Counting Sequences is an introduction to the theory of finite set partitions and to the enumeration of cycle decompositions of permutations. The presentation prioritizes elementary enumerative proofs. Therefore, parts of the book are designed so that even those high school students and teachers who are interested in combinatorics can have the benefit of them. Still, the book collects vast, up-to-date information for many counting sequences (especially, related to set partitions and permutations), so it is a must-have piece for those mathematicians who do research on enumerative combinatorics. In addition, the book contains number theoretical results on counting sequences of set partitions and permutations, so number theorists who would like to see nice applications of their area of interest in combinatorics will enjoy the book, too. Features The Outlook sections at the end of each chapter guide the reader towards topics not covered in the book, and many of the Outlook items point towards new research problems. An extensive bibliography and tables at the end make the book usable as a standard reference. Citations to results which were scattered in the literature now become easy, because huge parts of the book (especially in parts II and III) appear in book form for the first time.