A short proof of a sum of powers formula.

Enrique Treviño

Published in: Am. Math. Mon. (2018)

Keyphrases

objective function
theorem prover
theorem proving
weighted sum
linear logic
automated theorem proving
database
databases
similarity measure
logic programs
aggregation functions
mathematical proofs