• MineLib

  • Referenced in 14 articles [sw07469]
  • mixed-integer programming library (MIPLIB), we present a library of publicly available test problem instances ... and/or waste material to extract to maximize value subject to geospatial precedence constraints. Open ... typical objective is to maximize the net present value of the extracted ore; constraints include...
  • COMBAT

  • Referenced in 4 articles [sw03242]
  • point of view expressed by the Net Present Value of the projects and the latter...
  • MNPVfuzzy

  • Referenced in 1 article [sw13157]
  • Modified net present value under uncertainties: an approach based on fuzzy numbers and interval arithmetic ... capital budgeting, named fuzzy modified net present value (fuzzy MNPV) method, for evaluation of investment...
  • GXNOR-Net

  • Referenced in 1 article [sw32923]
  • GXNOR-Net: training deep neural networks with ternary weights and activations without full-precision memory ... consumption. To address the first issue, we present a multi-step neuronal activation discretization method ... both the weights and activations become ternary values, the DNNs can be reduced to sparse ... networks, termed as gated XNOR networks (GXNOR-Nets) since only the event of non-zero...
  • Coq

  • Referenced in 1776 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 2829 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Magma

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

  • Referenced in 5020 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 5857 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11969 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

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

  • Referenced in 553 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • PSPLIB

  • Referenced in 248 articles [sw00740]
  • PSPLIB -- a project scheduling problem library. We present...
  • R

  • Referenced in 8180 articles [sw00771]
  • R is a language and environment for statistical...
  • REDUCE

  • Referenced in 739 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SageMath

  • Referenced in 1598 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • SINGULAR

  • Referenced in 1362 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • XFEM

  • Referenced in 358 articles [sw01026]
  • An extended finite element library. This paper presents...
  • Kronos

  • Referenced in 261 articles [sw01270]
  • KRONOS is a tool developed with the aim...