A Computer Proof of a Series Evaluation in Terms of Harmonic Numbers.

Russell Lyons Peter Paule Axel Riese

Published in: Appl. Algebra Eng. Commun. Comput. (2002)

Keyphrases

evaluation method
neural network
evaluation methods
digital libraries
computer systems
comparative evaluation
learning algorithm
image processing
human computer interaction
first order logic
evaluation criteria
xml retrieval