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 48 articles , 2 standard articles )

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

1 2 3 next

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

1 2 3 next