• OreModules

  • Referenced in 31 articles [sw06226]
  • Linear Control Systems over Ore Algebras OreModules is a Maple implementation of algorithms which compute...
  • HolonomicFunctions

  • Referenced in 30 articles [sw06666]
  • been implemented in HolonomicFunctions: computations in Ore algebras (noncommutative polynomial arithmetic with mixed difference-differential...
  • JanetOre

  • Referenced in 5 articles [sw09587]
  • Janet Basis for Modules over Ore Algebras. he Maple package JanetOre implements the involutive basis ... Blinkov for left ideals of certain Ore algebras and more generally for submodules of free ... basis technique over some classes of Ore algebras. JanetOre computes Janet bases and Janet-like ... bases. The coefficient domain for the Ore algebra may be any field existing in Maple...
  • OreTools

  • Referenced in 4 articles [sw17956]
  • OreTools: a computer algebra library for univariate ore polynomial rings. This document presents the OreTools ... tools for performing basic arithmetic in Ore algebra. These tools can be used ... various well-known algorithms in Ore algebra, in particular in differential and difference algebras...
  • TenRes

  • Referenced in 3 articles [sw19993]
  • operator algebras generated by linear operators. Ore algebras are a well-established tool covering many...
  • OreAlgebraicAnalysis

  • Referenced in 0 articles [sw15153]
  • analysis approach to linear systems over Ore algebras. Physical systems are typically modeled by systems ... using the general concept of Ore algebras. Recently, we have developed the Mathematica package OreAlgebraicAnalysis ... finitely presented left modules over Ore algebras, (2) algorithms for deciding module-theoretic properties, such ... very generic implementation of Ore algebras in the package HolonomicFunctions, that also provides the computation...
  • olga.lib

  • Referenced in 1 article [sw22197]
  • olga.lib: Ore localization in G-algebras: Constructive Arithmetics in Ore Localizations of Domains ... Ore sets in R. We provide an implementation of arithmetics over the ubiquitous G-algebras...
  • CoCoA

  • Referenced in 522 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • GAP

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

  • Referenced in 110 articles [sw00344]
  • The gfun package provides tools for determining and...
  • Ginv

  • Referenced in 8 articles [sw00350]
  • Specialized computer algebra system GINV. The computer algebra...
  • homalg

  • Referenced in 24 articles [sw00411]
  • homalg: a meta-package for homological algebra. The...
  • Macaulay2

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

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

  • Referenced in 4101 articles [sw00545]
  • The result of over 30 years of cutting...
  • Matlab

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

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

  • Referenced in 58 articles [sw00719]
  • Singular is a computer algebra system (CAS) developed...
  • qZeil

  • Referenced in 32 articles [sw00770]
  • qZeil is a Mathematica implementation of q-analogues...