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