Coquelicot: A User-Friendly Library of Real Analysis for Coq

Mathematics in Computer Science, pp. 41-62, 2015.

被引用45|引用|浏览1|来源
EI
关键词
power seriesdifferentiabilitylibrary

代码

数据

您的评分 :
0

 

标签
评论