• RSOLVER

  • Referenced in 74 articles [sw04334]
  • RSolver is a program for solving quantified inequality...
  • Benchmarks

  • Referenced in 25 articles [sw04612]
  • Safety verification of hybrid systems by constraint propagation...
  • KELLEY

  • Referenced in 643 articles [sw04829]
  • Iterative methods for optimization This book gives an...
  • Chebfun

  • Referenced in 423 articles [sw05897]
  • Chebfun is a collection of algorithms and a...
  • VERICOMP

  • Referenced in 3 articles [sw06149]
  • VERICOMP, a system for comparing and testing verified...
  • HSolver

  • Referenced in 44 articles [sw07419]
  • HSolver is a program for verification of hybrid...
  • Cosy

  • Referenced in 96 articles [sw07711]
  • COSY is a system for the use of...
  • ValEncIA

  • Referenced in 19 articles [sw08735]
  • VALENCIA-IVP: A Comparison with Other Initial Value...
  • RODES

  • Referenced in 127 articles [sw30194]
  • A rigorous ODE solver and Smale’s 14th...