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

Showing results 1 to 17 of 17.
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. Helbig, Michael: On the lifting of Nichols algebras. (2012)
  5. Kolb, Stefan; Pellegrini, Jacopo: Braid group actions on coideal subalgebras of quantized enveloping algebras (2011)
  6. La Scala, Roberto; Levandovskyy, Viktor: Letterplace ideals and non-commutative Gröbner bases. (2009)
  7. Green, Edward L.; Solberg, Øyvind: An algorithmic approach to resolutions (2007)
  8. Levandovskyy, Viktor: \textscPlural, a non-commutative extension of \textscSingular: past, present and future. (2006)
  9. Levandovskyy, Viktor; Schönemann, Hans: Plural -- a computer algebra system for noncommutative polynomial algebras (2003)
  10. Heckenberger, István: Classification of left-covariant differential calculi on the quantum group SL(_q(2)) (2001)
  11. Apel, J.: Computational ideal theory in finitely generated extension rings (2000)
  12. Greuel, Gert-Martin: Computer algebra and algebraic geometry -- achievements and perspectives (2000)
  13. Schmüdgen, Konrad; Schüler, Axel: Left-covariant differential calculi on (\mathrmSL_q(2)) and (\mathrmSL_q(3)) (1996)
  14. Apel, Joachim; Schmüdgen, Konrad: Classification of three-dimensional covariant differential calculi on Podles’ quantum spheres and on related spaces (1994)
  15. Gerdt, V. P.; Khutornoj, N. V.; Zharkov, A. Yu.: ASYS: A package for analysis of systems of nonlinear algebraic equations (1993)
  16. Apel, J.; Klaus, U.: FELIX - a computer algebra system for constructive algebra. FELIX - ein Computeralgebra-System fuer konstruktive Algebra. (1991) MathEduc
  17. Apel, Joachim; Klaus, Uwe: FELIX -- an assistant for algebraists (1991)