• GAP

  • Referenced in 3190 articles [sw00320]
  • overview and the description of the mathematical capabilities. GAP is used in research and teaching...
  • DLMF

  • Referenced in 2888 articles [sw04968]
  • interactive graphics and an equation search capability. The information technology tools that are being used...
  • CVX

  • Referenced in 849 articles [sw04594]
  • MIDCPs) as well, with an appropriate integer-capable solver...
  • ARPACK

  • Referenced in 848 articles [sw04218]
  • vector is needed. ARPACK software is capable of solving large scale symmetric, nonsymmetric, and generalized...
  • Gmsh

  • Referenced in 767 articles [sw00366]
  • tool with parametric input and advanced visualization capabilities. Gmsh is built around four modules: geometry...
  • SparseMatrix

  • Referenced in 747 articles [sw04629]
  • well as an online search capability. Graph visualization of the matrices is provided...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • collaborative effort involving many contributors. Its capabilities include: expansion and ordering of polynomials and rational...
  • MACSYMA

  • Referenced in 720 articles [sw01209]
  • offers: symbolic and numeric manipulation and solution capabilities in algebra, calculus and numerical analysis...
  • CoCoA

  • Referenced in 659 articles [sw00143]
  • functions, factorization of polynomials, toric ideals. The capabilities of CoCoA and the flexibility...
  • PVS

  • Referenced in 633 articles [sw03484]
  • improves as we develop or apply new capabilities, and as the stress of real...
  • S-PLUS

  • Referenced in 615 articles [sw02892]
  • workstations having good graphics and computational capabilities...
  • MPI

  • Referenced in 522 articles [sw06496]
  • part of the number. These methods are capable of producing effectively exact derivative values. However...
  • NAG

  • Referenced in 423 articles [sw00610]
  • supercomputers, the NAG Library has the numerical capabilities to fit your model. The NAG Library...
  • TPTP

  • Referenced in 401 articles [sw04143]
  • help ensure that performance results accurately reflect capabilities of the ATP systems being considered...
  • XPath

  • Referenced in 375 articles [sw15780]
  • superset of [XPath 1.0], with the added capability to support a richer set of data...
  • Mplus

  • Referenced in 347 articles [sw06511]
  • variable types. In addition, Mplus has extensive capabilities for Monte Carlo simulation studies, where data...
  • DASSL

  • Referenced in 263 articles [sw03174]
  • obtained easily by using the intermediate-output capability...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • facility in C++. Subsequently, we describe the capabilities of the AD-tool ADOL-C that...
  • ParaView

  • Referenced in 231 articles [sw06128]
  • programmatically using ParaView’s batch processing capabilities. ParaView was developed to analyze extremely large datasets...