A proof of the conjecture of Cohen and Mullen on sums of primitive roots.

Stephen D. Cohen Tomás Oliveira e Silva Timothy S. Trudgian

Published in: Math. Comput. (2015)

Keyphrases

theorem prover
higher level
linear logic
decision trees
high level
data sets
decision making
clustering algorithm
similarity measure
random variables
natural deduction
mathematical proofs