Login / Signup
Galois Theory, Splitting Fields, and Computer Algebra.
Gema M. Diaz-Toca
Published in:
Algorithmic Algebra and Logic (2005)
Keyphrases
</>
computer algebra
theorem prover
computer algebra systems
decision making
clustering algorithm
databases
neural network
computer vision
hidden markov models
theoretical framework
information theory
formal concept analysis
automated theorem provers