- Referenced in 1502 articles
- Coq is a formal proof management system. It...
- Referenced in 1341 articles
- Macaulay2 is a software system devoted to supporting...
- Referenced in 4663 articles
- The result of over 30 years of cutting...
- Referenced in 251 articles
- MATCONT: Matlab software for bifurcation study of dynamical...
- Referenced in 5178 articles
- Almost any workflow involves computing results, and that...
- Referenced in 28 articles
- A Program for calculating singular algebraic curves and...
- Referenced in 195 articles
- UTV Expansin pack: Special-purpose rank-revealing algorithms...
- Referenced in 332 articles
- XPPAUT is software for the analysis and simulation...
- Referenced in 59 articles
- Camera calibration toolbox for Matlab...
- Referenced in 68 articles
- Metro: measuring error on simplified surfaces. Metro is...
- Referenced in 513 articles
- SIFT Keypoint Detector. Distinctive Image Features from Scale...
- Referenced in 4 articles
- Cytopede: A Three-Dimensional Tool for Modeling Cell...