Conjectures Involving a Generalization of the Sums of Powers of Integers.

Andrei K. Svinin

Published in: Exp. Math. (2018)

Keyphrases

decision making
theorem prover
information systems
image processing
clustering algorithm
multiscale
evolutionary algorithm
upper bound
random variables
inductive inference
explanation based generalization
integer arithmetic