- Referenced in 1739 articles
- Coq is a formal proof management system. It...
- Referenced in 1538 articles
- Macaulay2 is a software system devoted to supporting...
- Referenced in 4879 articles
- The result of over 30 years of cutting...
- Referenced in 322 articles
- MATCONT: Matlab software for bifurcation study of dynamical...
- Referenced in 5658 articles
- Almost any workflow involves computing results, and that...
- Referenced in 30 articles
- A Program for calculating singular algebraic curves and...
- Referenced in 213 articles
- UTV Expansin pack: Special-purpose rank-revealing algorithms...
- Referenced in 360 articles
- XPPAUT is software for the analysis and simulation...
- Referenced in 58 articles
- Camera calibration toolbox for Matlab...
- Referenced in 69 articles
- Metro: measuring error on simplified surfaces. Metro is...
- Referenced in 575 articles
- SIFT Keypoint Detector. Distinctive Image Features from Scale...
- Referenced in 4 articles
- Cytopede: A Three-Dimensional Tool for Modeling Cell...