• BACOLR

  • Referenced in 6 articles [sw04397]
  • codes, especially for problems with solutions exhibiting narrow spikes or boundary layers...
  • SaPGPU

  • Referenced in 2 articles [sw20489]
  • library which provides a SPIKE-based preconditioner for the solution of large-scale sparse linear...
  • ANNarchy

  • Referenced in 2 articles [sw30220]
  • easily define and simulate rate-coded and spiking networks, as well as combinations of both ... parallel performance of the simulator to existing solutions...
  • NxTF

  • Referenced in 1 article [sw38430]
  • evaluate NxTF on DNNs trained directly on spikes as well as models converted from traditional ... evaluate model accuracy, energy and time to solution compared to other architectures. The compiler achieves...
  • BoomerAMG

  • Referenced in 196 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • Coq

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

  • Referenced in 13 articles [sw00290]
  • FINSLER: a computer algebra package for Finsler geometries...
  • HSL

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

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATCONT

  • Referenced in 443 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

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

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

  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...
  • Octave

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

  • Referenced in 287 articles [sw00679]
  • The package PARDISO is a thread-safe, high...
  • R

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

  • Referenced in 418 articles [sw00830]
  • ScaLAPACK is an acronym for scalable linear algebra...
  • STRIPACK

  • Referenced in 30 articles [sw00921]
  • Algorithm 772: STRIPACK: Delaunay triangulation and Voronoi diagram...
  • SUNDIALS

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