Hello!!
Is someone of you familiar with the following?
We have linear differential equations with polynomial coefficients depending on x.
$a_n(x)y^{(n)}+ \dots a_1(x)y^{(1)}+a_0(x)y^{(0)}=b(x)$
There are problems like if there are solutions, if the solutions are linear independent and so on and we are looking for the decidability and the complexity.
Is someone of you familiar with the following?
We have linear differential equations with polynomial coefficients depending on x.
$a_n(x)y^{(n)}+ \dots a_1(x)y^{(1)}+a_0(x)y^{(0)}=b(x)$
There are problems like if there are solutions, if the solutions are linear independent and so on and we are looking for the decidability and the complexity.