可可脂

COCORIB:一个C++代数库,用于交换代数的计算。第一次发布于1988,可可是一个特殊的系统,用于在交换代数中进行计算:即,它是一个专门用于多项式算法处理的系统。它是免费提供的,并且提供了文本接口、Emacs模式和大多数平台常见的图形用户界面(http://COCOA.DIMA.UNIGE。


ZBMaX中的参考文献(45篇)3篇标准文章

显示结果1至20的45。
按年份排序(引文
  1. 拉瓦雷兹-蒙塔纳,Josep;费尔南德斯-拉莫斯,奥斯卡;吉米内斯,菲利普:单项理想的剪枝式细胞解法(2020)
  2. 阿马塔,卢卡;CRUPI,MalelaN:多项式环上给定极值Betti数的分次理想的计算(2019)
  3. Bigatti,安娜;Palezzato,伊莉莎;Torielli,米歇尔:分块矩阵的极值行为(2019)
  4. 李希布劳,丹尼尔:近似多项式的GCD近似(2019)
  5. Palezzato,伊莉莎;Torielli,米歇尔:可可中的超平面排列(2019)
  6. Abbott,约翰;BigaTi,Anna M.:可可5.2.2和COCORALB(2018)
  7. Abbott,约翰;BigaTi,Anna Maria:GraceBnar为每个人使用可可-5和COCORALB(2018)的基础
  8. 艾伯特,马里奥;塞勒,Werner M.:分解多项式模的分解(2018)
  9. 弗罗索伯格,Ralf;伦德维斯特,塞缪尔;Oneto,Alessandro;夏皮罗,鲍里斯:一个代数故事和另一个口袋(2018)
  10. G·克里斯蒂安妮,BigaTi,安娜;Riccomagno,伊娃;史米斯,吉姆Q.:利用计算机代数发现统计等价类(2018)
  11. Kremer,Gereon;Braaam,埃里卡:用TBEBFSMT RAT解决模块化战略SMT(2018)
  12. Abbott,约翰:有理数的容错模块化重构(2017)
  13. Abbott,约翰;BigaTi,Anna Maria;Robbiano,洛伦佐:超曲面的隐式化(2017)
  14. Bigatti,Anna M.;De Negri,伊曼纽拉:Koszul algebras与计算(2017)
  15. Bigatti,Anna M.(ED),GimeNez,菲利普(ED);S.A.E.N.,Cabez n,爱德华多(ED):交换代数中的计算和组合数学。EACA学校,巴利亚多利德,西班牙,2013(2017)
  16. 布伦斯,温弗里德;西格,李察;S·格勒,克里斯托夫:正常化2013—2016(2017)
  17. Crupi,玛丽莱娜:具有给定极值Betti数的标准博雷尔固定子模的构造方法(2017)
  18. Oneto,安娜;Tamone,Grasia:关于具有希尔伯特函数的半群环(2017)
  19. Dinwoodie,Ian H.:异步盆地的计算方法(2016)
  20. Ko,约旦;永利,Henry P.:不确定性量化的求积代数方法(2016)

进一步的出版物可以在:HTTP:/COCO.DIMA.UNIG.IT/Realths/Pusith.St.HTML