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 16 articles , 1 standard article )

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

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