• Harwell-FLOW3D

  • Referenced in 7 articles [sw03314]
  • different geometrical configurations, including a plane channel, a channel bearing transverse square ribs...
  • SParC-LES

  • Referenced in 2 articles [sw12976]
  • numerical procedure for the LES of turbulent channel flows, based on an approximate projection method ... turbulent flow in a plane channel, confirm that the LES code can achieve a satisfactory...
  • PCR

  • Referenced in 1 article [sw10797]
  • radiation spectra of relativistic electrons channeled along major crystallographic planes of a diamond-structure single ... based on the quantum theory of channeling radiation which has been successfully applied to study ... channeling at electron energies between 10 and 100 MeV. Continuum potentials for different planes ... continuum potential, transition energies, line widths of channeling radiation and depth dependencies of the population...
  • MARTINI

  • Referenced in 1 article [sw12102]
  • angle with respect to the reaction plane for noncentral collisions. Furthermore, we study the production ... incorporating a complete set of photon-production channels...
  • FIDAP

  • Referenced in 37 articles [sw00006]
  • FIDAP (A Fluid Dynamics Analysis Program). This paper...
  • ANSYS

  • Referenced in 643 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Coq

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

  • Referenced in 234 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • Gerris

  • Referenced in 246 articles [sw00341]
  • Gerris is a Free Software program for the...
  • gmp

  • Referenced in 256 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Isabelle

  • Referenced in 598 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • KNITRO

  • Referenced in 165 articles [sw00490]
  • KNITRO is a solver for nonlinear optimization. It...
  • LAPACK

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

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

  • Referenced in 4919 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

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

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

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