• INTLAB

  • Referenced in 435 articles [sw04004]
  • INTLAB is the Matlab toolbox for reliable computing...
  • KELLEY

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

  • Referenced in 35 articles [sw07577]
  • The art of differentiating computer programs. An introduction...
  • CAPD

  • Referenced in 70 articles [sw07620]
  • Software library that aims to provide a set...
  • PolyPaver

  • Referenced in 3 articles [sw08771]
  • Polynomial function intervals for floating-point software verification...
  • Taylor

  • Referenced in 88 articles [sw10816]
  • A software package for the numerical integration of...
  • CkAnalytic

  • Referenced in 7 articles [sw19313]
  • Computer assisted Fourier analysis in sequence spaces of...