Tabla de Contenidos:
  • Gate Modeling and Circuit Simulation
  • Linear Algebra and Quantum Mechanics
  • Quantum Information Processing
  • Special Case: Simulating Stabilizer Circuits
  • Generic Circuit Simulation Techniques
  • State-Vector Simulation with Decision Diagrams
  • Density-Matrix Simulation with QuIDDs
  • Checking Equivalence of States and Circuits
  • Improving QuIDD-based Simulation
  • Closing Remarks.