
CVXGEN
 Referenced in 44 articles
[sw07151]
 takes a high level description of a convex optimization problem family, and automatically generates custom ... speed solver for the problem family. The current implementation targets problem families that ... simple, flat, libraryfree code suitable for embedding in realtime applications. The generated code...

bayesassurance
 Referenced in 1 article
[sw41793]
 study design problems. We provide a detailed description of the underlying framework embedded within each ... address both Bayesian and classical inference problems provided that the parameters are properly defined...

KMS states
 Referenced in 6 articles
[sw31679]
 torus Tk, and composing with an embedding of R in Tk gives a dynamics ... paper. The third step shows that the problem of finding the states at inverse temperatures ... original problem for a smaller graph. Then we can tackle this new problem using ... graph, our results give a complete description of the simplex of KMS states...

Req2Lib
 Referenced in 1 article
[sw36683]
 based on requirement descriptions to avoid these problems. To this end, we propose a novel ... approach called Req2Lib which recommends libraries given descriptions of the project requirement ... usage information and semantic information of requirement descriptions in natural language. Besides, we apply ... specific pretrained word2vec model for word embedding, which is trained over textual corpus from...

PaNDa+
 Referenced in 1 article
[sw28423]
 input data. The topk pattern discovery problem is commonly stated as an optimization ... function, e.g., the accuracy of the data description. In this work, we review several greedy ... items and transactions of the patterns embedded in the data. The evaluation was conducted...

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

Apron
 Referenced in 71 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

BoomerAMG
 Referenced in 200 articles
[sw00086]
 BoomerAMG: A parallel algebraic multigrid solver and preconditioner...

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

FLINT
 Referenced in 58 articles
[sw00297]
 Fast library for number theory: an introduction. We...

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

Gmsh
 Referenced in 783 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

Isabelle
 Referenced in 719 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

Magma
 Referenced in 3363 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5403 articles
[sw00545]
 The result of over 30 years of cutting...

MapReduce
 Referenced in 267 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...