• 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 350 articles [sw04004]
  • univariate functions automatic slopes (sequential approach, slow for many variables) verified integration of (simple) univariate...
  • REDUCE

  • Referenced in 705 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 30 articles [sw16360]
  • numerically, but also to expand Feynman integrals automatically in limits of momenta and masses with ... computers), high-precision arithmetics (allowing to calculate integrals which were undoable before), new integrators, Speer...
  • Stata

  • Referenced in 275 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 17 articles [sw08206]
  • MaSh: Machine Learning for Sledgehammer. Sledgehammer integrates automatic theorem provers in the proof assistant Isabelle/HOL ... from our “zero-click” vision: MaSh should integrate seamlessly with the users’ workflow, 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 different back-ends that implement a variety of state-of-the-art automatic analysis...
  • MadEvent

  • Referenced in 31 articles [sw07194]
  • MadEvent: Automatic event generation with MadGraph.We present a new multi-channel 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...
  • Mfree2D

  • Referenced in 252 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...
  • mdp

  • Referenced in 7 articles [sw14129]
  • implemented units are then automatically integrated with the rest of the library. The base...
  • 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...
  • SAP2000

  • Referenced in 21 articles [sw17041]
  • powerful built in templates. Integrated design code features can automatically generate wind, wave, bridge...
  • 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...
  • MulVAL

  • Referenced in 5 articles [sw17743]
  • analysis must be able to automatically integrate formal vulnerability specifications from the bug-reporting community...