• Diamant toolbox

  • Referenced in 12 articles [sw12524]
  • solution of nonlinear residual equations. I: The Diamant toolbox. Sufficiently smooth nonlinear PDE problems ... genericity and ease of use. The Diamant toolbox we construct is applied to the study ... experimental performances demonstrate the efficiency of the Diamant tool...
  • Diamanlab

  • Referenced in 2 articles [sw26170]
  • higher-order asymptotic numerical method in its Diamant form that interprets the generic nonlinear problem...
  • 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...
  • revolve

  • Referenced in 74 articles [sw00802]
  • Algorithm 799: revolve. An implementation of checkpointing for...
  • AUTO

  • Referenced in 943 articles [sw01059]
  • AUTO is a software for continuation and bifurcation...
  • ADIFOR

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

  • Referenced in 137 articles [sw04058]
  • NLEVP: A Collection of Nonlinear Eigenvalue Problems. This...
  • ADMAT

  • Referenced in 31 articles [sw04864]
  • ADMAT 2.0: Many scientific computing tasks require the...
  • AUTO-07P

  • Referenced in 262 articles [sw04961]
  • CONTINUATION AND BIFURCATION PROBLEMS IN ORDINARY DIFFERENTIAL EQUATIONS...
  • HOMPACK

  • Referenced in 122 articles [sw05324]
  • Algorithm 652, HOMPACK: A suite of codes for...
  • TAPENADE

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

  • Referenced in 18 articles [sw06647]
  • ADiMat is a software tool implementing the technology...
  • 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...
  • MAD

  • Referenced in 26 articles [sw12534]
  • TOMLAB /MAD: An efficient overloaded implementation of forward...