• HyTech

• Referenced in 331 articles [sw04125]
• collections of automata with discrete and continuous components, and temporal requirements are verified by symbolic...

• NBI

• Referenced in 208 articles [sw05075]
• objectives while retaining the computational efficiency of continuation-type algorithms. This is an improvement over ... continuation techniques for tracing the trade-off curve since continuation strategies cannot easily be extended...

• PHCpack

• Referenced in 236 articles [sw00705]
• purpose solver for polynomial systems by homotopy continuation. Polynomial systems occur in a wide variety ... application domains. Homotopy continuation methods are reliable and powerful methods to compute numerically approximations...

• INTOPT_90

• Referenced in 306 articles [sw04705]
• Rigorous global search: continuous problems The monograph gives a survey of interval arithmetic based methods...

• Optimization Toolbox

• Referenced in 305 articles [sw10828]
• these solvers to find optimal solutions to continuous and discrete problems, perform tradeoff analyses...

• PLTMG

• Referenced in 215 articles [sw00717]
• based on a family of continuous Lagrange triangular finite elements. PLTMG features options for adaptive ... linear equations. PLTMG provides a suite of continuation options to handle PDEs with parameter dependencies...

• FODE

• Referenced in 296 articles [sw08377]
• rich variety of scenarios such as continuous time random walk models, generalized Langevin equations...

• Eiffel

• Referenced in 289 articles [sw03522]
• ideas, particularly through the Ecma/ISO standardization process, continue to be incorporated into the Eiffel language...

• QEPCAD

• Referenced in 283 articles [sw00752]
• students that has spanned several decades ... and continues still! I extended and improved QEPCAD...

• gmp

• Referenced in 282 articles [sw00363]
• release was made in 1991. It is continually developed and maintained, with a new release...

• ABAQUS/Standard

• Referenced in 202 articles [sw07161]
• used as the starting conditions for continuation in Abaqus/Explicit. Similarly, an analysis that starts ... Abaqus/Explicit can be continued in Abaqus/Standard. The flexibility provided by this integration allows Abaqus/Standard...

• PSPLIB

• Referenced in 269 articles [sw00740]
• field, the instance library will be continuously enlarged and new results will be made accessible...

• DASSL

• Referenced in 262 articles [sw03174]
• TOUT. It is easy to continue the solution to get results at additional TOUT. This...

• AUTO-07P

• Referenced in 262 articles [sw04961]
• CONTINUATION AND BIFURCATION PROBLEMS IN ORDINARY DIFFERENTIAL EQUATIONS: AUTO-07p is the successor to both...

• PITCON

• Referenced in 260 articles [sw04244]
• equations. Chapter 7: Parametrized systems of equations. Continuation methods, in particular an ordinary differential equations...

• Bertini

• Referenced in 250 articles [sw06683]
• also user defined homotopies. Implements parameter continuation for families of systems, such as the inverse...

• plfit

• Referenced in 239 articles [sw23186]
• power-law distributions to empirical (discrete or continuous) data, according to the method of Clauset...

• MPFR

• Referenced in 226 articles [sw03312]
• point computations with correct rounding. MPFR has continuously been supported by the INRIA...

• MICE

• Referenced in 159 articles [sw09315]
• Built-in imputation models are provided for continuous data (predictive mean matching, normal), binary data ... data (proportional odds). MICE can also impute continuous two-level data (normal model, pan, second...

• Bonmin

• Referenced in 211 articles [sw04766]
• mixed integer nonlinear problems that exhibit convex continuous relaxations, on which the experiments are carried...