
CLPSB
 Referenced in 7 articles
[sw00132]
 This paper proposes an approach to the evaluation...

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

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

SageMath
 Referenced in 1675 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

CHIP
 Referenced in 79 articles
[sw03450]
 Solving a cuttingstock problem with the constraint...

Haskell
 Referenced in 851 articles
[sw03521]
 Haskell is a standardized, generalpurpose purely functional...

AMPL
 Referenced in 590 articles
[sw04001]
 AMPL is a comprehensive and powerful algebraic modeling...

BProlog
 Referenced in 17 articles
[sw06949]
 BProlog is a highperformance implementation of...

OEIS
 Referenced in 3479 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

SICStus
 Referenced in 106 articles
[sw12440]
 SICStus Prolog has evolved for nearly 25 years...

SWIProlog
 Referenced in 37 articles
[sw20950]
 SWIProlog. SWIProlog is neither a commercial...

Numerica
 Referenced in 46 articles
[sw21227]
 Numerica: A modeling language for global optimization. Many...

ESRA
 Referenced in 12 articles
[sw22238]
 Introducing ESRA, a relational language for modelling combinatorial...

JSetL
 Referenced in 5 articles
[sw29267]
 JSetL is a Java library that has been...