• AUTO

  • Referenced in 567 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...
  • AUTO-86

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

  • Referenced in 165 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 138 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 84 articles [sw06987]
  • system of particles under the effects of self-consistent 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 Boltzmann-Poisson 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 F-logic, 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 F-logic...
  • 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...
  • HOL-Omega

  • 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 HOL-Omega 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 15 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...