论文标题
Hadamard产品，其残差及其在计数器二元中的双重残差：C ++中的算法和实现
The Hadamard product, its residual, and its dual residual in the dioid of counters: algorithms and implementation in C++
论文作者
论文摘要
该报告介绍了计算哈达姆产品（其残差）的算法，以及其在柜台二元中的正式功率序列之间的双重残差。该算法已在C ++工具箱ETVO（（事件|时间） - 变量运算符）中实现。在证明了算法的正确性之后，我们介绍了C ++实现的用户指南。
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 have been implemented in the C++ toolbox ETVO ((Event|Time)-Variant Operators). After proving the correctness of the algorithms, we present a user guide for the C++ implementation.
