
QRNG
 Referenced in 3 articles
[sw08634]
 generating random quantum states is of a great interest from the quantum information theory point ... piece of hardware, namely Quantis quantum random number generator (QRNG), for investigating statistical properties ... quantum states. The described package implements a number of functions for generating random states, which ... Quantis QRNG as a source of randomness. It also provides procedures which can be used...

qar0.1
 Referenced in 2 articles
[sw19950]
 Carlo methods to Euclidean lattice systems for quantum mechanics in order to improve the asymptotic ... observable calculated by averaging over random observations generated from an ordinary Markov chain Monte Carlo ... where $N$ is the number of observations. By means of quasiMonte Carlo methods ... this approach to simple systems like the quantum harmonic and anharmonic oscillator and verified...

ATLAS
 Referenced in 192 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

AXIOM
 Referenced in 165 articles
[sw00063]
 Axiom is a general purpose Computer Algebra system...

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

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

gmp
 Referenced in 236 articles
[sw00363]
 GMP is a free library for arbitrary precision...

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

Isabelle
 Referenced in 542 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LAPACK
 Referenced in 1510 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LSQR
 Referenced in 305 articles
[sw00530]
 Algorithm 583: LSQR: Sparse Linear Equations and Least...

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

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

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

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

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

Maxima
 Referenced in 132 articles
[sw00560]
 Maxima is a system for the manipulation of...

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

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

nauty
 Referenced in 487 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...