Combinatorial Sequences
 |
|
Описание:
The present work consists of two parts. First, methods for proving non-holonomicity of sequences and functions are discussed. Holonomic sequences, which are defined by linear difference equations with polynomial coefficients, are a popular object of study in combinatorics. The presentation of methods for finding out whether a given sequence is in this class or not takes the reader through number theory, complex analysis, and analytic combinatorics. The second part of the book is devoted to inequalities involving recursively defined sequences. It contains a new computer algebra assisted proving procedure. This approach, which is based on cylindrical algebraic decomposition, allows to prove many classical inequalities mechanically. Moreover, the oscillation behavior of constant coefficient recurrences is investigated with number-theoretic tools, Fourier series and results from the theory of uniform distribution. The intended audience consists of professional mathematicians with an...Похожие книги
 | Transactions on Computational Systems Biology IX Автор: Corrado Priami Год: 2008 |
 | Automatic Sequences: Theory, Applications, Generalizations Автор: Jean-Paul Allouche Год: 2003 |
 | Molecular Evolution: Computer Analysis of Protein and Nucleic Acid Sequences,183 Автор: John N. Abelson Год: 2010 |
| Modern American Short Story Sequences Автор: Kennedy Год: 2010 |
| Methods in Enzymology. Molecular Evolution: Computer Analysis of Protein and Nucleic Acid Sequences Автор: Abelson J.N., Simon M.I., Doolittle R.F. (eds.) Год: 1990 |
| 0,1 distribution in the highest level sequences of primitive sequences over Z 2e Автор: Fan Sh., Han W. Год: 2003 |