• PARI/GP

  • Referenced in 653 articles [sw00680]
  • widely used Computer Algebra System (CAS) designed for fast computations in number theory, but also...
  • CUTEr

  • Referenced in 612 articles [sw04010]
  • Matlab tools intended to help developers design, compare and improve new and existing solvers...
  • mftoolbox

  • Referenced in 612 articles [sw23743]
  • made an input argument. The codes are designed for simplicity and readability rather than maximum...
  • Chaff

  • Referenced in 591 articles [sw06916]
  • range of applications in Electronic Design Automation (EDA), as well as in Artificial Intelligence...
  • OpenFOAM

  • Referenced in 554 articles [sw04317]
  • OpenCFD. It follows a highly modular code design in which collections of functionality (e.g. numerical...
  • SNOPT

  • Referenced in 551 articles [sw02300]
  • solving the QP subproblems. It is designed for problems with many thousands of constraints...
  • FEAPpv

  • Referenced in 522 articles [sw10822]
  • purpose finite element analysis program which is designed for research and educational...
  • Mosek

  • Referenced in 500 articles [sw04618]
  • portfolio management, Supply chain management, Analog chip design, Forestry and farming, Medical and hospital management...
  • Eiffel

  • Referenced in 289 articles [sw03522]
  • standardized, object-oriented programming language designed by Bertrand Meyer (an object-orientation proponent and author ... Oriented Software Construction) and Eiffel Software. The design of the language is closely connected with ... based on a set of principles, including design by contract, command-query separation, the uniform ... Java, C#, and other languages. New language design ideas, particularly through the Ecma/ISO standardization process...
  • Ox

  • Referenced in 493 articles [sw09501]
  • speed, extensive library, and well-designed syntax, which leads to programs which are easier...
  • Mfree2D

  • Referenced in 324 articles [sw15725]
  • based on mesh-free technology. MFree2D is designed for 2D stress and strain analysis ... feature of MFree2D is that it is designed to be user-friendly and thus...
  • NuSMV

  • Referenced in 313 articles [sw04131]
  • checker based on BDDs. NuSMV has been designed to be an open architecture for model ... reliably used for the verification of industrial designs, as a core for custom verification tools...
  • ScaLAPACK

  • Referenced in 418 articles [sw00830]
  • continuation of the LAPACK project, which designed and produced analogous software for workstations, vector supercomputers...
  • Automath

  • Referenced in 414 articles [sw07127]
  • Automath is a language designed by N.G. the Bruijn in the late sixties in order...
  • Scatter Search

  • Referenced in 297 articles [sw05291]
  • called reference solutions and employing strategic designs that exploit context knowledge. In contrast to other ... founded on the premise that systematic designs and methods for creating new solutions afford significant...
  • Trilinos

  • Referenced in 411 articles [sw04028]
  • users. Because of this, Trilinos itself is designed to respect the autonomy of packages. Trilinos...
  • CGAL

  • Referenced in 396 articles [sw00118]
  • computer graphics, scientific visualization, computer aided design and modeling, geographic information systems, molecular biology, medical...
  • Nuprl

  • Referenced in 396 articles [sw06751]
  • mathematics and programming. Over the years its design has been substantially improved to meet...
  • XFEM

  • Referenced in 382 articles [sw01026]
  • extensible system. The programme structure has been designed to meet all natural requirements for modularity...
  • Boids

  • Referenced in 349 articles [sw38863]
  • used in computer animation or computer aided design. I called the generic simulated flocking creatures...