参数化一阶代数微分方程的合理解
摘要：找到给定一阶ODE的有理解的过程，它具有出现在有理方式的功能和常数系数。我们导出一个与相同可解性的相关系统，并给出了存在有理解的充分必要条件。在所有参数系数都是常数的情况下，我们提供了计算有理解的算法。在只有一个函数系数出现的情况下，我们算法地找到了有理一般解，它在出现的超越常数上有有理依赖。在其他情况下，所提出的过程不完全算法化。
作者：Sebastian Falkensteiner and Rafael Sendra
论文ID：2307.05102
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2023-07-12