• APINetworks

  • Referenced in 1 article [sw22341]
  • agents (the network nodes) interacting in, possibly, different ways (defining the network edges). In this ... handle not only static and homogeneous networks but also dynamic, heterogeneous ones. Depending ... problem, these networks may require different computational approaches involving sequential, parallel or distributed systems with...
  • BARON

  • Referenced in 327 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • CGAL

  • Referenced in 370 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 637 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1835 articles [sw00161]
  • Coq is a formal proof management system. It...
  • FLAME

  • Referenced in 38 articles [sw00293]
  • We present a number of application program interfaces...
  • LAPACK

  • Referenced in 1649 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

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

  • Referenced in 5199 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 252 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

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

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

  • Referenced in 295 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • R

  • Referenced in 8836 articles [sw00771]
  • R is a language and environment for statistical...
  • SuperLU

  • Referenced in 180 articles [sw00930]
  • SuperLU is a general purpose library for the...
  • TSPLIB

  • Referenced in 674 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • PRISM

  • Referenced in 423 articles [sw01186]
  • PRISM: Probabilistic symbolic model checker. In this paper...
  • CP-nets

  • Referenced in 135 articles [sw01374]
  • CP-nets (Condition Preference Nets) is a tool...
  • SWiMNet

  • Referenced in 4 articles [sw01600]
  • SWiMNet: A scalable parallel simulation testbed for wireless...