
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 highlevel language and interactive...

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose 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, generalpurpose purely functional...

UCIml
 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: PrimalDual 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...