C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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