Testing identities of series defined by algebraic partial differential equations

DOI10.1007/3-540-60114-7_30MaRDI QIDQ4352813zbMATH OpenFDO

Authors Ariane Péladan-Germa

Publication date 27 November 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60114-7_30

zbMATH Keywords

adjunction of formal power seriesdifferential extensions of differential ringsnonlinear PDEs

Mathematics Subject Classification ID

Differential algebra (12H05) Series solutions to PDEs (35C10) Navier-Stokes equations (35Q30) Symbolic computation and algebraic computation (68W30)

Recommendations

• Testing equality in differential ring extensions defined by PDE's and limit conditions
• scientific article; zbMATH DE number 2151225
• Computing with D-algebraic power series

Cited in

(7)

• Symbolic asymptotics: Multiseries of inverse functions
• Primary decomposition of lattice basis ideals
• Testing equality in differential ring extensions defined by PDE's and limit conditions
• Complexity bounds for zero-test algorithms
• scientific article; zbMATH DE number 2151225 (Why is no real title available?)
• Automatic pre- and postconditions for partial differential equations
• Constructible differentially finite algebraic series in several variables

This page was built for publication: Testing identities of series defined by algebraic partial differential equations

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