• AIFS

  • Referenced in 14 articles [sw00023]
  • using the attractors of Iterated Function Systems, with affine contractive mappings of a metric space ... global shape. Then, Iterated Systems are not affinely invariant (affine mappings of the elements ... system do not result in affine image of its attractor). In this ... paper a new setting, the affine invariant Iterated Function System is described in such...
  • Apron

  • Referenced in 70 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • CoCoA

  • Referenced in 649 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • complib

  • Referenced in 32 articles [sw00149]
  • COMPlib: COnstraint matrix-optimization problem library–a collection...
  • CSDP

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • FGb

  • Referenced in 246 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

  • Referenced in 3068 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • LANCELOT

  • Referenced in 304 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

  • Referenced in 1677 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Macaulay2

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

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

  • Referenced in 5296 articles [sw00545]
  • The result of over 30 years of cutting...
  • MATCONT

  • Referenced in 421 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical...
  • Mathematica

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

  • Referenced in 13100 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • Maxima

  • Referenced in 161 articles [sw00560]
  • Maxima is a system for the manipulation of...
  • MuPAD

  • Referenced in 139 articles [sw00606]
  • MuPAD consists of a powerful symbolic engine, a...
  • nauty

  • Referenced in 597 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • NITSOL

  • Referenced in 96 articles [sw00623]
  • We introduce a well-developed Newton iterative (truncated...
  • PROFIL/BIAS

  • Referenced in 134 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...