
veriSoft
 Referenced in 90 articles
[sw01489]
 VeriSoft automatically searches for coordination problems (deadlocks, etc.) and assertion violations in a software system ... interactions of all its components. It integrates automatic test generation, execution and evaluation...

INTLAB
 Referenced in 351 articles
[sw04004]
 univariate functions automatic slopes (sequential approach, slow for many variables) verified integration of (simple) univariate...

REDUCE
 Referenced in 709 articles
[sw00789]
 matching in a wide variety of forms; automatic and user controlled simplification of expressions; calculations ... extending program syntax; analytic differentiation and integration; factorization of polynomials; facilities for the solution...

FIESTA
 Referenced in 34 articles
[sw16360]
 numerically, but also to expand Feynman integrals automatically in limits of momenta and masses with ... computers), highprecision arithmetics (allowing to calculate integrals which were undoable before), new integrators, Speer...

Stata
 Referenced in 286 articles
[sw06029]
 Stata is a complete, integrated statistical package that provides everything you need for data analysis ... chained equations for multiple imputation, contour plots, automatic memory management, importing and exporting of Excel...

REVE
 Referenced in 67 articles
[sw28907]
 actually be called automatic because termination is fully integrated into the algorithms. REVE uses...

MaSh
 Referenced in 17 articles
[sw08206]
 MaSh: Machine Learning for Sledgehammer. Sledgehammer integrates automatic theorem provers in the proof assistant Isabelle/HOL ... from our “zeroclick” vision: MaSh should integrate seamlessly with the users’ workﬂow, so that...

DECUHR
 Referenced in 15 articles
[sw02676]
 DECUHR: An algorithm for automatic integration of singular functions over a hyperrectangular region. We describe ... automatic cubature algorithm for functions that have a singularity on the surface of the integration...

DQAINT
 Referenced in 11 articles
[sw02110]
 DQAINF: An algorithm for automatic integration of infinite oscillating tails The paper describes a quadrature...

AVISPA
 Referenced in 76 articles
[sw03172]
 integrates diﬀerent backends that implement a variety of stateoftheart automatic analysis...

MadEvent
 Referenced in 31 articles
[sw07194]
 MadEvent: Automatic event generation with MadGraph.We present a new multichannel integration method ... based on MadGraph. Given a process, MadGraph automatically identifies all the relevant subprocesses, generates both ... mappings needed for an efficient integration over the phase space, and passes them to MadEvent...

DQAINF
 Referenced in 8 articles
[sw02646]
 DQAINF: An algorithm for automatic integration of infinite oscillating tails. The paper describes a quadrature...

mdp
 Referenced in 8 articles
[sw14129]
 implemented units are then automatically integrated with the rest of the library. The base...

Mfree2D
 Referenced in 255 articles
[sw15725]
 three processors can work either in an integrated manner or independently. One salient feature ... scattered nodes and the discretisation is fully automatic. Adaptive refinement techniques are implemented to ensure...

Algorithm 691
 Referenced in 5 articles
[sw23793]
 Algorithm 691; Improving QUADPACK automatic integration routines. Two automatic adaptive integrators from QUADPACK (namely...

SAP2000
 Referenced in 22 articles
[sw17041]
 powerful built in templates. Integrated design code features can automatically generate wind, wave, bridge...

GeoThms
 Referenced in 22 articles
[sw06216]
 exploring geometrical knowledge that integrates dynamic geometry software (DGS), automatic theorem provers...

GAIL
 Referenced in 6 articles
[sw13279]
 Guaranteed Automatic Integration Library (GAIL): GAIL is a suite of algorithms for integration problems...

Tevjet
 Referenced in 10 articles
[sw08866]
 finite in 4 dimensions are automatically generated. These integrals are then performed using Monte Carlo...

Evigan
 Referenced in 5 articles
[sw14331]
 Evigan: a hidden variable model for integrating gene evidence for eukaryotic gene prediction. MOTIVATION ... argues for a probabilistic framework that automatically integrates such evidence to yield candidate gene models...