
CGAL
 Referenced in 319 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

LEDA
 Referenced in 247 articles
[sw00509]
 In the core computer science areas  data structures...

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

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

Maple
 Referenced in 4799 articles
[sw00545]
 The result of over 30 years of cutting...

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

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

MiniSat
 Referenced in 510 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

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

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

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

SQG
 Referenced in 19 articles
[sw00907]
 This paper describes an implementation of a complementary...

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

PERL
 Referenced in 251 articles
[sw01225]
 Programming Perl. Perl is a language for easily...

LOOPS
 Referenced in 6 articles
[sw01456]
 Concepts of a learning objectoriented problem solver...

OTTER
 Referenced in 301 articles
[sw02904]
 Our current automated deduction system Otter is designed...

SeDuMi
 Referenced in 1066 articles
[sw04002]
 SeDuMi is a Matlab toolbox for solving optimization...

CPLEX
 Referenced in 2420 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

Qhull
 Referenced in 267 articles
[sw04419]
 The convex hull of a point set P...