
InFlow
 Referenced in 0 articles
[sw04173]
 analysis AND network visualization in one integrated product  no passing files back and forth between ... analysis  change the network, get new metrics  just 2 clicks of the mouse. InFlow...

PERMAP
 Referenced in 1 article
[sw26080]
 program for making perceptual maps (also called product maps, strategic maps, sociograms, sociometric maps, psychometric ... between the objects. Succinctly, PERMAP makes classical metric and nonmetric MDS analyses...

FlexNoC
 Referenced in 0 articles
[sw20786]
 longer sufficient to address all the metrics required to meet the more stringent ... preparation of ISO 26262 work products. Implementing functional safety and data protection features in hardware...

NetSpam
 Referenced in 0 articles
[sw25955]
 spammers to write spam reviews about products and services for different interests. Identifying these spammers ... obtain better results in terms of different metrics experimented on realworld review data sets...

ADOLC
 Referenced in 239 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

BIGEBRA
 Referenced in 19 articles
[sw00078]
 Clifford and Graßmann Hopf algebras via the BIGEBRA...

CLIFFORD
 Referenced in 79 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

CoCoA
 Referenced in 631 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1807 articles
[sw00161]
 Coq is a formal proof management system. It...

CXSC 2.0
 Referenced in 125 articles
[sw00182]
 A C++ class library for extended scientific computing...

EdgePack
 Referenced in 24 articles
[sw00229]
 A new and simple method is proposed to...

GAP
 Referenced in 2876 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 269 articles
[sw00363]
 GMP is a free library for arbitrary precision...

GreatSPN
 Referenced in 57 articles
[sw00384]
 GreatSPN2.0 is a software package for the modeling...

GRTensorII
 Referenced in 48 articles
[sw00393]
 GRTensor II is a computer algebra package for...

HOM4PS
 Referenced in 76 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial...

HSL
 Referenced in 270 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

ISOGAT
 Referenced in 286 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

ITPACK
 Referenced in 47 articles
[sw00459]
 The ITPACK project: Past, present, and future The...

LANCELOT
 Referenced in 299 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...