A parallel algorithm for the Hadamard product of holonomic formal series. (English) Zbl 0819.68070

Summary: We consider the class of the holonomic formal series and we study how, given two linear differential equations with polynomial coefficients verified by two holonomic series \(\phi_ 1\) and \(\phi_ 2\), it is possible to compute a linear differential equation satisfied by the Hadamard product of \(\phi_ 1\) and \(\phi_ 2\). We give a parallel algorithm for this problem and we show that it belongs to NC\(^ 2\).


68W30 Symbolic computation and algebraic computation
68W15 Distributed algorithms
47F05 General theory of partial differential operators
Full Text: DOI