Galois theory, splitting fields and computer algebra.

Gema M. Diaz-Toca

Published in: J. Symb. Comput. (2006)

Keyphrases

computer algebra
theorem prover
neural network
formal concept analysis
computer algebra systems
genetic algorithm
image processing
real time
data sets
machine learning
computational model
automated theorem provers