• Algorithm 826

  • Referenced in 3 articles [sw04468]
  • development of new auxiliary routines that perform essential operations for the complex Schur decomposition ... that will provide additional linear algebra computation capability to the parallel numerical library community...
  • Optimize.m

  • Referenced in 1 article [sw32171]
  • package Optimize.m provides an efficient (linear time) means of expression optimization for Mathematica. The term ... sense of reducing the arithmetic operation count. For the most part only exact, or syntactic ... operators present in an expression. Optimize.m can also be used in conjunction with the auxiliary...
  • MixLog

  • Referenced in 1 article [sw01565]
  • compute the fixpoint of a common rewriting operator. We then show that MixLog ... rule consumption is used on embedded implications (linear implication) and factoring is used on goal ... express bottom-up, reactive rule firing. An auxiliary aim is to explore the space...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BoomerAMG

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

  • Referenced in 77 articles [sw00173]
  • Cuba -- a library for multidimensional numerical integration. The...
  • FEMLAB

  • Referenced in 57 articles [sw00274]
  • COMSOL Multiphysics, vormals FEMLAB, ist eine Software zur...
  • Gmsh

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

  • Referenced in 325 articles [sw00426]
  • hypre is a software library for the solution...
  • LAPACK

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

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

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

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

  • Referenced in 13488 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PARI/GP

  • Referenced in 636 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...
  • PLTMG

  • Referenced in 215 articles [sw00717]
  • PLTMG 11.0 is a package for solving elliptic...
  • QAPLIB

  • Referenced in 233 articles [sw00751]
  • A collection of electronically available data instances for...
  • R

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

  • Referenced in 173 articles [sw00834]
  • Scilab includes hundreds of mathematical functions. It has...
  • LISP-STAT

  • Referenced in 117 articles [sw01111]
  • Lisp-Stat is an extensible statistical computing environment...