
DSSZMC
 Referenced in 6 articles
[sw01360]
 Zerosuppressed Binary Decision Diagrams and Interval Decision Diagrams. The main features are saturationbased...

MARCIE
 Referenced in 8 articles
[sw12882]
 Petri net models are based on Interval Decision Diagrams. They are complemented by simulative...

BOXES
 Referenced in 6 articles
[sw21178]
 refinement of the wellknown Box (or Intervals) domain with finite disjunctions. An element ... weds the strengths of Binary Decision Diagrams (BDDs) and Box. The complexity of the operations...

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

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

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

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

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

LEDA
 Referenced in 261 articles
[sw00509]
 In the core computer science areas  data structures...

LGO
 Referenced in 93 articles
[sw00516]
 The program system LGO serves to solve global...

Macaulay2
 Referenced in 1758 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

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

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

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

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

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

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

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