
RAMAS
 Referenced in 12 articles
[sw10958]
 easily extendable to rectangular hybrid automata with multiaffine vector fields and is expected ... find important applications in analysis of biological networks and robot control...

HyComp
 Referenced in 1 article
[sw20163]
 HyComp takes as input networks of hybrid automata specified using the HyDI symbolic language. HyComp ... relies on the encoding of the network into an infinitestate transition system, which...

HyDI
 Referenced in 3 articles
[sw11912]
 demands for advanced validation techniques. Hybrid automata are a clean and consolidated formal language ... propose a new language, HYDI, for modeling Hybrid systems with Discrete Interaction. The purpose ... modules represent the asynchronous components of a network and use explicit events to synchronize...

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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