• FEYNMAN

  • Referenced in 5 articles [sw06056]
  • order), pure and mixed quantum states as well as separable states. In addition to being...
  • QCWAVE

  • Referenced in 6 articles [sw06830]
  • description. In the present version, the quantum state version is stressed and made amenable ... action of one, two and three-qubit quantum gates as a set of small ... benefits of error correction on particular quantum algorithms.par Other upgrades provided in this version include ... illustrated in tutorial notebooks.par In separate notebooks, QCWAVE is applied to sample algorithms in which...
  • kb

  • Referenced in 1 article [sw12464]
  • presented. These are a class of quantum kinetic equations the solutions of which ... initial state is assumed to be uncorrelated. As examples of applications, two separate situations involving...
  • ATLAS

  • Referenced in 195 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • cdd

  • Referenced in 109 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • Coq

  • Referenced in 1751 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Expokit

  • Referenced in 170 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GAP

  • Referenced in 2702 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Gmsh

  • Referenced in 528 articles [sw00366]
  • Gmsh is a 3D finite element grid generator...
  • Isabelle

  • Referenced in 598 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KANTBP

  • Referenced in 18 articles [sw00482]
  • KANTBP: A program for computing energy levels, reaction...
  • LAPACK

  • Referenced in 1586 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

  • Referenced in 1576 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 2718 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 4919 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATCONT

  • Referenced in 323 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 5703 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11496 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 521 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NAG

  • Referenced in 374 articles [sw00610]
  • Produced by experts for use in a variety...