Login / Signup
Proofs of two conjectures on ternary weakly regular bent functions.
Tor Helleseth
Henk D. L. Hollmann
Alexander Kholosha
Zeying Wang
Qing Xiang
Published in:
IEEE Trans. Inf. Theory (2009)
Keyphrases
</>
theorem prover
theorem proving
formal proofs
mathematical proofs
data sets
helmholtz principle
artificial intelligence
knowledge base
formal proof
databases
data streams
lower bound
first order logic
inductive inference
equational theories