
VBFNLO
 Referenced in 16 articles
[sw07196]
 production via gluon fusion at the oneloop level. In the new release  Version ... sign W pair production via vector boson fusion and the triboson plus jet process Wgammagamma ... been implemented at the leading order (oneloop) level. The diboson processes ... diboson pair production via vector boson fusion...

DESOLA
 Referenced in 1 article
[sw08885]
 optimisations in this context are loop fusion and array contraction.par Our prototype C++ implementation, DESOLA ... automatically fuses loops arising from different client calls, identifies unnecessary intermediate temporaries, and contracts temporary ... sizes, performance matches or exceeds MTL; when fusion of matrix operations occurs, performance exceeds that...

MODESTO
 Referenced in 1 article
[sw39665]
 transformations, such as loop tiling and loop fusion, are of key importance for the efficient...

ROSE
 Referenced in 4 articles
[sw04891]
 loop optimizer supporting aggressive loop optimizations such as fusion, fission, interchange, unrolling, and blocking...

Fusion++
 Referenced in 2 articles
[sw32553]
 refined via depth fusion, and are used for tracking, relocalisation and loop closure detection. Loop...

HIGLU
 Referenced in 13 articles
[sw11899]
 total Higgs production cross section via gluon fusion at hadron colliders including nexttoleading ... virtual top and bottom quarks inside the loop coupled to the Higgs particles. The relevant...

UnitaryPremodularCategoryData
 Referenced in 1 article
[sw41254]
 dimensional loop gas models, both in the bulk and at their boundaries, in terms ... data of their input fusion categories and algebra objects. Central to the formulation...

GAP
 Referenced in 3154 articles
[sw00320]
 GAP is a system for computational discrete algebra...

Gmsh
 Referenced in 720 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

HDECAY
 Referenced in 45 articles
[sw00401]
 HDECAY: a program for Higgs boson decays in...

Isabelle
 Referenced in 698 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LANCELOT
 Referenced in 306 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

LAPACK
 Referenced in 1695 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Macaulay2
 Referenced in 1904 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

Maple
 Referenced in 5363 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 6337 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13460 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

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

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