
veriSoft
 Referenced in 91 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 407 articles
[sw04004]
 univariate functions automatic slopes (sequential approach, slow for many variables) verified integration of (simple) univariate...

REDUCE
 Referenced in 737 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 37 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 314 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...

MaSh
 Referenced in 21 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...

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

DECUHR
 Referenced in 16 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 81 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...

Mfree2D
 Referenced in 295 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 6 articles
[sw23793]
 Algorithm 691; Improving QUADPACK automatic integration routines. Two automatic adaptive integrators from QUADPACK (namely...

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...

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

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

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

GeneCards
 Referenced in 6 articles
[sw30714]
 Human Gene Database. GeneCards is a searchable, integrative database that provides comprehensive, userfriendly information ... annotated and predicted human genes. It automatically integrates genecentric data from 150 web sources...

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