机锋网 swMATH ID: 4698 软件作者: 安德斯·内德加德·詹森 描述: Gfan是一个计算Gröbner fans和热带品种的软件包。这些是与多项式理想相关联的多面体扇形。Gröbner扇形的最大锥体与其定义理想的显式约化Gróbner基成双射。该软件计算出一个理想的所有有标记的约化Gröbner基。他们的结合是一个普遍的格罗布纳基础。多项式理想的热带变种是Gröbner扇形的某种亚复合体。Gfan包含计算一般理想复数的算法,以及热带曲线、热带超曲面和素理想热带变种的专门算法。除了上述核心功能外,该软件包还包含许多工具,这些工具对研究Gröbner基、初始理想和热带几何学非常有用。命令的完整列表见本手册附录B。对于普通的Gröbner基计算,与CoCoA、Singular和Macauly2等程序相比,Gfan在速度上没有竞争力。 主页: http://home.imf.au.dk/jensen/software/gfan/gfan.html 编程语言: 该程序是用C++编写的,可以用gcc 3.3.3进行编译。 操作系统: Linux、Mac OS X和其他UNIX变体。很可能该程序也将通过Cygwin在Microsoft Windows系统上运行。 依赖项: 一般合同条款3.3.3。需要以下库:gmp(算术)和cddlib(LP-solving)。 关键词: {\tt Gfan} 相关软件: 单一;麦考利2;多晶的;SageMath公司;cdd(光盘);PHC包;顶涂层;枫树;可可;gmp公司;Normaliz公司;4第2页;SoPlex公司;DEMiC公司;混合音量;间隙;动态优先权;特罗普里;岩浆;格凡利布 引用于: 137文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 演示机锋网软件。 Zbl 1230.13026号安德斯·詹森(Anders N.Jensen)。 2006 全部的 前5名162位作者引用 16 伯恩德·斯图尔姆费尔斯 15 安德斯·内德加德·詹森 8 迈克尔·乔斯维格 7 任、岳 7 托马斯·雷卡·R。 7 维舍尔德,简 6 玛丽亚·安吉丽卡·库托 6 约瑟芬·余 5 马歇尔·汉普顿 4 安娜·玛丽亚·比加蒂 4 麦克拉根,戴安 4 托马斯·马克维格 4 特里斯坦Vaccon 三 特里斯特拉姆·鲍嘉 三 陈和美 三 保罗·哥拉赫 三 Sven Herrmann先生 三 拉斯·卡斯特纳 三 安东·莱金 三 拉尔夫·莫里森 三 任庆春 三 汉斯·施奈曼 三 高山,Nobuki 2 Abbott,John A。 2 丹科·阿德罗维奇 2 天哪,内森 2 亚当·布彻 2 Sarah B.Brodsky。 2 陈天然 2 丹尼尔·科里 2 邓益阳 2 福田、科美 2 西蒙·凯彻 2 乔,基尔 2 汉娜·马克维格 2 雨果·马鲁里·阿吉拉尔 2 玛尔塔·帕尼祖特 2 费利佩·林科恩 2 爱德华多·Sáenz de Cabezón Irigaray 2 史蒂文·萨姆。 2 本杰明·施罗德 2 克里斯·肖 2 杰夫·索马斯 2 大卫·E·斯派尔。 2 阿兰·斯塔普顿 2 大卫·斯威纳尔斯基 2 蒂尔曼,斯蒂芬 2 Tran、Ngoc Mai 2 蒂鲍特·韦伦 2 亨利·韦恩(Henry P.Wynn)。 2 横山和弘 2 Leon,Zhang先生 1 克里斯·阿霍特 1 阿尔塔什沙兰,艾什 1 费德里科·阿迪拉 1 福恩桑塔·阿罗卡 1 鲁赫迪·巴鲁 1 乔治·巴拉 1 加布里埃尔·巴莱蒂 1 马尔齐·巴克霍达尔 1 多米尼克·本德尔 1 扬科·伯姆 1 劳拉·博辛格 1 马德琳·勃兰特 1 Andries Evert Brouwer 1 泰勒·布莱塞维茨 1 达斯汀·卡特赖特(Dustin A.Cartwright)。 1 乔夫·克,G。 1 Andrew J.陈。 1 阿尔多·康卡 1 阿拉斯泰尔·克劳 1 Jesús A.De Loera。 1 伊曼纽拉·德内格里 1 Mahdi Dehghani Darmian 1 阿南德·多普卡 1 艾丽西亚·迪肯斯坦(Alicia M.Dickenstein)。 1 埃琳娜·S·迪米特洛娃。 1 玛丽亚·顿伯里 1 简·德雷斯马 1 詹姆斯·德拉蒙德(James M.Drummond)。 1 娜塔莉亚·杜克 1 蒂莫西·达夫 1 埃布尔,霍尔格 1 劳尔·埃普雷 1 Eröcal,伯辛 1 克里斯托弗·尤尔 1 马克西姆·费多丘克 1 伊娃·玛丽亚·费希特纳 1 Bart J.Frenk。 1 菲利普·吉梅内兹 1 格鲁,R。 1 戈麦斯·莫拉莱斯,米尔纳 1 雅各布·埃利·古德曼 1 格罗斯,伊丽莎白 1 安东宁·吉洛 1 哈比什,马蒂亚斯 1 西蒙·汉普 1 罗宾·哈特肖恩 1 阿米尔·哈希米 1 于尔根豪森 …还有62位作者 全部的 前5名60篇连载文章被引用 10 符号计算杂志 7 代数杂志 5 实验数学 4 离散和计算几何 4 线性代数及应用 三 计算数学 三 应用数学进展 三 代数组合数学杂志 三 数学科学研究 2 数学进展 2 组合理论杂志。系列A 2 数学年刊 2 IMRN。国际数学研究通告 2 工程、通信和计算中的应用代数 2 组合数学电子杂志 2 计算数学基础 2 计算机代数中的ACM通信 2 代数和几何软件杂志 1 数学物理中的通信 1 德国财政部(DMV) 1 数学生物学杂志 1 洛基山数学杂志 1 数学生物学公报 1 Beiträge zur代数与几何 1 统计数学研究所年鉴 1 加拿大数学杂志 1 数学集 1 北海道数学杂志 1 马特马提奇 1 数学期刊 1 美国数学学会会刊 1 编程和计算机软件 1 美国数学学会杂志 1 SIAM离散数学杂志 1 数学论坛 1 国际代数与计算杂志 1 数值算法 1 天体力学和动力学天文学 1 非线性科学杂志 1 计算复杂性 1 选择Mathematica。新系列 1 数学研究快报 1 高能物理杂志 1 动力系统定性理论 1 几何学进展 1 康普特斯·伦德斯。数学竞赛。巴黎科学院 1 Hacettepe数学与统计杂志 1 数学研究生课程 1 数学中的IMA卷及其应用 1 计算机科学课堂讲稿 1 数学课堂笔记 1 数学中的算法和计算 1 计算机科学中的数学 1 阿尔巴尼亚数学杂志 1 几何力学杂志 1 《科学与自然》Ciencias Exactas皇家科学院修订版。意甲:马特马斯。RACSAM公司 1 欧洲数学杂志 1 SIAM应用代数和几何杂志 1 离散数学及其应用 1 数学 全部的 前5名27个领域被引用 95 代数几何(14-XX) 57 交换代数(13-XX) 41 计算机科学(68至XX) 34 凸几何和离散几何(52至XX) 14 数值分析(65-XX) 12 组合数学(05-XX) 6 粒子和系统力学(70-XX) 5 总体主题;集合(00-XX) 5 场论和多项式(12-XX) 5 几个复变量和分析空间(32-XX) 4 线性代数和多线性代数;矩阵理论(15-XX) 4 几何图形(51-XX) 4 流形和细胞复合体(57至XX) 4 统计学(62-XX) 4 运筹学、数学规划(90-XX) 4 生物学和其他自然科学(92-XX) 三 数论(11-XX) 三 结合环与代数(16-XX) 2 群论与推广(20-XX) 2 动力系统和遍历理论(37至XX) 1 历史和传记(01-XX) 1 阶、格、有序代数结构(06-XX) 1 实际功能(26年X月X日) 1 整体分析,流形分析(58至XX) 1 量子理论(81-XX) 1 统计力学,物质结构(82-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文