抄送:13 | 14 搜索MSC第13和14节中的文章引用的软件包.
GAP  在"任意"索引中搜索术语(也包括依赖项),并按软件作者搜索.
描述: 介绍了一种改进的算法,用于显式计算非线性发展方程(无论秩是否一致)的多项式型守恒律,并开发了一个用Maple编写的软件包CONSLAW,实现了计算的自动化.CONSLAW可以自动构造多项式偏微分方程的多项式型守恒律.此外,通过分析相容条件可以筛选出一些新的可积系统,这些相容条件保证了给定参数化非线性发展方程守恒律的存在性.
守恒密度的显式形式在研究可积性中起着重要作用,例如显式解析解,双哈密顿形式,,B"acklund变换的单参数族,Lax对,以及数值积分算法的精度检查.CONSLAW的有效性通过将其应用于各种方程来说明.