TY  - RPRT
TI  - Demonstração Formal de um Algoritmo Alternativo da Multiplicação em Base 10
AU  - Albert Lucas Lima Dias
AU  - Anthony Lima Dias
AU  - Ib Couto
AU  - Mabia Lima Chaves dos Santos
AU  - Marcus Vinícius da Conceição Morro
PY  - 2025
UR  - https://arxiv.org/abs/2512.03105
ID  - 2512.03105
ER  -