• 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...
  • qar-0.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 quasi-Monte 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 high-level 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 SAT-solver. MiniSat is a minimalistic...
  • NAG

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

  • Referenced in 487 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...