
XSummer
 Referenced in 22 articles
[sw06109]
 useful in the evaluation of higherorder perturbative corrections in quantum field theory. Of particular...

HIGLU
 Referenced in 10 articles
[sw11899]
 hadron colliders including nexttoleading order QCD corrections is presented. It is suitable especially ... couplings are implemented including the leading higher order corrections...

TRACER
 Referenced in 7 articles
[sw07361]
 researcher working on higher order corrections in Relativistic Quantum Field Theories. A short comparison...

SUSY_FLAVOR
 Referenced in 7 articles
[sw09547]
 loop level (with some higherorder QCD corrections included) in the exact sfermion mass eigenbasis...

CPsuperH
 Referenced in 11 articles
[sw09154]
 calculations that include dominant higherorder logarithmic and threshold corrections, bquark Yukawacoupling resummation...

NMSSMCALC
 Referenced in 2 articles
[sw20309]
 violating NMSSM. The full oneloop corrections to the Higgs boson masses are evaluated ... decay widths include the dominant higher order QCD corrections, and the decays into bottom quarks ... leptons are supplemented by higher order SUSY corrections through effective couplings. All relevant offshell...

ETPS
 Referenced in 145 articles
[sw06302]
 proofs, and solving unification problems in higherorder logic. It has a formula editor which ... gives them immediate feedback for both correct and incorrect actions. ETPS permits students to work...

KK
 Referenced in 8 articles
[sw10792]
 Suura exponentiation. Electroweak corrections are included in first order, with higherorder extensions, using...

RALL
 Referenced in 8 articles
[sw08505]
 algebra including higherorder operators and domain constructions, and checks the typecorrectness...

RACOONWW
 Referenced in 4 articles
[sw09550]
 collinear singularities between virtual and real corrections is done alternatively in two different ways, namely ... space slicing. Higherorder initialstate photon radiation and naive QCD corrections are taken into...

SDECAY
 Referenced in 19 articles
[sw09545]
 Minimal Supersymmetric Standard Model, including higher order effects. Besides the usual twobody decays ... decay modes are also included. The QCD corrections to the twobody decays involving strongly...

HAWK
 Referenced in 2 articles
[sw13132]
 perturbative matrix elements including higherorder QCD and electroweak corrections which are based...

APOSTLE
 Referenced in 1 article
[sw26425]
 events are processed in the correct order. The higherlevel interface presented to the user...

BIONJ
 Referenced in 26 articles
[sw08301]
 node. Moreover, BIONJ uses a simple firstorder model of the variances and covariances ... than NJ. When the substitution rates are higher and vary among lineages,BIONJ clearly ... while the probability of finding the correct tree may be augmented by as much...

Coquet
 Referenced in 3 articles
[sw09919]
 approach is practicable by proving the correctness of various circuits: a textbook divide ... conquer adder of parametric size, some higherorder combinators of circuits, and some sequential circuits...

SusHi
 Referenced in 5 articles
[sw10356]
 corrections due to topquarks, approximate NNLO corrections due to topsquarks, and electroweak ... well as resummation effects of higher order tan βenhanced sbottom contributions. SusHi provides...

APFEL
 Referenced in 5 articles
[sw17629]
 masses. APFEL consistently accounts for the QED corrections to the evolution of quark and gluon ... space by means of higher order interpolation, followed by RungeKutta solution of the resulting...

Pilsner
 Referenced in 2 articles
[sw20004]
 compositionally verified compiler for a higherorder imperative language. Compiler verification is essential ... develop a compositional notion of compiler correctness that is modular (preserved under linking), transitive (supports ... first multipass compiler for a higherorder imperative language to be compositionally verified. Lastly ... handcoded selfmodifying T module, proven correct w.r.t. an Slevel specification. The output...

VSTFloyd
 Referenced in 1 article
[sw28118]
 correctness of C programs. Its program logic, Verifiable C, is a shallowly embedded higherorder ... semiautomatic tactics helping users build functional correctness proofs for C programs using Verifiable...

AskElle
 Referenced in 2 articles
[sw22629]
 tutor for learning the higherorder, stronglytyped functional programming language Haskell. It supports ... development of Haskell programs by verifying the correctness of incomplete programs, and by providing hints...