可可碱

CoCoALib:C++交换代数计算库以及其他。CoCoA于1988年首次发布,是一个在交换代数中进行计算的专用系统:即它是一个专门用于多项式的算法处理的系统。它是免费提供的,并提供文本界面、Emacs模式和大多数平台通用的图形用户界面(http://cocoa.dima.unige.it/).


zbMATH中的参考文献(参考文献61条,3标准条款)

显示第1到第20个结果,共61个。
按年份排序(引用)
  1. 阿伯特,约翰;比加迪,安娜玛丽亚;罗比亚诺,洛伦佐:素数模的理想(2021)
  2. Ábrahám,埃里卡;达文波特,詹姆斯H。;英格兰,马修;Kremer,Gereon:用圆柱代数覆盖确定非线性实数运算约束与冲突驱动搜索的一致性(2021)
  3. 朱立中;赫尔佐格,于尔根;陆丹成:单项理想的socle模(2021)
  4. 甘日诺夫,米哈伊尔;Szöllősi,Fence:Biangular lines Review(2021年)
  5. 哈希米,阿米尔;侯赛因帕尼亚;Seiler,Werner M.:对合基的度上界(2021)
  6. 库德里亚索夫,尤里;拉米雷斯,瓦伦特:二次向量场的谱(\mathbc^2):缺失关系(2021)
  7. 阿伯特,约翰;比加迪,安娜玛丽亚;帕莱扎托,埃莉萨;Robbiano,Lorenzo:计算和使用最小多项式(2020)
  8. 阿尔瓦雷斯·蒙塔纳,约瑟普;费尔南德斯·拉莫斯,奥斯卡;Philippe Gimenez:单项式理想的修剪细胞自由分辨率(2020)
  9. 巴里尔,玛格丽特;马基亚,安东尼奥:森林边缘理想的最小细胞分辨率(2020)
  10. 比加迪,安娜玛丽亚;帕莱扎托,埃莉萨;托瑞利,米歇尔:超平面布局自由度的新特征(2020)
  11. 英格兰,马修;布拉德福德,拉塞尔;Davenport,James H.:带等式约束的柱形代数分解(2020)
  12. 舍尔什,费伦茨;厄斯特格ård,Patric R.J.:欧几里德空间中最大少数距离集的构造(2020)
  13. 阿玛塔,卢卡;Crupi,Marilena:多项式环中给定极值Betti数的分次理想的计算(2019)
  14. 比加迪,安娜·M。;赫拉斯,约拿单;Sáenz de Cabezón,Eduardo:有效计算单纯形同调的单项式分解法(2019)
  15. 安娜,比加迪;帕莱扎托,埃莉萨;Torielli,Michele:截面矩阵中的极值行为(2019)
  16. Karimi,Shokoufe;多元拟阵稳定性(2019)
  17. Daniel Lichtblau:近似syzygies的近似多项式GCD(2019)
  18. 马菲,阿米尔;纳德利,德勒:希尔伯特系数和约化数的结果(2019年)
  19. 帕莱扎托,埃莉萨;托里利,米歇尔:可可的超平面安排(2019)
  20. 阿伯特,约翰;Bigatti,Anna M.:可可-5.2.2和CoCoALib(2018)

更多出版物请访问:http://cocoa.dima.unige.it/research/publications.html