
Gpd
 Referenced in 8 articles
[sw08651]
 enables normal form computations for free products with amalgamation, and for HNN extensions, when...

groupoids
 Referenced in 1 article
[sw27980]
 normal forms of elements in Free Products with Amalgamation and in HNN extensions. Up until...

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

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

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

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

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

CASL
 Referenced in 174 articles
[sw02235]
 The specification language developed by CoFI is called...

GLPK
 Referenced in 183 articles
[sw04560]
 The GLPK (GNU Linear Programming Kit) package is...

PORTA
 Referenced in 127 articles
[sw04869]
 PORTA is a collection of routines for analyzing...

z3
 Referenced in 606 articles
[sw04887]
 Z3 is a highperformance theorem prover being...

QUOTPIC
 Referenced in 17 articles
[sw04937]
 QUOTPIC is an XWindows program for plotting...

Prover9
 Referenced in 198 articles
[sw04969]
 Prover9 and Mace4: Prover9 is an automated theorem...

LMI toolbox
 Referenced in 1468 articles
[sw06383]
 Linear Matrix Inequalities (LMIs) and LMI techniques have...

Mace4
 Referenced in 228 articles
[sw06905]
 finite modelfinder Mace4. Mace4 is a program...

robustbase
 Referenced in 505 articles
[sw07114]
 R package robustbase: Basic Robust Statistics. ”Essential” Robust...

scallop
 Referenced in 7 articles
[sw07941]
 scallop: A program to compute with surfaces in...

FOCI
 Referenced in 62 articles
[sw12868]
 FOCI: and interpolating prover. FOCI is a decision...

CoxIter
 Referenced in 6 articles
[sw13972]
 CoxIter  computing invariants of hyperbolic Coxeter groups.CoxIter is...

ALGOL 60
 Referenced in 669 articles
[sw21807]
 ALGOL 60 (short for Algorithmic Language 1960) is...