• OreModules

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

  • Referenced in 32 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 1 article [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 541 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • GAP

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

  • Referenced in 112 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 25 articles [sw00411]
  • homalg: a meta-package for homological algebra. The...
  • Macaulay2

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

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

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

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

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

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

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