• 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, library-free code suitable for embedding in real-time 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 pre-trained word2vec model for word embedding, which is trained over textual corpus from...
  • PaNDa+

  • Referenced in 1 article [sw28423]
  • input data. The top-k 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 high-level language and interactive...
  • MiniSat

  • Referenced in 584 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...