{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/the-hadamard-product-its-residual-and-its","title":"The Hadamard product, its residual, and its dual residual in the dioid of counters: algorithms and implementation in C++","arxiv_id":"2204.01479","date":"2022-03-24","proceeding":null,"authors":["Davide Zorzenon","Germano Schafaschek","Dominik Tirpák","Soraia Moradi","Laurent Hardouin","Jörg Raisch"],"abstract":"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.","url_abs":"https://arxiv.org/abs/2204.01479v2","url_pdf":"https://arxiv.org/pdf/2204.01479v2.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"links_only","authors_date_abstract":"arXiv metadata, CC0 1.0 (https://info.arxiv.org/help/license), from the Kaggle arXiv metadata snapshot of 2026-09-12"},"code_links":[{"paper_slug":"the-hadamard-product-its-residual-and-its","repo_url":"https://github.com/davidezorzenon/hadamard_product_counters","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":0,"framework":"none","reach":null}],"tasks":[],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"syntology_url":null,"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}