摘要：Declaratron：一种基于数学的科学计算的声明性方法
作者：Dave Murray-Rust and Peter Murray-Rust
论文ID：1307.3088
分类：Mathematical Software
分类简称：cs.MS
提交时间：2013-07-12
PDF 下载： 英文版 中文版pdf翻译中