• 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 first-order 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 123-avoiding permutations...