PSsolver: A Maple implementation to solve first order ordinary differential equations with Liouvillian solutions

Abstract
We present a set of software routines in Maple 14 for solving first order ordinary differential equations (FOODEs). The package implements the Prelle–Singer method in its original form together with its extension to include integrating factors in terms of elementary functions. The package also presents a theoretical extension to deal with all FOODEs presenting Liouvillian solutions. Applications to ODEs taken from standard references show that it solves ODEs which remain unsolved using Maple’...

Title of program: PSsolver
Catalogue Id: ADPR_v2_0

Nature of problem
Symbolic solution of first order differential equations via the Prelle-Singer method.

Versions of this program held in the CPC repository in Mendeley Data
ADPR_v1_0; PSsolver; 10.1016/S0010-4655(01)00462-3
ADPR_v2_0; PSsolver; 10.1016/j.cpc.2012.04.012

This program has been imported from the CPC Program Library held at Queen's University Belfast (1969-2019)

摘要：本报告提出了一套在 Maple 14 环境下用于求解一阶常微分方程（FOODEs）的软件子程序。该软件包原汁原味地实现了 Prelle-Singer 方法，并扩展以包含以初等函数形式表示的积分因子。此外，软件包还提供了一种理论上的扩展，以应对所有呈现 Liouvillian 解的一阶常微分方程。对来自标准参考书籍中的 ODEs 的应用表明，它能够解决使用 Maple 仍无法解决的 ODEs。

程序名称：PSsolver

目录编号：ADPR_v2_0

问题性质：通过 Prelle-Singer 方法对一阶微分方程进行符号求解。

Mendeley 数据库中 CPC 存档库中的此程序版本：
ADPR_v1_0; PSsolver; 10.1016/S0010-4655(01)00462-3
ADPR_v2_0; PSsolver; 10.1016/j.cpc.2012.04.012

该程序已从贝尔法斯特女王大学（1969-2019年）所持有的 CPC 程序库中导入。