Special computer algebra system (CAS) for the computation in commutative and non-commutative rings and modules. The central method is Buchberger’s algorithm and its generalizations to non-commutative rings, in particular to free k-algebras and algebras of solvable type. Among the implemented applications there are syzygy computations and basic ideal operations. Felix provides a complete programming language which in standard mode is interpreted but also on-line compiler and linker are included. Computer algebra system (CAS).

References in zbMATH (referenced in 14 articles , 1 standard article )

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

  1. Kredel, Heinz: Common divisors of solvable polynomials in JAS (2016)
  2. Heckenberger, I.; Kolb, S.: Homogeneous right coideal subalgebras of quantized enveloping algebras (2012)
  3. Kolb, Stefan; Pellegrini, Jacopo: Braid group actions on coideal subalgebras of quantized enveloping algebras (2011)
  4. La Scala, Roberto; Levandovskyy, Viktor: Letterplace ideals and non-commutative Gröbner bases. (2009)
  5. Green, Edward L.; Solberg, Øyvind: An algorithmic approach to resolutions (2007)
  6. Levandovskyy, Viktor: Plural, a non-commutative extension of Singular: past, present and future. (2006)
  7. Levandovskyy, Viktor; Schönemann, Hans: Plural -- a computer algebra system for noncommutative polynomial algebras (2003)
  8. Heckenberger, István: Classification of left-covariant differential calculi on the quantum group SL$_q(2)$ (2001)
  9. Apel, J.: Computational ideal theory in finitely generated extension rings (2000)
  10. Greuel, Gert-Martin: Computer algebra and algebraic geometry -- achievements and perspectives (2000)
  11. Schmüdgen, Konrad; Schüler, Axel: Left-covariant differential calculi on $SL\sb q (2)$ and $SL\sb q (3)$ (1996)
  12. Apel, Joachim; Schmüdgen, Konrad: Classification of three-dimensional covariant differential calculi on Podles’ quantum spheres and on related spaces (1994)
  13. Gerdt, V.P.; Khutornoj, N.V.; Zharkov, A.Yu.: ASYS: A package for analysis of systems of nonlinear algebraic equations (1993)
  14. Apel, Joachim; Klaus, Uwe: FELIX -- an assistant for algebraists (1991)