English
Related papers

Related papers: The ensmallen library for flexible numerical optim…

200 papers

We describe BayesMix, a C++ library for MCMC posterior simulation for general Bayesian mixture models. The goal of BayesMix is to provide a self-contained ecosystem to perform inference for mixture models to computer scientists,…

Computation · Statistics 2022-05-18 Mario Beraha , Bruno Guindani , Matteo Gianella , Alessandra Guglielmi

We present a collection of modular open source C++ libraries for the development of logic synthesis applications. These libraries can be used to develop applications for the design of classical and emerging technologies, as well as for the…

According to the modern paradigms of software engineering, standard tasks are best accomplished by reusable open source libraries. We describe OpenOrbitalOptimizer: a reusable open source C++ library for the iterative solution of coupled…

Computational Physics · Physics 2025-06-03 Susi Lehtola , Lori A. Burns

Real world combinatorial optimization problems such as scheduling are typically too complex to solve with exact methods. Additionally, the problems often have to observe vaguely specified constraints of different importance, the available…

Artificial Intelligence · Computer Science 2007-05-23 Andreas Raggl , Wolfgang Slany

The library QIBSH++ is a C++ object oriented library for the solution of Quasi Interpolation problems. The library is based on a Hermite Quasi Interpolating operator, which was derived as continuous extensions of linear multistep methods…

Numerical Analysis · Mathematics 2022-08-08 Enrico Bertolazzi , Antonella Falini , Francesca Mazzia

We introduce an application for executing and testing different unconstrained optimization algorithms. The application contains a library of various test functions with pre-defined starting points. A several known classes of methods as well…

Numerical Analysis · Computer Science 2018-12-31 Marko Miladinović , Predrag Živadinović

Despite the importance of sparse matrices in numerous fields of science, software implementations remain difficult to use for non-expert users, generally requiring the understanding of underlying details of the chosen sparse matrix storage…

Mathematical Software · Computer Science 2019-07-23 Conrad Sanderson , Ryan Curtin

Applied research in graph algorithms and combinatorial structures needs comprehensive and versatile software libraries. However, the design and the implementation of flexible libraries are challenging activities. Among the other problems…

Software Engineering · Computer Science 2007-05-23 Maurizio Pizzonia , Giuseppe Di Battista

In this paper we develop an algorithm to optimise a nonlinear utility function of multiple objectives over the integer efficient set. Our approach is based on identifying and updating bounds on the individual objectives as well as the…

Optimization and Control · Mathematics 2013-04-08 Melih Ozlen , Meral Azizoğlu , Benjamin A. Burton

Sampling-based planning algorithms are the most common probabilistically complete algorithms and are widely used on many robot platforms. Within this class of algorithms, many variants have been proposed over the last 20 years, yet there is…

Robotics · Computer Science 2015-08-11 Mark Moll , Ioan A. Sucan , Lydia E. Kavraki

When implementing functionality which requires sparse matrices, there are numerous storage formats to choose from, each with advantages and disadvantages. To achieve good performance, several formats may need to be used in one program,…

Mathematical Software · Computer Science 2019-10-22 Conrad Sanderson , Ryan Curtin

We present GURLS, a least squares, modular, easy-to-extend software library for efficient supervised learning. GURLS is targeted to machine learning practitioners, as well as non-specialists. It offers a number state-of-the-art training…

Machine Learning · Computer Science 2013-03-06 Andrea Tacchetti , Pavan K Mallapragada , Matteo Santoro , Lorenzo Rosasco

Numerical simulations are ubiquitous in mathematics and computational science. Several industrial and clinical applications entail modeling complex multiphysics systems that evolve over a variety of spatial and temporal scales. This study…

Mathematical Software · Computer Science 2022-11-14 Pasquale Claudio Africa

We describe glsim, a C++ library designed to provide routines to perform basic housekeeping tasks common to a very wide range of simulation programs, such as reading simulation parameters or reading and writing self-describing binary files…

Computational Physics · Physics 2011-07-29 Tomas S. Grigera

We introduce the Control Toolbox (CT), an open-source C++ library for efficient modeling, control, estimation, trajectory optimization and Model Predictive Control. The CT is applicable to a broad class of dynamic systems but features…

Robotics · Computer Science 2018-07-04 Markus Giftthaler , Michael Neunert , Markus Stäuble , Jonas Buchli

NonOpt, a C++ software package for minimizing locally Lipschitz objective functions, is presented. The software is intended primarily for minimizing objective functions that are nonconvex and/or nonsmooth. The package has implementations of…

Optimization and Control · Mathematics 2025-04-01 Frank E. Curtis , Lara Zebiane

Software optimization refines programs for resource efficiency while preserving functionality. Traditionally, it is a process done by developers and compilers. This paper introduces a third option, automated optimization at the source code…

Software Engineering · Computer Science 2025-02-04 Zimin Chen , Sen Fang , Martin Monperrus

This paper introduces a new publicly available numerical library for cosmology, Cosmo++. The library has been designed using object-oriented programming techniques, and fully implemented in C++. Cosmo++ introduces a unified interface for…

Instrumentation and Methods for Astrophysics · Physics 2014-10-15 Grigor Aslanyan

Optimizing objective functions stands to benefit significantly from leveraging quantum computers, promising enhanced solution quality across various application domains in the future. However, harnessing the potential of quantum solvers…

Quantum Physics · Physics 2025-10-15 Deborah Volpe , Nils Quetschlich , Mariagrazia Graziano , Giovanna Turvani , Robert Wille

Verification of C++ programs has seen considerable progress in several areas, but not for programs that use these languages' mathematical libraries. The reason is that all libraries in widespread use come with no guarantees about the…

Programming Languages · Computer Science 2022-06-23 Roberto Bagnara , Michele Chiari , Roberta Gori , Abramo Bagnara