• Kenzo

  • Referenced in 64 articles [sw04861]
  • Pisa, Sweden: Stockolm, Japan: Sapporo, Morioka, Urawa, Tokyo, Kyoto, Nara, Osaka and Hiroshima...
  • Maple

  • Referenced in 5168 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

  • Referenced in 740 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • ELAN

  • Referenced in 108 articles [sw02179]
  • The ELAN system provides an environment for specifying...
  • SDPA

  • Referenced in 175 articles [sw03275]
  • SDPA (SemiDefinite Programming Algorithm)” is one of the...
  • KLIC

  • Referenced in 11 articles [sw03351]
  • Parallelization of PARI by the parallel logic language...
  • Mizar

  • Referenced in 470 articles [sw04704]
  • The Mizar System is the only implementation of...
  • GeoWin

  • Referenced in 5 articles [sw06298]
  • GeoWin - a generic tool for interactive visualization of...
  • CAPTools

  • Referenced in 8 articles [sw17993]
  • Computer aided parallelisation tools (CAPTools) — conceptual overview and...