
CVXGEN
 Referenced in 39 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...

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...

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

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

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

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

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

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

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

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

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

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

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

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

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

nauty
 Referenced in 561 articles
[sw00611]
 graphtheoretic program NAUTY: nauty is a program...

Normaliz
 Referenced in 151 articles
[sw00630]
 Normaliz is a tool for computations in affine...