Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations (Q4038447)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 169770
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations |
scientific article; zbMATH DE number 169770 |
Statements
16 May 1993
0 references
Gröbner bases
0 references
solution of an algebraic differential equation
0 references
Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations (English)
0 references
0.7613775730133057
0 references
0.7548677921295166
0 references
0.7483035326004028
0 references
0.7462576031684875
0 references
This paper presents new algorithms to solve the following problem: consider function fields obtained as towers over the field of rational functions, each extension being by a solution of an algebraic differential equation, is a given expression functionally equivalent to zero in such a field? To solve this problem it is necessary to assume the existence of oracles to test if a constant is zero or not. --- The algorithms proposed exploit the ideas and techniques of algebraic elimination (Gröbner bases and computation of gcd's). No explicit bounds of complexity are given.
0 references
