
RcppArmadillo
 Referenced in 107 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 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

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

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

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

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

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

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

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

LMFDB
 Referenced in 169 articles
[sw07249]
 Welcome to the LMFDB, the database of L...

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

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

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

GitHub
 Referenced in 2765 articles
[sw23170]
 GitHub (originally known as Logical Awesome LLC)[3...