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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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