
AUTO
 Referenced in 583 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 244 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 133 articles
[sw08341]
 includes solvers for systems given in explicit form, dy/dt = f(t,y), and also solvers...

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

LSODE
 Referenced in 110 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...

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

AUTO2000
 Referenced in 38 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...

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...

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

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

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...

CVODE
 Referenced in 36 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...

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

CVODES
 Referenced in 28 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...

HOLOmega
 Referenced in 2 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...

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

LISP
 Referenced in 109 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...