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

SParCLES
 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 diamondstructure 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 photonproduction 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 highlevel language and interactive...

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

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

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