• BARON

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

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

  • Referenced in 87 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 100 articles [sw08453]
  • quasi-Newton 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 155 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 fields, algebraic function fields...
  • DYNAMO

  • Referenced in 250 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 resource-depletion reported in the Club ... Originally designed for batch processing on mainframe computers, it was made available on minicomputers...
  • Plural

  • Referenced in 78 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...
  • INTOPT_90

  • Referenced in 304 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...
  • MLMSRBF

  • Referenced in 35 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...
  • APOGEE

  • Referenced in 32 articles [sw08451]
  • logarithmic partitioning schemes. Our recent work globally optimized two classes of large-scale 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 46 articles [sw09358]
  • computationally efficient. Algebraic Topology is the classical mathematical tool for the global analysis of nonlinear...
  • QFLib

  • Referenced in 9 articles [sw16491]
  • Pari/GP. C++ routines for local and global computations with integer-valued quadratic forms. These routines...
  • KELLEY

  • Referenced in 599 articles [sw04829]
  • trust-region 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...
  • GLOB

  • Referenced in 33 articles [sw00357]
  • hard global optimization problems arising in practice. The computational results show the potential...
  • OASES

  • Referenced in 84 articles [sw30082]
  • Exploration Synthesis. OASES is a general purpose computer code for modeling seismo-acoustic propagation ... wavenumber integration in combination with the Direct Global Matrix solution technique. It is basically...
  • MooNMD

  • Referenced in 71 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...
  • ANTIGONE

  • Referenced in 83 articles [sw09241]
  • framework. ANTIGONE is the evolution of the Global Mixed-Integer Quadratic Optimizer, GloMIQO, to general ... quadratic program and mixed-integer 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 state-of-the-art global optimization solvers...