• ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • MATCONT

  • Referenced in 443 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • ADIFOR

  • Referenced in 254 articles [sw02185]
  • ADIFOR is a tool for the automatic differentiation...
  • TAPENADE

  • Referenced in 147 articles [sw06598]
  • TAPENADE is an Automatic Differentiation Engine developed at...
  • Cosy

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

  • Referenced in 41 articles [sw09274]
  • ATOMFT: Solving ODEs and DAEs using Taylor series...
  • Rapsodia

  • Referenced in 12 articles [sw12522]
  • Fast higher-order derivative tensors with Rapsodia. A...
  • AD01

  • Referenced in 15 articles [sw12526]
  • AD01, a Fortran 90 code for automatic differentiation...