• Coq

  • Referenced in 1502 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Macaulay2

  • Referenced in 1341 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 4663 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATCONT

  • Referenced in 251 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

  • Referenced in 5178 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • SingSurf

  • Referenced in 28 articles [sw00865]
  • A Program for calculating singular algebraic curves and...
  • UTV

  • Referenced in 195 articles [sw05213]
  • UTV Expansin pack: Special-purpose rank-revealing algorithms...
  • XPPAUT

  • Referenced in 332 articles [sw05543]
  • XPPAUT is software for the analysis and simulation...
  • calib

  • Referenced in 59 articles [sw06524]
  • Camera calibration toolbox for Matlab...
  • Metro

  • Referenced in 68 articles [sw07731]
  • Metro: measuring error on simplified surfaces. Metro is...
  • SIFT

  • Referenced in 513 articles [sw16554]
  • SIFT Keypoint Detector. Distinctive Image Features from Scale...
  • Cytopede

  • Referenced in 4 articles [sw18066]
  • Cytopede: A Three-Dimensional Tool for Modeling Cell...