
LAPACK
 Referenced in 1579 articles
[sw00503]
 such as matrix multiplication, in the innermost loops. These block operations can be optimized...

OCaml
 Referenced in 266 articles
[sw06363]
 ocamlc) and an interactive readevalprint loop (ocaml) for quick development and portability...

gmp
 Referenced in 255 articles
[sw00363]
 assembly code for the most common inner loops for a lot of CPUs...

ASSAT
 Referenced in 161 articles
[sw02524]
 then returns with it. Otherwise, finds some loops in P whose loop formulas...

Robust Control Toolbox
 Referenced in 138 articles
[sw07907]
 with multiple tunable blocks spanning multiple feedback loops. The toolbox lets you tune one controller ... tracking, disturbance rejection, stability margins, and closedloop pole locations...

Rcpp
 Referenced in 163 articles
[sw08385]
 than the equivalent lowlevel loop code. The ”Rcppsugar” vignette gives an overview...

Control System Toolbox
 Referenced in 134 articles
[sw07643]
 parameters using automatic PID controller tuning, Bode loop shaping, root locus method, LQR/LQG design...

CutTools
 Referenced in 96 articles
[sw07230]
 reduction method to compute oneloop amplitudes. We present a program that implements ... extract the coefficients of the oneloop scalar integrals from a user defined (sub)amplitude...

Cmodels
 Referenced in 65 articles
[sw04435]
 introduced the concept of the loop formulas, and showed that models of completion extended ... loop formulas of the program are equivalent to the answer sets of th! e program ... Unfortunetly number of loop formulas might be large, therefore computing all of them may become ... adoption of the algorithm that computes loop formulas ”as needed” for finding answer sets...

BlackHat
 Referenced in 68 articles
[sw10450]
 implementation of onshell methods for oneloop amplitudes. We present the first results from ... automated C++ program for calculating oneloop amplitudes. The program implements the unitarity method ... shell methods for evaluating coefficients of loop integrals, introducing a discrete Fourier projection...

FeynArts
 Referenced in 103 articles
[sw06474]
 which could produce treelevel and oneloop diagrams in the Standard Model [Kü90...

FIRE
 Referenced in 65 articles
[sw10355]
 algorithm, regionbases and integrating explicitly over loop momenta when possible. Currently it is being ... used in complicated threeloop calculations...

Tyrolean
 Referenced in 89 articles
[sw07830]
 method, KnuthBendix order, lexicographic path order, loop detection, matrix interpretation, polynomial interpretation, predictive labeling...

LiteRed
 Referenced in 63 articles
[sw16341]
 Presenting LiteRed: a tool for the Loop InTEgrals REDuction. Mathematica package LiteRed is described ... symbolic IBP reduction rules for loop integrals. It implements also several convenient tools...

Mincer
 Referenced in 62 articles
[sw09009]
 arbitrary massless, scalar, one, two and threeloop Feynman diagrams of the propagator type within ... particular, are sufficient to perform fourloop renormalization group calculations within the minimal subtraction scheme...

Modelica
 Referenced in 84 articles
[sw04352]
 suited and used for hardwareintheloop simulations and for embedded control systems...

Spheno
 Referenced in 49 articles
[sw09544]
 renormalization group equations numerically to twoloop order with userspecified boundary conditions. The complete ... loop formulas for the masses are used which are supplemented by twoloop contributions...

SOFTSUSY
 Referenced in 78 articles
[sw01415]
 coupling and fermion mass data (including oneloop finite MSSM corrections) are used...

MATAD
 Referenced in 44 articles
[sw00550]
 MAssive TADpoles at one, two, and threeloop order. Program Summary URL: http://cpc.cs.qub.ac.uk/summaries/ADNG. ... Catalog identifier: ADNG. Multiloop integrals are needed for evaluation of quantum correction. An important ... class of loop diagrams is covered by socalled vacuum integrals which have no external ... analytically compute those one, two, and threeloop vacuum integrals where one mass scale...

CBMC
 Referenced in 76 articles
[sw09719]
 verification is performed by unwinding the loops in the program and passing...