• Esterel

  • Referenced in 163 articles [sw20012]
  • control automata. The Esterel v5 compiler can be used to generate a software or hardware ... implementation of a reactive program. It can generate C-code to be embedded ... interface and data manipulations. It can also generate hardware in the form of netlists ... been chosen by the Polis group as one of their input languages for their hardware/software...
  • AutomGrp

  • Referenced in 12 articles [sw07727]
  • methods for computations with groups and semigroups generated by finite automata or given by wreath...
  • CGAL

  • Referenced in 370 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

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

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

  • Referenced in 138 articles [sw00344]
  • The gfun package provides tools for determining and...
  • gmp

  • Referenced in 274 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Isabelle

  • Referenced in 624 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Magma

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

  • Referenced in 5199 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

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

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

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

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

  • Referenced in 295 articles [sw00646]
  • GNU Octave is a high-level language, primarily...
  • QEPCAD

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

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

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

  • Referenced in 1743 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...