
MineLib
 Referenced in 14 articles
[sw07469]
 mixedinteger 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...

GXNORNet
 Referenced in 1 article
[sw32923]
 GXNORNet: training deep neural networks with ternary weights and activations without fullprecision memory ... consumption. To address the first issue, we present a multistep 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 (GXNORNets) since only the event of nonzero...

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 highlevel language and interactive...

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

nauty
 Referenced in 553 articles
[sw00611]
 graphtheoretic 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, opensource 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...