Results 1 to 20 of 88
Sort by:

  • 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...