Login / Signup

Making the stabilizer ZX-calculus complete for scalars.

Miriam Backens
Published in: QPL (2015)
Keyphrases
  • databases
  • provably correct
  • machine learning
  • decision making
  • web pages
  • similarity measure
  • automated theorem proving