A Jordan-Hölder theorem for difference algebraic groups.

Published in: ACM Commun. Comput. Algebra (2015)

Keyphrases

digital topology
neural network
higher order
real world
genetic algorithm
three dimensional
algebraic expressions
interactive theorem proving