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

IMITATOR
 Referenced in 29 articles
[sw00439]
 IMITATOR is a software tool for parametric verification...

Isabelle
 Referenced in 622 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

LANGAGE
 Referenced in 38 articles
[sw00501]
 LANGAGE: A Maple package for automaton characterization of...

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

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

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

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

MetiTarski
 Referenced in 51 articles
[sw00573]
 Many inequalities involving the functions ln, exp, sin...

MiniSat
 Referenced in 546 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

Octave
 Referenced in 294 articles
[sw00646]
 GNU Octave is a highlevel language, primarily...

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

SageMath
 Referenced in 1741 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SUNDIALS
 Referenced in 220 articles
[sw00927]
 SUNDIALS was implemented with the goal of providing...

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

COBOL
 Referenced in 237 articles
[sw01228]
 COBOL (/ˈkoʊbɒl/, an acronym for common businessoriented...

Graphviz
 Referenced in 85 articles
[sw01283]
 Graphviz is open source graph visualization software. Graph...

SymbolicC++
 Referenced in 31 articles
[sw01428]
 SymbolicC++ introduces, amongst others, the Symbolic class which...

WoLFram
 Referenced in 15 articles
[sw02075]
 WoLFram  a word level framework for formal verification...

McEliece
 Referenced in 232 articles
[sw02076]
 Practical power analysis attacks on software implementations of...