The following pages link to A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity (Q2400459):
Displayed 1 item.