Login / Signup

Formalization of Linear Space Theory in the Higher-Order Logic Proving System.

Jie ZhangDanwen MaoYong Guan
Published in: J. Appl. Math. (2013)
Keyphrases
  • higher order logic
  • linear space
  • logical framework
  • higher order
  • theorem prover
  • conditional logic
  • space efficient
  • machine learning
  • nearest neighbor search
  • data streams
  • probabilistic model
  • external memory