
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 threequbit 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 193 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

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

Coq
 Referenced in 1689 articles
[sw00161]
 Coq is a formal proof management system. It...

Expokit
 Referenced in 155 articles
[sw00258]
 Expokit provides a set of routines aimed at...

GAP
 Referenced in 2535 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

Isabelle
 Referenced in 564 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 1539 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1437 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

Maple
 Referenced in 4755 articles
[sw00545]
 The result of over 30 years of cutting...

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

Mathematica
 Referenced in 5337 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 10782 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 509 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

NAG
 Referenced in 341 articles
[sw00610]
 Produced by experts for use in a variety...