On Andrews-Curtis conjectures for soluble groups.

Published in: Int. J. Algebra Comput. (2018)

Keyphrases

genetic algorithm
theorem prover
real time
neural network
data mining
high level
artificial neural networks
mobile devices