• ParADE

  • Referenced in 5 articles [sw14959]
  • system provides explicit message-passing primitives to make it a hybrid-programming environment. Collective communication ... lessening the synchronization overhead and avoiding the implicit barriers of work-sharing 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 large-scale and wide-area 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. Problem-solving environments (PSEs) offer a powerful yet flexible and convenient ... ordinary differential equations. odeToJava implements explicit and linearly implicit implicit-explicit Runge-Kutta 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 high-level 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 well-developed Newton iterative (truncated...
  • Octave

  • Referenced in 279 articles [sw00646]
  • GNU Octave is a high-level 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...
  • SUNDIALS

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