
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 continuationtype algorithms. This is an improvement over ... continuation techniques for tracing the tradeoff 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...

AUTO07P
 Referenced in 262 articles
[sw04961]
 CONTINUATION AND BIFURCATION PROBLEMS IN ORDINARY DIFFERENTIAL EQUATIONS: AUTO07p 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]
 powerlaw 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]
 Builtin imputation models are provided for continuous data (predictive mean matching, normal), binary data ... data (proportional odds). MICE can also impute continuous twolevel 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...