• Hypothesis-checker

  • Referenced in 2 articles [sw34855]
  • Hypothesis-checker: Source code of the checker of induction assumption for an article ... Škrekovski: ”Extending perfect matchings to Gray codes with prescribed ends”. A binary (cyclic) Gray code...
  • RAGE

  • Referenced in 18 articles [sw07607]
  • radiation adaptive grid Eulerian’ radiation-hydrodynamics code, including its data structures, its parallelization strategy ... performance, its hydrodynamic algorithm(s), its (gray) radiation diffusion algorithm, and some of the considerable...
  • CRASH

  • Referenced in 7 articles [sw18109]
  • Hydrodynamics (CRASH) code, a block-adaptive-mesh code for multi-material radiation hydrodynamics. The implementation ... solves the radiation diffusion model with a gray or multi-group method and uses ... astrophysics and laboratory astrophysics. The CRASH code is an extension of the Block-Adaptive Tree...
  • iSpec

  • Referenced in 1 article [sw27036]
  • with the following radial transfer codes: SPECTRUM R. O. Gray; Turbospectrum Bertrand Plez; SME Valenti...
  • TRHD

  • Referenced in 18 articles [sw16786]
  • unstructured-mesh, non-equilibrium radiation hydrodynamics (RHD) code have been developed for the simulation ... radiation energy transport, frequency averaged gray model is used in which the flux-limited diffusion ... equilibrium RHD code developed along with a suite of validation test problems to demonstrate...
  • GrayStar

  • Referenced in 1 article [sw27037]
  • common Web browsers. The code is based on the approximate gray atmospheric solution and runs...
  • MURaM

  • Referenced in 3 articles [sw37984]
  • solar surface generated with three numerical codes CO5BOLD, MURaM, and STAGGER and different simulation setups ... resolution and in the treatment of non-gray radiative transfer between the simulations. The results...
  • Stagger

  • Referenced in 2 articles [sw37983]
  • solar surface generated with three numerical codes CO5BOLD, MURaM, and STAGGER and different simulation setups ... resolution and in the treatment of non-gray radiative transfer between the simulations. The results...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Magma

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

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Maxima

  • Referenced in 170 articles [sw00560]
  • Maxima is a system for the manipulation of...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • QAPLIB

  • Referenced in 233 articles [sw00751]
  • A collection of electronically available data instances for...
  • R

  • Referenced in 9969 articles [sw00771]
  • R is a language and environment for statistical...
  • XFEM

  • Referenced in 382 articles [sw01026]
  • An extended finite element library. This paper presents...
  • AUTO

  • Referenced in 943 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...