Testing equality in differential ring extensions defined by PDE's and limit conditions (Q1861172)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Testing equality in differential ring extensions defined by PDE's and limit conditions |
scientific article; zbMATH DE number 1882101
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Testing equality in differential ring extensions defined by PDE's and limit conditions |
scientific article; zbMATH DE number 1882101 |
Statements
Testing equality in differential ring extensions defined by PDE's and limit conditions (English)
0 references
13 March 2003
0 references
The author studies the equality test for differential extensions of effective rings. The extensions considered are obtained by adjunction of formal power series solutions of a given (nonlinear) system of PDEs with prescribed initial data. The main result of the paper is a generalization of the equality test previously given by \textit{J. Denef} and \textit{L. Lipshitz} for ordinary differential systems [Math. Ann. 267, 213--238 (1984; Zbl 0518.12015)].
0 references
partial differential equations
0 references
test of identities
0 references
differential algebra
0 references
