
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 AdamsMoulton formulas, with the order varying between ... stiff problems, CVODE includes the Backward Differentiation Formulas (BDFs) in socalled fixedleading 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]
 multistep 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]
 highorder 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...