费利克斯

用于交换环和非交换环和模的计算的特殊计算机代数系统(CAS)。中心方法是Buchberger算法及其对非交换环的推广,特别是对自由k-代数和可解型代数的推广。在已实现的应用程序中,有综合计算和基本理想运算。Felix提供了一个完整的编程语言,它在标准模式下被解释,但也包括在线编译器和链接器。计算机代数系统(CAS)。


zbMATH中的参考文献(参考文献19条,1标准件)

显示第1至19个结果,共19个。
按年份排序(引用)

  1. 巴塞尔哈奇,帕斯卡;Kolb,Stefan:(q)-Onsager代数的辫子群作用(2020)
  2. Fajardo,William:asew-PBW扩展的计算Maple库(2019)
  3. Kredel,Heinz:JAS中可解多项式的公约数(2016)
  4. 雷尼尔,D。;韦里埃,M。;北卡罗来纳州杜布雷。;Schunck,N.:FELIX-1.0:具有高斯重叠近似的时变发生器坐标法的有限元求解器(2016)
  5. 赫肯伯格,我。;Kolb,S.:量子化包络代数的齐次右coideal子代数(2012)
  6. 关于Nichols代数的提升。(2012年)
  7. 科尔布,斯特凡;Pellegrini,Jacopo:量子化包络代数的Coidel子代数上的辫子群作用(2011)
  8. 拉斯卡拉,罗伯托;列万多夫斯基,维克托:字母位置理想和非交换格氏基。(2009年)
  9. 格林,爱德华L。;算法方法(2007)
  10. Levandovskyy,Viktor:\textsc复数,非交换扩展\textsc单数:过去、现在和未来。(2006年)
  11. 列万多夫斯基,维克托;Schönemann,Hans:复数——非交换多项式代数的计算机代数系统(2003)
  12. Heckenberger,István:量子群SL上左协变微分计算的分类(_q(2))(2001)
  13. 有限生成扩张环中的计算理想理论(2000)
  14. 格雷尔,格特马丁:计算机代数与代数几何——成就与展望(2000)
  15. 施密根,康拉德;舒勒,阿克塞尔:关于(\mathrmSL_q(2))和(\mathrmSL_q(3))(1996)的左协变微分计算
  16. 亚佩尔,约阿希姆;Schmüdgen,Konrad:Podles量子球和相关空间上三维协变微分计算的分类(1994)
  17. 格特,副总裁。;Khutornoj,北卡罗来纳州。;俞卓科夫:非线性代数方程组分析软件包(1993)
  18. 阿佩尔,J。;克劳斯,U.:FELIX-一个用于构造代数的计算机代数系统。计算机代数系统fuer-konstruktive代数。(1991年)数学
  19. 亚佩尔,约阿希姆;克劳斯,Uwe:FELIX——algebraists的助手(1991)