
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 1835 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 638 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Maple
 Referenced in 5201 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 6112 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 12661 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 579 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...

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

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

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

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