• Janet

  • Referenced in 37 articles [sw07776]
  • Blinkov for computing Janet bases and Janet-like Gröbner bases for linear systems of partial ... characteristic zero which exist in Maple. Janet also provides a number of tools for dealing...
  • JanetOre

  • Referenced in 5 articles [sw09587]
  • classes of Ore algebras. JanetOre computes Janet bases and Janet-like Gröbner bases. The coefficient...
  • Ginv

  • Referenced in 8 articles [sw00350]
  • algorithms for constructing involutive Janet and Janet-like bases for polynomial ideals and modules...
  • JanetBasis

  • Referenced in 2 articles [sw08684]
  • implementation for the algorithm of Janet bases of linear differential ideals in the Maple system ... paper, an algorithm for computing the Janet bases of linear differential equations is described which ... given. The implemented algorithm includes some subalgorithms: Janet division, Pommaret division, the judgment of involutive ... application, the Janet bases of the determining system of classical Lie symmetries of some partial...
  • InvolutiveBases

  • Referenced in 1 article [sw13599]
  • InvolutiveBases -- Methods for Janet bases and Pommaret bases in Macaulay 2. nvolutiveBases is a package ... dealing with Janet and Pommaret bases. Janet bases can be constructed from given Gröbner bases ... free resolutions can be computed using Janet bases. A convenient way to use this strategy...
  • LDA

  • Referenced in 4 articles [sw21695]
  • described. The underlying algorithm is based on Janet and Janet-like monomial divisions associated with...
  • rStandard.lib

  • Referenced in 1 article [sw25218]
  • rStandard.lib: Singular - liberary to compute Janet bases and border bases...
  • Naccess

  • Referenced in 8 articles [sw12485]
  • Developed at UCL by Simon Hubbard and Janet Thornton, this program calculates absolute and relative ... calculation log file.The algorithm is based on work described in the paper...
  • AXIOM

  • Referenced in 173 articles [sw00063]
  • Axiom is a general purpose Computer Algebra system...
  • CoCoA

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

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

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

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

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

  • Referenced in 5403 articles [sw00545]
  • The result of over 30 years of cutting...
  • MuPAD

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

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

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • SINGULAR

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