
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 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 highlevel language and interactive...

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

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