Proof of a Conjectured Three-Valued Family of Weil Sums of Binomials.

Daniel J. Katz Philippe Langevin

Published in: CoRR (2014)

Keyphrases

random variables
special case
theorem prover
image processing
theorem proving
information retrieval
information systems
data sets
artificial intelligence
decision making
optimal solution
multi agent systems
complete axiomatization
geometry theorem proving