Login / Signup

Beyond polynomials and Peano arithmetic - automation of elementary and ordinal interpretations.

Harald ZanklSarah WinklerAart 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