×
Bruns、Winfried;理查德·西格;克里斯托夫·索格

2013年至2016年的Normaliz。 （英语） Zbl 1400.52012年

Böckle，Gebhard（编辑）等人，代数、几何和数论中的算法和实验方法。查姆：施普林格（ISBN 978-3-319-70565-1/hbk；978-3-3169-70566-8/电子书）。123-146 (2017).
摘要：在本文中，我们描述了在DFG SPP“代数中的算法与实验方法，几何与扎伦托里”支持期间添加到Normaliz的数学相关扩展：非点锥，有理多面体，齐次参数系统，底部分解，积分闭包的模生成器的类群和系统。
关于整个系列，请参见[Zbl 1394.14002号].

引用于4文件

MSC公司：

52B20型 凸几何中的格多面体（包括与交换代数和代数几何的关系）
13层20 多项式环与理想；整值多项式环
14米25 双曲面、牛顿多面体、Okounkov体
91B12号机组 投票理论
52-03 凸几何和离散几何的历史
01A61号 21世纪数学史
52-04 凸几何和离散几何问题的软件、源代码等

关键词：

希尔伯特基;希尔伯特级数;有理圆锥;有理多面体;底部分解;类组;三角测量;线性丢番图系统

软件：

libnormalize（库正常化）;帮助;github;切割生成功能学;相位;Normaliz接口;Normaliz公司;多晶的;里贾纳;SCIP公司;单一;麦考利2;CoCoALib公司;12月第二节;可可
PDF格式BibTeX公司 XML格式引用
\textit{W.Bruns}等人，in：代数、几何和数论中的算法和实验方法。查姆：斯普林格。123-146（2017；Zbl 1400.52012）
全文： 内政部 arXiv公司

参考文献：

[1] J.Abbott，A.M.Bigatti，C.Söger，CoCoALib和CoCoA 5中libnormalize的集成，in（数学软件-ICMS 2014）。第四届国际大会，首尔，2014年8月5-9日。《会议记录》（Springer，柏林，2014），第647-653页·Zbl 1434.68698号
[2] J.Abbott，A.M.Bigatti，G.Lagorio，CoCoA-5:交换代数中的计算系统。可在http://cocoa.dima.unige.it
[3] T.Achterberg，SCIP：求解约束整数程序。数学。程序。计算。1, 1-41 (2009). 可从以下位置获得http://mpc.zib.de/index.php/mpc/article/view/4 ·Zbl 1171.90476号 ·doi:10.1007/s12532-008-0001-1
[4] B.Assarf等人，计算凸包和用多边形计算整数点。预印本（2015）。arXiv公司：1408.4653·Zbl 1370.90009号
[5] A.Bächle，L.Margolis，HeLP-整群环中扭转单元的GAP包。预印本（2016）。arXiv:1507.08174。
[6] S.Borowka等人，SecDec——一个用数值方法计算尺寸调节参数积分的程序。可从以下位置获得https://secdec.hepforg.org/
[7] W.Bruns，J.Gubeladze，（多面体，环和K理论）（Springer，柏林，2009）·Zbl 1168.13001号
[8] W.Bruns，J.Herzog，（Cohen-Macaulay Rings）（剑桥大学出版社，剑桥，1998）·Zbl 0909.13005号 ·doi:10.1017/CBO9780511608681
[9] W.Bruns，B.Ichim，Normaliz:仿射幺半群和有理锥的算法。《代数杂志》324，1098-1113（2010）·Zbl 1203.13033号 ·doi:10.1016/j.jalgebra.2010.01.031
[10] W.Bruns，R.Koch，计算仿射半群的积分闭包。伊格尔大学。数学学报。39，59-70（2001年）·Zbl 1006.20045号
[11] W.Bruns，C.Söger，广义Ehrhart级数和归一化积分。J.塞姆。计算。68, 75-86 (2015) ·2018年5月13日 ·doi:10.1016/j.jsc.2014.09.004
[12] W.Bruns、R.Hemmecke、B.Ichim、M.Köppe、C.Söger。与代数统计相关的锥的希尔伯特基的挑战性计算。实验数学。20, 25-33 (2011) ·Zbl 1273.13052号 ·网址：10.1080/10586458.2011.544574
[13] W.Bruns、B.Ichim、T.Römer、R.Sieg、C.Söger、Normaliz。有理锥和仿射幺半群的算法。可在http://normalize.uos.de
[14] W.Bruns，B.Ichim，C.Söger，Normaliz中金字塔分解的力量。J.塞姆。计算。74, 513-536 (2016) ·Zbl 1332.68298号 ·doi:10.1016/j.jsc.2015.09.003
[15] W.Bruns，R.Sieg，C.Söger，《Normaliz中大单形锥的细分》，收录于《数学软件-ICMS 2016》。第五届柏林国际会议，2016年7月11日至14日。《会议记录》（Springer，柏林，2016），第1026页·Zbl 1434.52001年
[16] B.A.Burton，Regina：3流形理论和法向曲面软件。可从以下位置获得网址：http://regina.sourceforge.net/
[17] W.Decker，G.-M.Greuel，G.Pfister，H.Schönemann，《奇异4-0-2-多项式计算的计算机代数系统》。可在http://www.singular.uni-kl.de
[18] D.R.Grayson，M.E.Stillman，Macauly2，代数几何研究软件系统。可在http://www.math.uiuc.edu/Macaulay2网站/
[19] S.Gutsche、M.Horn、C.Söger，GAP的NormalizInterface。可在https://github.com/gap-packages/Normaliz接口
[20] M.Joswig、B.Müller、A.Paffenholz，《Polymake and lattice polyopes》，in（DMTCS proc.AK），C.Kratentihaler等人编辑，《FPSAC 2009会议录》，第491-502页·Zbl 1391.52019号
[21] M.Köppe，Y.Zhou，基于计算机的Gomory-Johnson无限群问题极值函数搜索新策略。预印本（2016）。arXiv:1506.00017v3
[22] F.Kohl，Y.Li，J.Rauh，R.Yoshida，《半群-计算方法》。预印本（2017）。arXiv:1608.03297
[23] A.Schürmann，利用社会选择中的多面体对称性。Soc.Choice Welf公司。40, 1097-1110 (2013) ·Zbl 1288.91076号 ·doi:10.1007/s00355-012-0667-1
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。