Number representations and term rewriting.

Boas Kluiving Wijnand van Woerkom

Published in: CoRR (2016)

Keyphrases

term rewriting
small number
neural network
theorem proving
higher level
memory requirements