• MACSYMA

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

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • QUADPACK

  • Referenced in 264 articles [sw01236]
  • Fortran subprograms for evaluating definite integrals of functions...
  • Kronos

  • Referenced in 273 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • PISA

  • Referenced in 63 articles [sw01397]
  • PISA consists of two parts: PISA is a...
  • PhFit

  • Referenced in 24 articles [sw01789]
  • PhFit: A general phase-type fitting tool. PhFit...
  • ADIFOR

  • Referenced in 254 articles [sw02185]
  • ADIFOR is a tool for the automatic differentiation...
  • SNOPT

  • Referenced in 551 articles [sw02300]
  • SNOPT: An SQP algorithm for large-scale constrained...
  • SIMANN

  • Referenced in 13 articles [sw02517]
  • Simulated annealing is a global optimization method that...
  • R-MAX

  • Referenced in 32 articles [sw02539]
  • R-MAX is a very simple model-based...
  • DT-CWT

  • Referenced in 100 articles [sw02857]
  • Research on pixel-level image fusion algorithm based...
  • S-PLUS

  • Referenced in 615 articles [sw02892]
  • S-PLUS is a powerful environment for statistical...
  • BLAST

  • Referenced in 129 articles [sw02937]
  • BLAST (Berkeley Lazy Abstraction Software verification Tool) is...
  • LOTOS

  • Referenced in 152 articles [sw02961]
  • Introduction to the ISO specification language LOTOS. LOTOS...
  • L-BFGS

  • Referenced in 852 articles [sw03229]
  • Algorithm 778: L-BFGS-B Fortran subroutines for...
  • CUDA

  • Referenced in 1333 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • SPIN

  • Referenced in 727 articles [sw03455]
  • Spin is a popular open-source software tool...
  • AMPL

  • Referenced in 621 articles [sw04001]
  • AMPL is a comprehensive and powerful algebraic modeling...