
VerICS
 Referenced in 33 articles
[sw02011]
 original tool for automated verification of Timed Automata and protocols written in a subset ... Institute of Computer Science of Polish Academy of Sciences (ICS PAS). As an input ... original intermediate language (IL), or Timed Automata in the Kronoslike format can be used...

Regexp
 Referenced in 1 article
[sw31124]
 Expressions to Deterministic Automata, G. Berry and R. Sethi. Theoretical Computer Science...

BOXEL
 Referenced in 1 article
[sw03239]
 Group on Automata and Computability Theory, with the Cooperation of the IEEE Computer Society Technical ... Committee on Mathematical Foundations of Computing and Computer Science Department, University of Southern California...

AMESPLOT
 Referenced in 1 article
[sw00041]
 AMESPLOT  A higher level data plotting software system...

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

FAST16
 Referenced in 5 articles
[sw00262]
 FAST16: A software program for factorizing polynomials over...

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

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

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

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

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

MATHLAB
 Referenced in 14 articles
[sw00574]
 MATHLAB is a computer algebra system created in...

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

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

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

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

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

SymPy
 Referenced in 120 articles
[sw00940]
 SymPy is a Python library for symbolic mathematics...

SCIP
 Referenced in 472 articles
[sw01091]
 SCIP is currently one of the fastest non...