Results 1 to 3 of 3
Sort by:

  • 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...