• SINGULAR

  • Referenced in 1522 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • Uppaal

  • Referenced in 658 articles [sw04702]
  • Uppaal is an integrated tool environment for modeling...
  • levmar

  • Referenced in 66 articles [sw04809]
  • levmar : Levenberg-Marquardt nonlinear least squares algorithms in...