
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 highlevel language and interactive...

Octave
 Referenced in 295 articles
[sw00646]
 GNU Octave is a highlevel 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...

CPnets
 Referenced in 135 articles
[sw01374]
 CPnets (Condition Preference Nets) is a tool...

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