Quantifier elimination for the reals with a predicate for the powers of two
RELATED TOPICS
{ functions matrix function method theory }
{ let function sequence show random }
{ data method analysis methods algorithm }
{ states bound entanglement bounds state }
RELATED DOCUMENTS
Subconvexity for the Riemann zeta function and the divisor problem
The Calculus of Algebraic Constructions
Combined Reduced Rank Transform
On A Relation Between q Exponential And theta Function
Sums of squares from elliptic pfaffians
Generalizations of Guillera Sondow s double integral formulas
Schur Q polynomials multiple hypergeometric series and enumeration of marked shifted tableaux
Multivariable Christoffel Darboux Kernels and Characteristic Polynomials of Random Hermitian Matrices
New Finite Rogers Ramanujan Identities
On the combinatorics of hypergeometric functions
Asymptotics of the Airy kernel determinant
Remarks on generalized Ramanujan sums and even functions
A note on some binomial sums
q Analogue of Euler Barnes Multiple Zeta Functions a note on q zeta functions
A unifying framework for k statistics polykays and their multivariate generalizations
Factorization formulas for Macdonald polynomials
The Bivariate Rogers Szeg o Polynomials
An explicit formula for Pi x in the form of a sum over the Non trivial zeros of the Riemann Zeta function
On the approximation of real powers of sparse infinite bounded and Hermitian matrices
n Colour self inverse compositions