• Coq

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

  • Referenced in 269 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Magma

  • Referenced in 2917 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

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

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

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

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

  • Referenced in 19 articles [sw01243]
  • Klava: a Java package for distributed and mobile...
  • McEliece

  • Referenced in 225 articles [sw02076]
  • Practical power analysis attacks on software implementations of...
  • CUDA

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

  • Referenced in 620 articles [sw03484]
  • PVS is a verification system: that is, a...
  • Haskell

  • Referenced in 851 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • UCI-ml

  • Referenced in 3100 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • Gurobi

  • Referenced in 530 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • FFTW

  • Referenced in 499 articles [sw04126]
  • FFTW is a C subroutine library for computing...
  • CVX

  • Referenced in 720 articles [sw04594]
  • CVX is a modeling system for constructing and...
  • PDCO

  • Referenced in 653 articles [sw05148]
  • PDCO: Primal-Dual interior method for Convex Objectives...
  • HOL

  • Referenced in 508 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...
  • Stata

  • Referenced in 806 articles [sw06029]
  • Stata is a complete, integrated statistical package that...
  • Excel

  • Referenced in 773 articles [sw06848]
  • Microsoft Excel is a powerful spreadsheet application that...