
Timbuk
 Referenced in 47 articles
[sw06351]
 fully new version of the tree automata completion engine used for reachability analysis. Older Timbuk ... Caml functions for basic manipulation on Tree Automata, alphabets, terms, Term Rewriting Systems...

XDuce
 Referenced in 54 articles
[sw12436]
 theory of regular tree automata, and present a complete formal definition of its core, along...

Slide
 Referenced in 20 articles
[sw28542]
 SLIDE  Separation Logic with Inductive Definitions. Automatabased entailment checking for Separation Logic with Inductive ... data structures (lists, trees, and beyond). Basic features: Sound and complete for local data structures ... trees with linked leaves, skiplists, etc. ); Built on top of the VATA tree automata...

CGAL
 Referenced in 384 articles
[sw00118]
 The goal of the CGAL Open Source Project...

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

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

gmp
 Referenced in 282 articles
[sw00363]
 GMP is a free library for arbitrary precision...

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

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

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

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

MARCA
 Referenced in 32 articles
[sw00547]
 MARCA: Markov chain analyzer, a software package for...

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

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

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

NAG
 Referenced in 423 articles
[sw00610]
 Produced by experts for use in a variety...

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

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

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

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