• MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • MooNMD

  • Referenced in 77 articles [sw00592]
  • The basis of mapped finite element methods are...
  • NEWUOA

  • Referenced in 104 articles [sw00618]
  • NEWUOA is a software developped by M.J.D. Powell...
  • PARAMESH

  • Referenced in 115 articles [sw00677]
  • PARAMESH: A parallel adaptive mesh refinement community toolkit...
  • PHCpack

  • Referenced in 236 articles [sw00705]
  • Algorithm 795: PHCpack: A general-purpose solver for...
  • QEPCAD

  • Referenced in 285 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • R

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

  • Referenced in 82 articles [sw00802]
  • Algorithm 799: revolve. An implementation of checkpointing for...
  • ScaLAPACK

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

  • Referenced in 175 articles [sw00834]
  • Scilab includes hundreds of mathematical functions. It has...
  • Sostools

  • Referenced in 293 articles [sw00891]
  • We are pleased to introduce SOSTOOLS, a free...
  • STRIPACK

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

  • Referenced in 17 articles [sw00978]
  • Algorithm 751: TRIPACK: A constrained two-dimensional Delaunay...
  • TSPLIB

  • Referenced in 711 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • UMFPACK

  • Referenced in 421 articles [sw00989]
  • An ANSI C code for sparse LU factorization...
  • AUTO

  • Referenced in 958 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • SCIP

  • Referenced in 554 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • MACSYMA

  • Referenced in 721 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...