• Ipopt

  • Referenced in 740 articles [sw04808]
  • large-scale ​nonlinear optimization. It is designed to find (local) solutions of mathematical optimization problems ... nonlinear and nonconvex, but should be twice continuously differentiable. Note that equality constraints...
  • COPS

  • Referenced in 37 articles [sw08461]
  • continuing the development of COPS, a large-scale Constrained Optimization Problem Set. The primary purpose...
  • OPTI

  • Referenced in 35 articles [sw15090]
  • range of continuous and discrete, linear and nonlinear, medium and large-scale optimization problems, only...
  • Bonmin

  • Referenced in 211 articles [sw04766]
  • methods and software for solving large-scale problems. Moreover, both fundamental building blocks, namely mixed ... chosen environment for the development of the optimization software. A class of hybrid algorithms ... mixed integer nonlinear problems that exhibit convex continuous relaxations, on which the experiments are carried...
  • SPGL1

  • Referenced in 196 articles [sw08365]
  • SPGL1: A solver for large-scale sparse reconstruction: Probing the Pareto frontier for basis pursuit ... parameter determines a curve that traces the optimal trade-off between the least-squares ... prove that this curve is convex and continuously differentiable over all points of interest...
  • UFO

  • Referenced in 41 articles [sw04719]
  • both dense medium-size and sparse large-scale optimization problems. The UFO system ... particular optimization problems that are described in Chapter 2. 2. Preparation of specialized optimization routines ... optimization methods. The UFO system is a very useful tool for the development of optimization ... this system portable and extensible and we continue with its further development...
  • CirCut

  • Referenced in 42 articles [sw04782]
  • approximation can be excessively high for large-scale problems due to the need for solving ... technique. The proposed approach leads to continuous optimization heuristics applicable to MAX-CUT as well...
  • Signal-3L

  • Referenced in 16 articles [sw26857]
  • formed by fusing many individual OET-KNN (optimized evidence-theoretic K nearest neighbor) classifiers operated ... particularly useful for the analysis of large-scale datasets. Signal-3L is freely available ... provided in a downloadable file. The large-scale file is prepared with Microsoft Excel ... include new protein entries and reflect the continuous development of Signal...
  • Gpos-PLoc

  • Referenced in 11 articles [sw26870]
  • number of such location-unknown entries will continuously increase. It is highly desired to develop ... which was engineered according to the optimized evidence-theoretic K-nearest neighbors rule ... potential’, ’perhaps’ and ’by similarity’. Such large-scale results will be updated once a year ... Gram-positive bacterial proteins and reflect the continuous development of Gpos-PLoc...
  • ZOOpt

  • Referenced in 2 articles [sw22396]
  • many local optima, non-differentiable and non-continuous functions. This article describes the ZOOpt/ZOOjl toolbox ... provides a Python package for single-thread optimization, and ZOOjl provides a distributed version with ... optimization problems in machine learning, addressing high-dimensional, noisy, and large-scale problems. The toolbox...
  • SPIKY

  • Referenced in 2 articles [sw35811]
  • spike train synchrony. Techniques for recording large-scale neuronal spiking activity are developing very fast ... increasing demand for algorithms capable of analyzing large amounts of experimental spike train data ... high temporal resolution and across different spatial scales. To address this task, in recent years ... extension of event synchronization) that have been optimized with respect to computation speed and memory...
  • CUSHAW

  • Referenced in 2 articles [sw34349]
  • sequencing (NGS) technologies have enabled cheap, large-scale, and high-throughput production of short ... that are incurred during sequencing cycles. Both large data volume and sequencing errors have complicated ... pairs (bps) in length. As read length continues to increase, propelled by advances ... characteristics make inefficient the aligners, which are optimized for very short reads and support only...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • BBVSCG

  • Referenced in 6 articles [sw00069]
  • BBVSCG - A variable-storage algorithm for function minimization...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...