Irrationality proof of certain Lambert series using little q-Jacobi polynomials.

J. Coussement Christophe Smet

Published in: J. Comput. Appl. Math. (2009)

Keyphrases

theorem proving
real time
geometry theorem proving
genetic algorithm
artificial intelligence
computer vision
image processing
search algorithm