Computer proofs of a new family of harmonic number identities.

Peter Paule Carsten Schneider

Published in: Adv. Appl. Math. (2003)

Keyphrases

small number
computational complexity
data sets
memory requirements
theorem proving
computational effort
maximum number
databases
information retrieval
artificial intelligence
information systems
decision trees
computer technology