摘要：线性微分方程解的很多信息可以直接从方程中计算得出。因此，将这些方程看作是一种数据结构，从中可以计算出数学特性是很自然的。近年来，设计了各种算法，不是旨在“解决”问题，而是在使用这种表示进行计算。本文对其中许多结果进行了综述。
作者：Bruno Salvy
论文ID：1811.08616
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2018-11-22
PDF 下载： 英文版 中文版pdf翻译中