
ParADE
 Referenced in 5 articles
[sw14959]
 system provides explicit messagepassing primitives to make it a hybridprogramming environment. Collective communication ... lessening the synchronization overhead and avoiding the implicit barriers of worksharing directives. The OpenMP...

MERAM
 Referenced in 5 articles
[sw12819]
 implemented and tested on a distributed environment consisting of two interconnected parallel machines. The MERAM ... experiments, MERAM converges better than the explicitly restarted block Arnoldi method and, for some matrices ... than the PARPACK package, which implements the implicitly restarted Arnoldi method...

gluepy
 Referenced in 1 article
[sw23590]
 frameworks in largescale and widearea environments must handle connectivity issues (NATs and firewalls ... introduce an implicit serialization semantics on objects to relieve programmers from explicit synchronization, while avoiding...

odeToJava
 Referenced in 1 article
[sw17452]
 numerical solution of IVPS. Problemsolving environments (PSEs) offer a powerful yet flexible and convenient ... ordinary differential equations. odeToJava implements explicit and linearly implicit implicitexplicit RungeKutta methods with...

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

Gmsh
 Referenced in 564 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

Isabelle
 Referenced in 606 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LAPACK
 Referenced in 1617 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

Magma
 Referenced in 2825 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5020 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5857 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 11969 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

NAG
 Referenced in 375 articles
[sw00610]
 Produced by experts for use in a variety...

NITSOL
 Referenced in 89 articles
[sw00623]
 We introduce a welldeveloped Newton iterative (truncated...

Octave
 Referenced in 279 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

R
 Referenced in 8180 articles
[sw00771]
 R is a language and environment for statistical...

REDUCE
 Referenced in 739 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

SINGULAR
 Referenced in 1362 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

SPRINT2D
 Referenced in 25 articles
[sw00904]
 SPRINT2D is a set of software tools for...

SUNDIALS
 Referenced in 209 articles
[sw00927]
 SUNDIALS was implemented with the goal of providing...