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

SPLUS
 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 intermediateoutput capability...

ADOLC
 Referenced in 249 articles
[sw00019]
 facility in C++. Subsequently, we describe the capabilities of the ADtool ADOLC that...

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