• Macaulay2

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

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

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

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

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

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

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

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

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

  • Referenced in 263 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 293 articles [sw04273]
  • more cost effectively by using the aggregate power and memory of many computers. The software...
  • GeoGebra

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

  • Referenced in 180 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...
  • plfit

  • Referenced in 131 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...
  • LINGO

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

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

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

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

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

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