- Referenced in 1502 articles
- Coq is a formal proof management system. It...
- Referenced in 17 articles
- Grail is a symbolic computation environment for finite...
- Referenced in 483 articles
- An extensible SAT-solver. MiniSat is a minimalistic...
- Referenced in 6475 articles
- R is a language and environment for statistical...
- Referenced in 1248 articles
- Sage (SageMath) is free, open-source math software...
- Referenced in 225 articles
- Bioconductor provides tools for the analysis and comprehension...
- Referenced in 298 articles
- spatial: Functions for Kriging and Point Pattern Analysis...