
TILT
 Referenced in 1 article
[sw24052]
 natural deduction calculus. Since the search space for the proof search is still very large ... been demonstrated on the theorem prover TILT. It was able to solve smaller program synthesis...

GAP
 Referenced in 3164 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GAUSS
 Referenced in 119 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

Macaulay2
 Referenced in 1921 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

Matlab
 Referenced in 13488 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MuPAD
 Referenced in 139 articles
[sw00606]
 MuPAD consists of a powerful symbolic engine, a...

NetworkX
 Referenced in 161 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

R
 Referenced in 9832 articles
[sw00771]
 R is a language and environment for statistical...

SageMath
 Referenced in 1974 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SINGULAR
 Referenced in 1508 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

Sostools
 Referenced in 289 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

SNOPT
 Referenced in 551 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...

ASIFT
 Referenced in 34 articles
[sw02778]
 A fully affine invariant image comparison method, Affine...

SDPT3
 Referenced in 697 articles
[sw04009]
 This software is designed to solve conic programming...

PETSc
 Referenced in 1573 articles
[sw04012]
 The Portable, Extensible Toolkit for Scientiﬁc Computation (PETSc...

COMSOL
 Referenced in 457 articles
[sw04091]
 The COMSOL Multiphysics engineering simulation software environment facilitates...

car
 Referenced in 73 articles
[sw04358]
 R package car: Companion to Applied Regression , This...

mvtnorm
 Referenced in 161 articles
[sw04359]
 R package mvtnorm: Multivariate Normal and t Distributions...

lattice
 Referenced in 108 articles
[sw04363]
 R package lattice: Lattice Graphics , Lattice is a...