
BARON
 Referenced in 336 articles
[sw00066]
 BARON is a computational system for solving nonconvex optimization problems to global optimality. Purely continuous...

INTLAB
 Referenced in 447 articles
[sw04004]
 vectorized computations, fast) Gradients (to solve systems of nonlinear equations) Hessians (for global optimization) Taylor...

GAIO
 Referenced in 92 articles
[sw04306]
 GAIO is a software package for the global numerical analysis of dynamical systems and optimization ... techniques. It may e.g. be used to compute invariant sets, invariant manifolds, invariant measures ... sets in dynamical systems and to compute the globally optimal solutions of both scalar...

SCALCG
 Referenced in 105 articles
[sw08453]
 quasiNewton BFGS updating formula. The computational scheme is embedded in the restart philosophy ... convex functions, the algorithm is global convergent. Preliminary computational results, for a set consisting...

KANT/KASH
 Referenced in 156 articles
[sw00481]
 system (CAS) for sophisticated computations in algebraic number fields and global function fields ... Berlin. KANT is a program library for computations in algebraic number ﬁelds, algebraic function ﬁelds...

DYNAMO
 Referenced in 258 articles
[sw01227]
 others[8] at the M.I.T. Computation Center.[9] The earliest versions were written in assembly ... used for the system dynamics simulations of global resourcedepletion reported in the Club ... Originally designed for batch processing on mainframe computers, it was made available on minicomputers...

Plural
 Referenced in 84 articles
[sw00719]
 computer algebra system (CAS) developed for efficient computations with polynomials. Plural is a (kernel) extension ... Singular and all the global monomial orderings are supported for computing left, right...

MLMSRBF
 Referenced in 41 articles
[sw07571]
 framework for the global optimization of computationally expensive multimodal functions when derivatives are unavailable ... mild technical conditions, SRS converges to the global minimum in a probabilistic sense. We also...

INTOPT_90
 Referenced in 306 articles
[sw04705]
 touching many software details. The chapter on global optimization (40 pages) only admits equality constraints ... algorithm applied to the John conditions and computationally executed proofs of the existence of feasible...

OmniRPC
 Referenced in 13 articles
[sw01610]
 grid RPC facility for cluster and global computing in OpenMP. Omni remote procedure call facility ... grid RPC facility for cluster and global computing environments. The remote libraries are implemented...

APOGEE
 Referenced in 35 articles
[sw08451]
 logarithmic partitioning schemes. Our recent work globally optimized two classes of largescale pooling problems ... logarithmic number of binary variables and computationally compare the performance of this new formulation ... work by developing APOGEE, a computational tool that globally optimizes standard, generalized, and extended pooling...

ULM
 Referenced in 10 articles
[sw08978]
 Core Programming Model for Global Computing. We propose a programming model to address the unreliable ... character of accessing resources in a global computing context, focusing on giving a precise semantics...

CHomP
 Referenced in 47 articles
[sw09358]
 computationally efficient. Algebraic Topology is the classical mathematical tool for the global analysis of nonlinear...

QFLib
 Referenced in 10 articles
[sw16491]
 Pari/GP. C++ routines for local and global computations with integervalued quadratic forms. These routines...

GLOB
 Referenced in 36 articles
[sw00357]
 hard global optimization problems arising in practice. The computational results show the potential...

KELLEY
 Referenced in 628 articles
[sw04829]
 trustregion methods, which are used to globalize convergence, i.e., remove the restriction that ... evaluation of the objective function involves computer simulations. In such cases the noise often introduces...

ANTIGONE
 Referenced in 96 articles
[sw09241]
 framework. ANTIGONE is the evolution of the Global MixedInteger Quadratic Optimizer, GloMIQO, to general ... quadratic program and mixedinteger signomial optimization computational frameworks. To demonstrate the capacity of ANTIGONE ... this paper presents computational results on a test suite of 2,571 problems from standard ... ANTIGONE to other stateoftheart global optimization solvers...

OASES
 Referenced in 89 articles
[sw30082]
 Exploration Synthesis. OASES is a general purpose computer code for modeling seismoacoustic propagation ... wavenumber integration in combination with the Direct Global Matrix solution technique. It is basically...

MooNMD
 Referenced in 73 articles
[sw00592]
 freedom have to be assigned to the global degrees of freedom which define the finite ... element space. We present an algorithm which computes this assignment.\parThe second part...

tKlaim
 Referenced in 8 articles
[sw10023]
 Global computing in a dynamic network of tuple spaces. We present tKlaim (TopologicalKlaim), a process...