
AUTO
 Referenced in 640 articles
[sw01059]
 limited bifurcation analysis of algebraic systems of the form f ... f,u in Rn and of systems of ordinary differential equations of the form ... f,u in Rn subject to initial conditions, boundary conditions, and integral constraints. Here ... therefore it is applicable to rather large systems of differential equations...

AUTO86
 Referenced in 252 articles
[sw04220]
 formf(u,p) = 0, f,u in Rnand of systems of ordinary differential equations ... formu”(t) = f(u(t),p), f,u in Rnsubject to initial conditions, boundary conditions ... therefore it is applicable to rather large systems of differential equations...

ODEPACK
 Referenced in 136 articles
[sw08341]
 includes solvers for systems given in explicit form, dy/dt = f(t,y), and also solvers...

ode23
 Referenced in 189 articles
[sw06600]
 integrates the system of differential equations y′ = f(t,y) from time...

LSODE
 Referenced in 112 articles
[sw04374]
 solves stiff and nonstiff systems of the form dy/dt = f(t,y). In the stiff ... methods) in the stiff case. The linear systems that arise are solved by direct methods...

ALCON
 Referenced in 33 articles
[sw05315]
 solution paths of a nonlinear system F ... with rank F’(y)=n for y∈D. In particular, for the corrector iteration ... authors’ continuation code ALCON. ALCON1: (Al)gebraic system of equations (Con)tinuation method. Pathfollowing method...

AUTO2000
 Referenced in 46 articles
[sw04643]
 limited bifurcation analysis of algebraic systems of the form f ... f,u in Rn and of systems of ordinary differential equations of the form ... f,u in Rn subject to initial conditions, boundary conditions, and integral constraints. Here ... therefore it is applicable to rather large systems of differential equations...

bvp4c
 Referenced in 156 articles
[sw06178]
 integrates a system of ordinary differential equations of the form y′ = f...

Vador
 Referenced in 92 articles
[sw06987]
 system of particles under the effects of selfconsistent electro magnetic fields. The unknown f...

HOLOmega
 Referenced in 7 articles
[sw06581]
 variables and universal types as in System $F$. Impredicativity is avoided through the stratification ... depth of universal types. The new system, called HOLOmega or $mathrm{HOL} _{omega ... HOL4, HOL2P, and major aspects of System $F _{omega }$ from Chapter ... approach, the soundness of the entire system depends critically and solely on the soundness...

PHoM
 Referenced in 26 articles
[sw04645]
 input data for a given system of polynomial equations $f(x)= 0$. The second module ... Verify checks whether all isolated solutions of $f(x)= 0$ have been approximated correctly ... performance of PHoM include some large polynomial systems that have not been solved previously...

BEMECH
 Referenced in 62 articles
[sw10847]
 solving nonlinear systems of equations; e) the description of computer code, and f) the presentation...

CVODE
 Referenced in 40 articles
[sw04947]
 equation (ODE) systems (initial value problem) given in explicit form y’ = f ... either choice of formula, the resulting nonlinear system is solved (approximately) at each integration step...

WENO
 Referenced in 43 articles
[sw12694]
 Poisson system for semiconductor devices. We follow the work in E. Fatemi and F. Odeh ... formulate the BoltzmannPoisson system in a spherical coordinate system using the energy...

FLORA
 Referenced in 11 articles
[sw13880]
 FLORA  a powerful DOOD system that incorporates the features of Flogic, HiLog, and Transaction ... efficiency and is the only known system that extends the power of Prolog with ... efficient than other known DOOD systems based on Flogic...

OreModules
 Referenced in 31 articles
[sw06226]
 delay systems, etc. The package OreModules, based on an original program by F. Chyzak...

CVODES
 Referenced in 30 articles
[sw04946]
 nonstiff ODE systems (initial value problem) given in explicit form y’ = f ... integration of the original ODEs, the sensitivity systems, or the adjoint system. Depending...

MetaKlaim
 Referenced in 4 articles
[sw01810]
 system (including polymorphic types à la system F) to deal with highly parameterised mobile components...

QUOTPIC
 Referenced in 17 articles
[sw04937]
 found in: Derek F Holt and Sarah Rees, `A graphics system for displaying finite quotients...

LISP
 Referenced in 116 articles
[sw07201]
 data structure, giving rise to the macro systems that allow programmers to create new syntax ... arguments following; for instance, a function f that takes three arguments might be called using...