
Maple
 Referenced in 5403 articles
[sw00545]
 functions, Maple offers the breadth, depth, and performance to handle every type of mathematics. Maple...

LAPACK
 Referenced in 1713 articles
[sw00503]
 instead of ”portable” because, for fastest possible performance, LAPACK requires that highly optimized block matrix ... much as possible of the computation is performed by calls to the Basic Linear Algebra ... promotes high efficiency on many highperformance computers, particularly if specially coded implementations are provided ... BLAS are available for many modern highperformance computers. For details of known vendor...

CUDA
 Referenced in 1336 articles
[sw03258]
 tools for debugging and optimizing the performance of your applications. You’ll also find programming...

SeDuMi
 Referenced in 1284 articles
[sw04002]
 symbolic and numerical reordering schemes, balancing speed/accuracy performance and sophisticated dense column handling, using...

SparseMatrix
 Referenced in 747 articles
[sw04629]
 linear algebra community for the development and performance evaluation of sparse matrix algorithms. It allows ... robust and repeatable experiments: robust because performance results with artificiallygenerated matrices can be misleading...

SIFT
 Referenced in 635 articles
[sw16554]
 from images that can be used to perform reliable matching between different views ... belonging to a single object, and finally performing verification through leastsquares solution for consistent ... occlusion while achieving near realtime performance...

DIMACS
 Referenced in 578 articles
[sw08221]
 Challenges address questions of determining realistic algorithm performance where worst case analysis is overly pessimistic ... experimentation can provide guides to realistic algorithm performance where analysis fails. Experimentation also brings algorithmic ... other methods of testing and comparing performance of algorithms. And it is a step...

FEniCS
 Referenced in 856 articles
[sw04314]
 comprehensive library of finite elements, high performance linear algebra and many more...

LBFGS
 Referenced in 852 articles
[sw03229]
 unconstrained problems and in this case performs similarly to its predecessor, algorithm LBFGS (Harwell...

Chaff
 Referenced in 591 articles
[sw06916]
 complete solver, Chaff, which achieves significant performance gains through careful engineering of all aspects ... obtain one to two orders of magnitude performance improvement on difficult SAT benchmarks in comparison...

Julia
 Referenced in 490 articles
[sw13986]
 generally considered highly productive, but lacking in performance. This paper presents Julia, a new dynamic ... language for technical computing, designed for performance from the beginning by adapting and extending modern ... successful type inference, leading to good performance for a wide range of programs. This makes...

Gurobi
 Referenced in 727 articles
[sw04105]
 Optimizer goes beyond fast and reliable solution performance to provide a broad range of interfaces...

MACSYMA
 Referenced in 721 articles
[sw01209]
 indefinite integral of a function), or to perform very complicated computations by means...

Maude
 Referenced in 700 articles
[sw06233]
 Maude is a highperformance reflective language and system supporting both equational and rewriting logic...

CoCoA
 Referenced in 659 articles
[sw00143]
 Commutative Algebra. It is able to perform simple and sophisticated operations on multivaraiate polynomials...

Scikit
 Referenced in 630 articles
[sw08058]
 Emphasis is put on ease of use, performance, documentation, and API consistency. It has minimal...

PRISM
 Referenced in 454 articles
[sw01186]
 continuoustime Markov chains. Analysis is performed through model checking such systems against specifications written ... been successfully used to analyse probabilistic termination, performance, and quality of service properties...

TETRAD
 Referenced in 441 articles
[sw12177]
 Splus or R. Tetrad is freeware that performs many of the functions in commercial programs ... discovery functions these commercial programs do not perform. Tetrad is unique in the suite...

z3
 Referenced in 606 articles
[sw04887]
 highperformance theorem prover being developed at Microsoft Research.Z3 supports linear real and integer arithmetic...

OpenFOAM
 Referenced in 555 articles
[sw04317]
 mechanics and over 170 utility applications that perform pre and postprocessing tasks, e.g. meshing...