Results 1 to 20 of 149
Sort by:

  • ATLAS
  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...

  • AUTOMATE
  • Referenced in 12 articles [sw00059]
  • AUTOMATE, a computing package for automata and finite...

  • AXIOM
  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...

  • Coq
  • Referenced in 1888 articles [sw00161]
  • Coq is a formal proof management system. It...

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

  • LASS
  • Referenced in 30 articles [sw00505]
  • Local Analysis of Self-Similarity - The LASS tool...

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

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

  • MapReduce
  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...

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

  • Matlab
  • Referenced in 13488 articles [sw00558]
  • MATLAB® is a high-level language and interactive...

  • nauty
  • Referenced in 609 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...

  • Nitpick
  • Referenced in 63 articles [sw00622]
  • Nitpick is a counterexample generator for Isabelle/HOL that...

  • Plural
  • Referenced in 86 articles [sw00719]
  • Singular is a computer algebra system (CAS) developed...

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

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

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

  • RelView
  • Referenced in 102 articles [sw00798]
  • The RelView-System is an interactive tool for...

  • SEMINT
  • Referenced in 15 articles [sw00845]
  • One step in interoperating among heterogeneous databases is...