• Macaulay2

  • Referenced in 1337 articles [sw00537]
  • high level interpreted user language with a powerful debugger supporting the creation of new classes...
  • LMI toolbox

  • Referenced in 1312 articles [sw06383]
  • LMIs) and LMI techniques have emerged as powerful design tools in areas ranging from control...
  • ABAQUS

  • Referenced in 1256 articles [sw04215]
  • Abaqus Unified FEA product suite offers powerful and complete solutions for both routine and sophisticated...
  • PETSc

  • Referenced in 939 articles [sw04012]
  • that enable efficient software use. However, the power of the PETSc design and the algorithms...
  • Excel

  • Referenced in 657 articles [sw06848]
  • Microsoft Excel is a powerful spreadsheet application that can be used to create, analyze, present...
  • AMPL

  • Referenced in 533 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling language for linear and nonlinear optimization problems...
  • SparseMatrix

  • Referenced in 518 articles [sw04629]
  • chemistry, chemical process simulation, mathematics and statistics, power networks, and other networks and graphs...
  • S-PLUS

  • Referenced in 509 articles [sw02892]
  • PLUS is a powerful environment for statistical and graphical analysis of data. It provides...
  • PARI/GP

  • Referenced in 476 articles [sw00680]
  • compute with mathematical entities such as matrices, power series, algebraic or p-adic numbers...
  • Mosek

  • Referenced in 267 articles [sw04618]
  • Forestry and farming, Medical and hospital management, Power supply and network planning, Logistics, TV commercial ... energy and forestry industry due to its powerful interior-point optimizer...
  • PVM

  • Referenced in 294 articles [sw04273]
  • more cost effectively by using the aggregate power and memory of many computers. The software...
  • GeoGebra

  • Referenced in 291 articles [sw04203]
  • dynamic. Easy-to-use interface, yet many powerful features. Authoring tool to create interactive learning...
  • plfit

  • Referenced in 143 articles [sw23186]
  • plfit: Fitting power-law distributions to empirical data. This program fits power-law distributions ... method of Clauset, Shalizi and Newman. Power-law distributions occur in many situations of scientific ... phenomena. Unfortunately, the detection and characterization of power laws is complicated by the large fluctuations ... difficulty of identifying the range over which power-law behavior holds. Commonly used methods...
  • McEliece

  • Referenced in 181 articles [sw02076]
  • Practical power analysis attacks on software implementations of McEliece. The McEliece public-key cryptosystem ... physical attacks, e.g., state-of-the-art power analysis attacks, must be investigated. In this ... work, we address mainly two power analysis attacks on various implementations of McEliece...
  • SciPy

  • Referenced in 262 articles [sw06293]
  • SciPy are easy to use, but powerful enough to be depended upon by some...
  • LINGO

  • Referenced in 259 articles [sw04942]
  • completely integrated package that includes a powerful language for expressing optimization models, a full featured...
  • OCaml

  • Referenced in 256 articles [sw06363]
  • object-oriented layer, as well as a powerful module system, all connected by a sound...
  • Chebfun

  • Referenced in 255 articles [sw05897]
  • object-oriented MATLAB that extends familiar powerful methods of numerical computation involving numbers to continuous...
  • HOL Light

  • Referenced in 253 articles [sw06580]
  • small logical kernel. Despite this, it provides powerful proof tools and has been applied...
  • MATCONT

  • Referenced in 250 articles [sw00551]
  • study of differential equations requires good and powerful mathematical software. Also, flexibility and extendibility...