可可

可可是交换代数中的一个计算系统。它能够对多变量多项式和与它们相关的各种数据(理想、模块、矩阵、有理函数)执行简单而复杂的运算。例如,它可以方便地计算Grobner基、辛子和最小自由度、相交、除法、理想的根、零维方案的理想、庞加莱级数和希尔伯特函数、多项式因式分解、Tric理想。可可的能力和它的使用灵活性通过专用的高级编程语言进一步增强。为了方便起见,该系统提供了文本接口、Emacs模式和大多数平台常见的图形用户界面。计算机代数系统(CAS)。

该软件在ORMS也有参考价值。


ZBMaX中的参考文献(586篇)5篇标准文章

显示结果1至20的586。
按年份排序(引文
  1. 阿马塔,卢卡;CRUPI,Malelay:外代数上分次模的希尔伯特函数:算法方法(2020)
  2. Dana Picard,蒂埃里:星状星体等值曲线的自动研究(2020)
  3. 英国,马修;布拉德福德,罗素;Davenport,James H.:带等式约束的柱面代数分解(2020)
  4. Abdi Makvand,莫森,Mousivand,阿米尔:一些循环图的贝蒂数。(2019)
  5. 阿马塔,卢卡;CRUPI,MalelaN:多项式环上给定极值Betti数的分次理想的计算(2019)
  6. Bertone,克里斯蒂娜;乔菲,弗朗西丝卡;Franco,Davide:射影方案提升的函子(2019)
  7. Bigatti,安娜;Palezzato,伊莉莎;Torielli,米歇尔:分块矩阵的极值行为(2019)
  8. 帕维尔,在平面上的一个轨迹(2019)
  9. 动态几何环境中的轨迹计算(2019)
  10. 布伦斯,温弗里德;IcHe,波格丹;S·格尔,克里斯托夫:四候选人选举中的卷和艾哈特系列计算(2019)
  11. Catalisano,M. V.;Geramita,A. V.;吉米利亚诺,A;Harbourne,B;MigLior,J;纳格尔,U.;申,Y. S.:(MaTbBb^ n)(2019)中可约化超曲面变型的割线变种
  12. 孔卡,阿尔多;Nguyen,Hop.D.;Vu,Thanh:二次超曲面中线性形式理想的乘积(2019)
  13. Dana Picard,蒂埃里:常规三叶草的自动化研究(2019)
  14. De Negri,埃曼纽拉;斯巴拉,恩里科:关于PFFFFIAN理想的JET方案(2019)
  15. 法瓦契,朱塞佩;瓜尔多,埃琳娜;皮科内,比阿特丽丝:线的特殊排列:共维2个ACM品种((MaTbBP^ 1次,MaTbBBP ^ 1次\ MaTbBBP ^ 1))(2019)
  16. Kreuzer,马丁;林,Tran N. K.;朗,勒格诺:Cayley Bacharach方案的DeDead(2019)
  17. 李希布劳,丹尼尔:近似多项式的GCD近似(2019)
  18. Michael Lesnick,Matthew Wright:计算2-参数持久同调的最小表示和贝蒂数(2019)阿西夫
  19. 寺井、Naoki、Tuy、Phan Thi:Stanley Reisner理想的一般性和象征性的水平性质(2019)
  20. Palezzato,伊莉莎;Torielli,米歇尔:可可中的超平面排列(2019)

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