- Referenced in 1487 articles
- Coq is a formal proof management system. It...
- Referenced in 17 articles
- Grail is a symbolic computation environment for finite...
- Referenced in 479 articles
- An extensible SAT-solver. MiniSat is a minimalistic...
- Referenced in 1236 articles
- Sage (SageMath) is free, open-source math software...
- Referenced in 165 articles
- Bioconductor provides tools for the analysis and comprehension...
- Referenced in 297 articles
- spatial: Functions for Kriging and Point Pattern Analysis...
- Referenced in 65 articles
- Yacc (Yet Another Compiler-Compiler) is a computer...