Login / Signup
Beyond polynomials and Peano arithmetic - automation of elementary and ordinal interpretations.
Harald Zankl
Sarah Winkler
Aart Middeldorp
Published in:
J. Symb. Comput. (2015)
Keyphrases
</>
school children
arithmetic operations
algebraic geometry
ordinal scale
qualitative decision theory
data sets
floating point
low order
set theory
social networks
hidden markov models
d objects
higher order