SARAG公司 swMATH ID: 826 软件作者： 法布里西奥·卡鲁索 描述： 我们介绍了SARAG，这是一个用自由计算机代数系统Maxima编写的实代数几何软件库（参见http://maxima.sourceforge.net). SARAG代表“实代数几何中的一些算法”，有两个主要应用：在实代数几何领域扩展Maxima的功能，并成为S.Basu，R.Pollack，M.-F.Roy的交互式版本《实代数几何的算法》的一部分[柏林：Springer（2006；Zbl 1102.14041）]，现在可以免费下载。该库的例程处理：有符号子结果理论、线性代数、gcd计算、实根计数、实根隔离、符号确定、Thom编码、曲线拓扑研究。目前，SARAG正被用作开发、实施和调整来自新研究结果的算法的工具，例如用于快速gcd计算的算法，用于研究非Archimedia实闭域上曲线拓扑的算法。 主页： 网址：http://www.dm.unipi.it/~卡鲁索/ 相关软件： QEPCAD公司;RAGlib公司;FGb公司;间隙;隔离;gnuplot卫星;马克西玛;单兵携带防空系统;Matlab公司;新西兰马特;SgpViz公司;Hadamard搜索;KNOPPIX/数学;劳内深处;机锋网;多晶的;PHC包;数学软件;枫树;坎特/卡什 引用于： 5文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 SARAG库：实代数几何中的一些算法。 Zbl 1230.14002号法布里西奥·卡鲁索 2006 全部的 前5名被7位作者引用 三 玛丽·弗朗索瓦斯·罗伊 2 索加塔省巴苏 2 法布里西奥·卡鲁索 2 理查德·波拉克（Richard M.Pollack）。 1 法蒂玛·布道 1 安德烈斯·伊格莱西亚斯 1 高山，Nobuki 3篇连载文章中引用 2 数学中的算法和计算 1 离散和计算几何 1 计算机科学课堂讲稿 全部的 前5名在7个字段中引用 4 代数几何（14-XX） 4 计算机科学（68至XX） 2 交换代数（13-XX） 1 一般性和全局性主题；集合（00-XX） 1 场论和多项式（12-XX） 1 实际功能（26年X月X日） 1 数值分析（65-XX） 按年份列出的引文