
DICOPT
 Referenced in 35 articles
[sw04938]
 solving mixedinteger nonlinear programming (MINLP) problems that involve linear binary or integer variables ... maturity and reliability as linear, integer or nonlinear programming modeling, these problems have ... Center (EDRC) at Carnegie Mellon University. The program is based on the extensions ... solved using any NLP (Nonlinear Programming) or MIP (MixedInteger Programming) solver that runs under...

DPpackage
 Referenced in 64 articles
[sw10495]
 simple, yet comprehensive, set of programs for the implementation of some Bayesian nonparametric and semiparametric ... binary regression data, item response data, longitudinal and clustered data using generalized linear mixed models...

SimpleMKL
 Referenced in 62 articles
[sw12290]
 learning algorithm, based on semiinfinite linear programming, has been recently proposed. This approach ... where the kernel is defined as a linear combination of multiple kernels. We propose ... insight on MKL algorithms based on mixednorm regularization by showing that the two approaches ... show how SimpleMKL can be applied beyond binary classification, for problems like regression, clustering...

quadprogIP
 Referenced in 4 articles
[sw36327]
 mixedinteger linear programming (MILP) problem by first reformulating a QP as a linear complementary ... problem, and then using binary variables and bigM constraints to model its complementary constraints...

SABRE
 Referenced in 2 articles
[sw24536]
 Analysis of Recurrent Events. SABRE is a program for the statistical analysis of multiprocess ... take the form of binary, ordinal, count and linear recurrent events. The response sequences ... Crouchley, R., (2011), Multivariate Generalized Linear Mixed Models Using R, CRC Press, Boca Raton...

Alpine.jl
 Referenced in 1 article
[sw34677]
 convex relaxations for mixedinteger nonlinear programs (MINLP) with multilinear terms. In the first ... stage, we exploit Constraint Programing techniques to contract the variable bounds. We apply feasibilitybased ... domains of variables appearing in multilinear terms (predominantly common in the literature), we construct ... computation time, and limits the number of binary variables that are introduced by the partitioning...

ANSYS
 Referenced in 662 articles
[sw00044]
 ANSYS offers a comprehensive software suite that spans...

BARON
 Referenced in 316 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

cdd
 Referenced in 110 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CoCoA
 Referenced in 631 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1807 articles
[sw00161]
 Coq is a formal proof management system. It...

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

Diffpack
 Referenced in 114 articles
[sw00203]
 As modern programming methodologies migrate from computer science...

FGb
 Referenced in 242 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

GAP
 Referenced in 2876 articles
[sw00320]
 GAP is a system for computational discrete algebra...

GAUSS
 Referenced in 119 articles
[sw00322]
 The GAUSS Mathematical and Statistical System is a...

Gerris
 Referenced in 271 articles
[sw00341]
 Gerris is a Free Software program for the...

gmp
 Referenced in 269 articles
[sw00363]
 GMP is a free library for arbitrary precision...

HSL
 Referenced in 270 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...

KNITRO
 Referenced in 179 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...