
Mathematica
 Referenced in 5883 articles
[sw00554]
 Almost any workflow involves computing results, and that...

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

MetiTarski
 Referenced in 49 articles
[sw00573]
 Many inequalities involving the functions ln, exp, sin...

nauty
 Referenced in 558 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

QEPCAD
 Referenced in 275 articles
[sw00752]
 QEPCAD B: A program for computing with semi...

REDUCE
 Referenced in 739 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

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

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

Theorema
 Referenced in 144 articles
[sw00961]
 The software system Theorema provides a uniform logic...

Xeukleides
 Referenced in 4 articles
[sw01025]
 Xeukleides is a frontend for editing and viewing...

MACSYMA
 Referenced in 716 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

ML
 Referenced in 514 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

CLEAN
 Referenced in 58 articles
[sw01346]
 Clean is a functional language based on Term...

SATLIB
 Referenced in 57 articles
[sw02107]
 SATLIB is a collection of benchmark problems, solvers...

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

GEOTHER 1.1
 Referenced in 30 articles
[sw02842]
 GEOTHER (GEOmetry THeorem provER), a module of Epsilon...

VAMPIRE
 Referenced in 237 articles
[sw02918]
 Vampire 8.0, [RV02,Vor05] is an automatic theorem...

Haskell
 Referenced in 844 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

UCIml
 Referenced in 3041 articles
[sw04074]
 UC Irvine Machine Learning Repository. We currently maintain...