Felix

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

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

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