Singular is a computer algebra system (CAS) developed for efficient computations with polynomials. We describe Plural as an extension of Singular to noncommutative polynomial rings (G-/GR-algebras): to which structures does it apply, the prerequisites to monomial orderings, left- and two-sided Gröbner bases. The usual criteria to avoid “useless pairs” are revisited for their applicability in the case of G-/GR-algebras. Benchmark tests are used to evaluate the concepts compare them with other systems.

References in zbMATH (referenced in 49 articles , 2 standard articles )

Showing results 1 to 20 of 49.
Sorted by year (citations)

1 2 3 next

  1. Bell, Jason P.; Heinle, Albert; Levandovskyy, Viktor: On noncommutative finite factorization domains (2017)
  2. Walther, Uli: The Jacobian module, the Milnor fiber, and the $D$-module generated by $f^s$ (2017)
  3. Kredel, Heinz: Common divisors of solvable polynomials in JAS (2016)
  4. Kredel, Heinz: Parametric solvable polynomial rings and applications (2015)
  5. Robertz, Daniel: Recent progress in an algebraic analysis approach to linear systems (2015)
  6. Seiler, Werner M.; Zerz, Eva: Algebraic theory of linear systems: a survey (2015)
  7. Cimprič, Jakob; Helton, J.William; Klep, Igor; McCullough, Scott; Nelson, Christopher: On real one-sided ideals in a free algebra (2014)
  8. Damiano, Alberto; Sabadini, Irene; Souček, Vladimir: Different approaches to the complex of three Dirac operators (2014)
  9. Robertz, Daniel: Formal algorithmic elimination for PDEs (2014)
  10. Dang Tuan Hiep: Computation in multivariate quaternionic polynomial ring (2013)
  11. Quadrat, Alban: Grade filtration of linear functional systems. (2013)
  12. Studzinski, Grischa: Implementation and applications of fundamental algorithms relying on Gröbner bases in free associative algebras. (2013)
  13. Bringmann, Kathrin; Raum, Martin; Richter, Olav K.: Kohnen’s limit process for real-analytic Siegel modular forms (2012)
  14. Levandovskyy, Viktor; Schindelar, Kristina: Fraction-free algorithm for the computation of diagonal forms matrices over Ore domains using Gröbner bases (2012)
  15. Levandovskyy, V.; Martín-Morales, J.: Algorithms for checking rational roots of $b$-functions and their applications (2012)
  16. Levandovskyy, Viktor; Koutschan, Christoph; Motsak, Oleksandr: On two-generated non-commutative algebras subject to the affine relation. (2011)
  17. Levandovskyy, Viktor; Schindelar, Kristina: Computing diagonal form and Jacobson normal form of a matrix using Gröbner bases (2011)
  18. Levandovskyy, Viktor; Zerz, Eva; Schindelar, Kristina: Exact linear modeling using Ore algebras (2011)
  19. Abłamowicz, Rafał: Computation of non-commutative Gröbner bases in Grassmann and Clifford algebras (2010)
  20. Anderson, Lara B.; Braun, Volker; Karp, Robert L.; Ovrut, Burt A.: Numerical Hermitian Yang-Mills connections and vector bundle stability in heterotic theories (2010)

1 2 3 next