• # AUTO

• Referenced in 668 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 254 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...
• # LSODE

• Referenced in 116 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 47 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 27 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...
• # HOL-Omega

• 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 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...
• # CVODE

• Referenced in 42 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 44 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...
• # CVODES

• Referenced in 31 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...
• # 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...