摘要：Ariadne：对欧氏函数进行严密的计算的工具
作者：Pieter Collins, Luca Geretti, Sanja Zivanovic Gonzalez, Davide Bresolin and Tiziano Villa
论文ID：2306.17541
分类：Mathematical Software
分类简称：cs.MS
提交时间：2023-07-03
PDF 下载： 英文版 中文版pdf翻译中