- Referenced in 1272 articles
- SeDuMi is a Matlab toolbox for solving optimization...
- Referenced in 697 articles
- This software is designed to solve conic programming...
- Referenced in 3379 articles
- UC Irvine Machine Learning Repository. We currently maintain...
- Referenced in 264 articles
- Description (homepage): SVMlight is an implementation of Vapnik...
- Referenced in 2766 articles
- IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
- Referenced in 194 articles
- SMT-LIB was created with the expectation that...
- Referenced in 540 articles
- FFTW is a C subroutine library for computing...
- Referenced in 381 articles
- GeoGebra is free and multi-platform dynamic mathematics...
- Referenced in 320 articles
- Bioconductor provides tools for the analysis and comprehension...
- Referenced in 520 articles
- LINPACK is a collection of Fortran subroutines that...
- Referenced in 139 articles
- PTC Mathcad is the Industry Standard Software for...
- Referenced in 1594 articles
- The Abaqus Unified FEA product suite offers powerful...
- Referenced in 673 articles
- SPSS is a computer program used for survey...
- Referenced in 815 articles
- Simulink® is an environment for multidomain simulation and...
- Referenced in 160 articles
- R package quantreg: Quantile Regression. Estimation and inference...
- Referenced in 196 articles
- SATO: A Solver for Propositional Satisfiability: The Davis...
- Referenced in 764 articles
- WinBUGS is part of the BUGS project, which...