• ELECTRE

  • Referenced in 119 articles [sw02971]
  • software and applications. An extensive and up-to-date bibliography is also provided...
  • INTOPT_90

  • Referenced in 304 articles [sw04705]
  • emphasized, theoretical considerations are sporadically present. Many extensive remarks and explanations are connected with INTLIB ... book consists of seven chapters and a bibliography of 247 items. The first chapter...
  • SDAARC

  • Referenced in 3 articles [sw02819]
  • well written monograph with an extensive bibliography...
  • RSDS

  • Referenced in 7 articles [sw30210]
  • RSDS system includes a number of modifications, extensions and functional improvements. The RSDS system ... facilitate the creation of the rough sets bibliography for various types of publications as well...
  • mfer

  • Referenced in 1 article [sw10671]
  • simple groups and their cyclic and bicyclic extensions. Part of the data is available ... endomorphism rings as well as for the bibliography collected from earlier publications on this topic...
  • ALICe

  • Referenced in 1 article [sw15036]
  • program but they are difficult to compute. Extensive research has been carried ... which we found in the loop invariant bibliography, and interfaces with three analysis programs, that...
  • ARMS

  • Referenced in 63 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • BoomerAMG

  • Referenced in 144 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • CASA

  • Referenced in 88 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • C-XSC

  • Referenced in 106 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...
  • C-XSC 2.0

  • Referenced in 122 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • LAPACK

  • Referenced in 1586 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LSQR

  • Referenced in 343 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...
  • Macaulay2

  • Referenced in 1576 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 4919 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5703 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11496 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MPFI

  • Referenced in 38 articles [sw00597]
  • Motivations for an arbitrary precision interval arithmetic and...
  • MuPAD

  • Referenced in 137 articles [sw00606]
  • MuPAD consists of a powerful symbolic engine, a...