Login / Signup
A Jordan-Hölder theorem for difference algebraic groups.
Michael Wibmer
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