Results 21 to 40 of 196
Sort by:

  • GraphDBLP
  • Referenced in 1 article [sw32533]
  • GraphDBLP, a system that models the DBLP bibliography as a graph database for performing graph...

  • amsrefs
  • Referenced in 1 article [sw33723]
  • BibTEX. Amsrefs is a LATEX package for bibliographies that provides an archival data format similar...

  • camel

  • Referenced in 1 article [sw33724]
  • Prototype work on future citation engine. Comprehensive bibliography manager (developed as a demonstration engine...

  • ARMS
  • Referenced in 65 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...

  • ACL2
  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...

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

  • CASA
  • Referenced in 105 articles [sw00108]
  • CASA is a special-purpose system for computational...

  • C-XSC
  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific...

  • C-XSC 2.0
  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...

  • FAST16
  • Referenced in 5 articles [sw00262]
  • FAST16: A software program for factorizing polynomials over...

  • FIDISOL
  • Referenced in 12 articles [sw00288]
  • FIDISOL (Finite difference solver) is a program package...

  • FLIP
  • Referenced in 3 articles [sw00298]
  • ’FLIP’: Multiobjective fuzzy linear programming software with graphical...

  • gfun
  • Referenced in 144 articles [sw00344]
  • The gfun package provides tools for determining and...

  • ITPACK
  • Referenced in 47 articles [sw00459]
  • The ITPACK project: Past, present, and future The...

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

  • LSQR
  • Referenced in 394 articles [sw00530]
  • Algorithm 583: LSQR: Sparse Linear Equations and Least...

  • Macaulay2
  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...

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

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