摘要：使用Taylor模型计算的库
作者：Francisco Ch''aves (LIP), Marc Daumas (LIRMM, LP2A)
论文ID：cs/0602005
分类：Mathematical Software
分类简称：cs.MS
提交时间：2016-08-16
PDF 下载： 英文版 中文版pdf翻译中