• Maple

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

  • Referenced in 1295 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 high-performance computers, particularly if specially coded implementations are provided ... BLAS are available for many modern high-performance computers. For details of known vendor...
  • SeDuMi

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

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

  • Referenced in 455 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 least-squares solution for consistent ... occlusion while achieving near real-time performance...
  • Chaff

  • Referenced in 493 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...
  • MACSYMA

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

  • Referenced in 371 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...
  • SparseMatrix

  • Referenced in 395 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 artificially-generated matrices can be misleading...
  • L-BFGS

  • Referenced in 535 articles [sw03229]
  • unconstrained problems and in this case performs similarly to its predecessor, algorithm L-BFGS (Harwell...
  • Maude

  • Referenced in 528 articles [sw06233]
  • Maude is a high-performance reflective language and system supporting both equational and rewriting logic...
  • CoCoA

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

  • Referenced in 300 articles [sw01186]
  • continuous-time 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...
  • Knapsack

  • Referenced in 371 articles [sw04723]
  • results are presented to compare the actual performance of the most effective algorithms published...
  • TETRAD

  • Referenced in 260 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...
  • ScaLAPACK

  • Referenced in 343 articles [sw00830]
  • LAPACK. It is a library of high-performance linear algebra routines for distributed memory message...
  • AdaBoost.MH

  • Referenced in 337 articles [sw08517]
  • require any prior knowledge about the performance of the weak learning algorithm. We also study...
  • z3

  • Referenced in 300 articles [sw04887]
  • high-performance theorem prover being developed at Microsoft Research.Z3 supports linear real and integer arithmetic...
  • TPTP

  • Referenced in 265 articles [sw04143]
  • systems, to help ensure that performance results accurately reflect capabilities of the ATP systems being...
  • ATLAS

  • Referenced in 186 articles [sw00056]
  • instantiation of a new paradigm in high performance library production and maintenance, which we term ... basic linear algebra subprograms, a widely used, performance-critical, linear algebra kernel library...