
RcppArmadillo
 Referenced in 60 articles
[sw09313]
 itself in order to use RcppArmadillo. This Armadillo integration provides a nice illustration...

FourTiTwo
 Referenced in 7 articles
[sw07615]
 Noetherian sense. Using properties of nice orderings, the authors show that invariant chains of Laurent...

FINDER
 Referenced in 39 articles
[sw06376]
 nice feature (say I) is the input language which is first order logic thinly disguised...

IDP
 Referenced in 5 articles
[sw23254]
 Base. FO(·) is an extension of firstorder logic (FO) with types, aggregates, inductive definitions ... real world problems that serves as a nice introduction to IDP is a scheduling problem...

CoCoA
 Referenced in 585 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

LEDA
 Referenced in 247 articles
[sw00509]
 In the core computer science areas  data structures...

Macaulay2
 Referenced in 1502 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

LOQO
 Referenced in 200 articles
[sw02212]
 LOQO: An interior point code for quadratic programming...

ABAQUS
 Referenced in 1327 articles
[sw04215]
 The Abaqus Unified FEA product suite offers powerful...

4ti2
 Referenced in 134 articles
[sw04379]
 A software package for algebraic, geometric and combinatorial...

HYPLAS
 Referenced in 121 articles
[sw17661]
 Computational methods for plasticity. Theory and applications. The...

Cheyne
 Referenced in 2 articles
[sw21282]
 Maple package Cheyne, to handle 123avoiding permutations...