×

阿弗利布

swMATH编号: 34015
软件作者: 豪尔赫·斯托尔菲;等。
描述: aaflib-仿射算术C++库。aaflib是C++中仿射算法数学结构的一种实现。此结构由Stolfi等人引入。他们的c库可以在http://www.ic.unicampbr/stolfi/EXPORT/software/c/Index.html#libaa。aaflib基于libaffa,是对原始库的重新补充,但已经进一步开发。它已被用作一个类似香料的非线性电路模拟器的主要计算库。目前,该库和模拟器由德国汉诺威微电子系统研究所开发。
主页: http://aaflib.sourceforge.net
依赖项: C++
相关软件: Matlab公司;C2e2型;github;PyInterval(Py间隔);违约;流量*;SpaceEx公司;日/日;S-TaLiRo公司;HSolver公司;稀疏矩阵;RSOLVER公司;凯伊迈拉;LAPACK公司;ACL2型
引用于: 1文件

按年份列出的引文