|
|
|
|
The Differential Counting Polynomial
|
|
|
|
|
|
|
|
نویسنده
|
Lange-Hegermann Markus
|
|
منبع
|
foundations of computational mathematics - 2018 - دوره : 18 - شماره : 2 - صفحه:291 -308
|
|
چکیده
|
The aim of this paper is a quantitative analysis of the solution set of a system of polynomial nonlinear differential equations, both in the ordinary and partial case. therefore, we introduce the differential counting polynomial, a common generalization of the dimension polynomial and the (algebraic) counting polynomial. under mild additional assumptions, the differential counting polynomial decides whether a given set of solutions of a system of differential equations is the complete set of solutions.
|
|
کلیدواژه
|
Differential algebra ,Dimension polynomial ,Differential counting polynomial ,Thomas decomposition ,12H05 ,35A01 ,35A10 ,34G20
|
|
آدرس
|
Lehrstuhl B für Mathematik, Rheinisch-Westfälische Technische Hochschule Aachen, Germany
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Authors
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|