scientific article; zbMATH DE number 5666939

MaRDI QIDQ3400735zbMATH OpenFDO

Authors Ziming Li, Xiao-Shan Gao

Publication date 5 February 2010

zbMATH Keywords

survey paper

Mathematics Subject Classification ID

Explicit solutions, first integrals of ordinary differential equations (34A05) Additive difference equations (39A10) Mechanization of proofs and logical operations (03B35) Difference algebra (12H10)

Recommendations

• Mechanized methods for differential and difference equations
• Difference equations by differential equation methods
• A systematic method for solving differential-difference equations
• Differential equations: methods and applications
• scientific article; zbMATH DE number 3885236
• A mechanical algorithm for solving ordinary differential equation
• scientific article; zbMATH DE number 2091804
• scientific article; zbMATH DE number 1193339
• Theory of difference equations: Numerical methods and applications
• Algorithmic methods for ordinary differential equations

Cited in

(4)

• Mechanized methods for differential and difference equations
• scientific article; zbMATH DE number 1187397 (Why is no real title available?)
• scientific article; zbMATH DE number 3913688 (Why is no real title available?)
• A mechanical algorithm for solving ordinary differential equation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3400735)