
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 Ccode 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 highlevel language and interactive...

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

NetworkX
 Referenced in 130 articles
[sw00616]
 NetworkX (NX) is a Python package for the...

Octave
 Referenced in 295 articles
[sw00646]
 GNU Octave is a highlevel 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, opensource math software...