面向高阶逻辑中分数阶微积分的形式化
计算机科学中的逻辑
2016-08-10 v1
摘要
分数阶微积分是经典积分与微分理论到任意阶（即实数或复数）的推广。近二十年来，这种新的数学建模方法已广泛用于分析科学和工程各领域的广泛物理系统。本文描述了一个正在进行中的项目，旨在HOL Light定理证明器中形式化分数阶微积分的基本理论。我们主要介绍此类形式化工作的动机与应用、实现目标的路线图、项目当前状态及未来里程碑。
引用
@article{arxiv.1505.02140,
title = {Towards the Formalization of Fractional Calculus in Higher-Order Logic},
author = {Umair Siddique and Osman Hasan and Sofiène Tahar},
journal= {arXiv preprint arXiv:1505.02140},
year = {2016}
}
备注
9 pages