Login / Signup
Mathematical and computer algebra techniques in cryptology.
Jean-Charles Faugère
Domingo Gómez-Pérez
Jaime Gutierrez
Ludovic Perret
Published in:
J. Symb. Comput. (2014)
Keyphrases
</>
computer algebra
computer algebra systems
theorem prover
automated theorem provers
information systems
databases
case study
data sets
information retrieval
genetic algorithm
preprocessing
multiresolution
first order logic