• Coq

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

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

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

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

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

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

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

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

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

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

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

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