• SNSequate

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Referenced in 14 articles [sw03194]
  • In this paper, we propose Phillips-Perron type...
  • SAS/IML

  • Referenced in 70 articles [sw03240]
  • The SAS® System provides a powerful and flexible...
  • ADIC

  • Referenced in 79 articles [sw03392]
  • Welcome to the ADIC Resource Center. ADIC is...