
SLIMP
 Referenced in 1 article
[sw25210]
 length gauge and velocity gauge Keldysh–Faisal–Reiss theories are implemented, while the Lewenstein model...

EnviroStat
 Referenced in 25 articles
[sw11048]
 measured in time by a network of gauges located in space. The book is divided ... third part presents the fully general multivariate theory that may be used to design networks...

FLO
 Referenced in 2 articles
[sw12272]
 center problems) from the literature of location theory (e.g. the FermatWeber problem) with regard ... gauges). Solving planar multiobjective location problems with respect to different solution concepts of the theory ... used through the definition of polyhedral gauges. Loading of actual map images in the background...

Dalton
 Referenced in 2 articles
[sw33911]
 configurationinteraction, and coupledcluster levels of theory. Apart from the total energy, a wide ... optical activity can be studied in a gaugeorigininvariant manner. Frequencydependent molecular properties ... calculated using linear, quadratic, and cubic response theory. A large number of singlet and triplet...

EFTofPNG
 Referenced in 5 articles
[sw20815]
 contractions, which is universal to all perturbation theories in physics, by efficiently treating npoint ... full computation of all derivatives and gauge invariant physical observables of interest. The upcoming ”EFTofPNG...

SymbMat
 Referenced in 1 article
[sw11187]
 Theory) and lasermatter interactions (within the Dipole and Strong Field Approximations and different gauges...

ADOLC
 Referenced in 244 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

AMBRE
 Referenced in 28 articles
[sw00038]
 AMBRE  a Mathematica package for the construction of...

ACL2
 Referenced in 281 articles
[sw00060]
 ACL2 is both a programming language in which...

BIGEBRA
 Referenced in 19 articles
[sw00078]
 Clifford and Graßmann Hopf algebras via the BIGEBRA...

Cadabra
 Referenced in 83 articles
[sw00097]
 Cadabra is a powerful computer program for the...

CASA
 Referenced in 101 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CLIFFORD
 Referenced in 80 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

CoCoA
 Referenced in 639 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1837 articles
[sw00161]
 Coq is a formal proof management system. It...

Cuba
 Referenced in 61 articles
[sw00173]
 Cuba  a library for multidimensional numerical integration. The...

DEMiCs
 Referenced in 21 articles
[sw00196]
 DEMiCs is a software package written in C...

Dill
 Referenced in 5 articles
[sw00205]
 An algorithm is presented that formalizes different steps...

EIGIFP
 Referenced in 43 articles
[sw00235]
 eigifp is a MATLAB program for computing a...

FeynHiggs
 Referenced in 43 articles
[sw00282]
 FeynHiggs: a program for the calculation of MSSM...