• SNSequate

  • Referenced in 3 articles [sw21191]
  • SNSequate: Standard and Nonstandard Statistical Models and Methods for Test Equating. Contains functions to perform...
  • ACL2

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

  • Referenced in 153 articles [sw00127]
  • An Interactive Geometry Software. Besides support for dynamic...
  • Coq

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

  • Referenced in 45 articles [sw00413]
  • Hopscotch: a fast second order partial differential equations...
  • Isabelle

  • Referenced in 719 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Maple

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

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

  • Referenced in 78 articles [sw00754]
  • QMRPACK: A package of QMR algorithms. The quasi...
  • R

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

  • Referenced in 56 articles [sw00778]
  • RANLUX: a Fortran implementation of the high-quality...
  • Scilab

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

  • Referenced in 75 articles [sw00973]
  • TPS and ETPS are, respectively, the Theorem Proving...
  • ML

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

  • Referenced in 197 articles [sw01224]
  • The Modula programming language is a descendant of...
  • ADIFOR

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

  • Referenced in 33 articles [sw02194]
  • CMRH: A new method for solving nonsymmetric linear...
  • S-PLUS

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