The Hadamard product, its residual, and its dual residual in the dioid of counters: algorithms and implementation in C++

Davide Zorzenon, Germano Schafaschek, Dominik Tirpák +3

This report presents the algorithms for computing the Hadamard product, its residual, and its dual residual between formal power series in the dioid of counters. The algorithms hav…