No label defined (Q4525303)
From MaRDI portal
scientific article; zbMATH DE number 1555236
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1555236 |
Statements
23 January 2001
0 references
Ritt-Wu method
0 references
characteristic sets
0 references
automated theorem proving
0 references
polynomial equations
0 references
polynomial differential systems
0 references
