• Maple

  • Referenced in 5040 articles [sw00545]
  • The result of over 30 years of cutting...
  • SPeeDI

  • Referenced in 7 articles [sw00896]
  • SPeeDI -- a verification tool for polygonal hybrid systems...
  • ODEtools

  • Referenced in 11 articles [sw09257]
  • Computer algebra solving of first order ODEs using...