从常微分方程的离散化推导其性质
Deducing properties of ODEs from their discretization
摘要：
我们发现，一些难以检测的二次常微分方程（如某些保存的积分和措施）的性质可以推导出或多或少的算法从他们的Kahan离散化，使用达布多项式（DP）。有些类似的结果举行的ODE的更高的程度/秩序使用某些其他的双理性离散方法。
英文摘要：
We show that some hard to detect properties of quadratic ODEs (eg certain preserved integrals and measures) can be deduced more or less algorithmically from their Kahan discretization, using Darboux Polynomials (DPs). Somewhat similar results hold for ODEs of higher degree/order using certain other birational discretization methods.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
