• 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 high-level 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 general-purpose 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 high-performance theorem prover being...
  • QUOTPIC

  • Referenced in 17 articles [sw04937]
  • QUOTPIC is an X-Windows 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 model-finder 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...