Grobner bases for everyone with CoCoA-5 and CoCoALib

50TH ANNIVERSARY OF GROEBNER BASES(2018)

引用 4|浏览11
暂无评分
摘要
We present a survey on the developments related to Grobner bases, and show explicit examples in CoCoA. The CoCoA project dates back to 1987: its aim was to create a "mathematician"-friendly computational laboratory for studying Commutative Algebra, most especially Grobner bases. Always maintaining this "friendly" tradition, the project has grown and evolved, and the software has been completely rewritten. CoCoA offers Grobner bases for all levels of interest: from the basic, explicit call in the interactive system CoCoA-5 [5], to problem specific optimized implementations, to the computer computer communication with the open source C++ software library, CoCoALib [4], or the prototype OpenMath-based server. The openness and clean design of CoCoALib and CoCoA-5 are intended to offer different levels of usage, and to encourage external contributions.
更多
查看译文
关键词
Grobner bases,elimination,term orderings,modular methods,software library
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要