• DASSL

  • Referenced in 259 articles [sw03174]
  • Subroutine DDASSL uses the backward differentiation formulas of orders one through five to solve...
  • VODE

  • Referenced in 194 articles [sw01005]
  • full variable coefficient version of the backward differentiation formula methods for stiff systems. They find...
  • LSODE

  • Referenced in 132 articles [sw04374]
  • corrector) in the nonstiff case, and Backward Differentiation Formula (BDF) methods (the Gear methods...
  • CVODE

  • Referenced in 56 articles [sw04947]
  • solver for stiff and nonstiff ordinary differential equation (ODE) systems (initial value problem) given ... nonstiff problems, CVODE includes the Adams-Moulton formulas, with the order varying between ... stiff problems, CVODE includes the Backward Differentiation Formulas (BDFs) in so-called fixed-leading coefficient...
  • PVODE

  • Referenced in 8 articles [sw04325]
  • coefficient forms of the Adams and Backward Differentiation Formula methods. The linear systems that must...
  • SubIval

  • Referenced in 6 articles [sw22654]
  • obtained then applying an implicit BDF (backward differentiation formula) for a first order derivative...
  • d03pcf

  • Referenced in 5 articles [sw30985]
  • resulting system is solved using a backward differentiation formula method. d03pca is a version...
  • Larkin

  • Referenced in 4 articles [sw36286]
  • suggested the use of backward differentiation formulae (BDF). These formulae have been selected by GEAR...
  • LMEF

  • Referenced in 3 articles [sw13929]
  • multi-step method (explicit, implicit or backward differentiation formulas) with algebraic and/or exponential fitting...
  • d03pef

  • Referenced in 1 article [sw30986]
  • resulting system is solved using a Backward Differentiation Formula (BDF) method...
  • RKCK

  • Referenced in 1 article [sw17620]
  • high-order implicit algorithms based on backwards differentiation formulae (e.g., VODE, LSODE) involve complex logical...
  • LASSIE

  • Referenced in 1 article [sw29330]
  • absence of stiffness, and the Backward Differentiation Formulae of first order in presence of stiffness...
  • NDL

  • Referenced in 6 articles [sw10433]
  • numerical differentiation library exploiting parallel architectures. We present a software library for numerically estimating first ... truncation schemes are offered resulting in corresponding formulas that are accurate to order ... step. The derivatives are calculated via forward, backward and central differences. Care has been taken...
  • Coq

  • Referenced in 1807 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Expokit

  • Referenced in 179 articles [sw00258]
  • Expokit provides a set of routines aimed at...
  • GEARS

  • Referenced in 4 articles [sw00329]
  • GEARS: A package for the solution of sparse...
  • GELDA

  • Referenced in 33 articles [sw00331]
  • GELDA is a Fortran77 sofware package for the...
  • HSL

  • Referenced in 270 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Isabelle

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

  • Referenced in 1642 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...