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

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

FINDER
 Referenced in 40 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 649 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

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

Mathematica
 Referenced in 6235 articles
[sw00554]
 Almost any workflow involves computing results, and that...

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

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

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

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

PAMR
 Referenced in 10 articles
[sw15437]
 Pamr: Passive aggressive mean reversion strategy for portfolio...

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

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