摘要：Dandelion：一种完全验证的证书检查器，用于Remez算法计算的多项式近似元函数的近似。
作者：Heiko Becker, Mohit Tekriwal, Eva Darulova, Anastasia Volkova, Jean-Baptiste Jeannin
论文ID：2202.05472
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-05-02
PDF 下载： 英文版 中文版pdf翻译中