This book examines four mathematical concepts which play a great role in many different areas of mathematics: symbolic sums, recurrence (difference) equations, generating functions, and asymptotic estimates.
This book examines four mathematical concepts which play a great role in many different areas of mathematics: symbolic sums, recurrence (difference...
The book presents the state of the art and results and also includes articles pointing to future developments. Most of the articles center around the theme of linear partial differential equations. Major aspects are fast solvers in elastoplasticity, symbolic analysis for boundary problems, symbolic treatment of operators, computer algebra, and finite element methods, a symbolic approach to finite difference schemes, cylindrical algebraic decomposition and local Fourier analysis, and white noise analysis for stochastic partial differential equations. Further numerical-symbolic topics range...
The book presents the state of the art and results and also includes articles pointing to future developments. Most of the articles center around the ...
George Andrews is one of the most influential figures in number theory and combinatorics. In the theory of partitions and q-hypergeometric series and in the study of Ramanujan's work, he is the unquestioned leader. To suitably honor him during his 70th birthday year, an International Conference on Combinatory Analysis was held at The Pennsylvania State University during December 5-7, 2008. Three issues of the Ramanujan Journal comprising Volume 23 were published in 2010 as the refereed proceedings of that conference. The Ramanujan Journal was proud to bring out that volume honoring one of its...
George Andrews is one of the most influential figures in number theory and combinatorics. In the theory of partitions and q-hypergeometric series and ...
This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come.
The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria, on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor...
This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to mo...
George Andrews is one of the most influential figures in number theory and combinatorics. In the theory of partitions and q-hypergeometric series and in the study of Ramanujan's work, he is the unquestioned leader. To suitably honor him during his 70th birthday year, an International Conference on Combinatory Analysis was held at The Pennsylvania State University during December 5-7, 2008. Three issues of the Ramanujan Journal comprising Volume 23 were published in 2010 as the refereed proceedings of that conference. The Ramanujan Journal was proud to bring out that volume honoring one of its...
George Andrews is one of the most influential figures in number theory and combinatorics. In the theory of partitions and q-hypergeometric series and ...
This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 2016.
The 68 papers included in this volume were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections named: univalent foundations and proof assistants; software for mathematical reasoning and applications; algebraic and toric geometry; algebraic geometry in applications; software of polynomial systems; software for numerically solving polynomial systems; high-precision arithmetic, effective...
This book constitutes the proceedings of the 5th International Conference on Mathematical Software, ICMS 2015, held in Berlin, Germany, in July 201...
This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to modern computer mathematics. While connected to the historical evolution of these concepts, the essays place strong emphasis on developments still to come.
The book originated in a 2002 symposium celebrating the work of Bruno Buchberger, Professor of Computer Mathematics at Johannes Kepler University, Linz, Austria, on the occasion of his 60th birthday. Among many other accomplishments, Professor Buchberger in 1985 was the founding editor...
This book presents four mathematical essays which explore the foundations of mathematics and related topics ranging from philosophy and logic to mo...