约翰·阿伯特;安娜·玛丽亚，比加蒂;克里斯托夫·索格 在CoCoALib和CoCoA 5中集成libnormalize。 （英语） Zbl 1434.68698号 Hong，Hoon（编辑）等人，《数学软件——ICMS 2014》。第四届国际会议，韩国首尔，2014年8月5日至9日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8592, 647-653 (2014). 摘要：libnormalize是一个C++库，用于使用有理锥和仿射幺半群进行计算，CoCoALib/CoCoA 5为交换代数中的计算提供了一个通用环境。为了互惠互利，我们在两个软件库之间开发了一个简单快速的接口。我们介绍了这个集成是如何设计的，然后详细描述了我们在CoCoALib（以及CoCoA5）中提供的Normaliz函数。关于整个系列，请参见[Zbl 1293.65003号]. 引用于2文件 MSC公司： 68瓦30 符号计算和代数计算 13-04 与交换代数有关的问题的软件、源代码等 68版本35 数字数学图书馆和知识库 软件：Normaliz公司;SageMath公司;gmp公司;CoCoALib公司;可可;libnormalize（库正常化） PDF格式BibTeX公司 XML格式引用 \textit{J.Abbott}等人，Lect。注释计算。科学。8592、647--653（2014年；Zbl 1434.68698） 全文： 内政部