@misc{indiciae04c1a95c65d4,
  title = {Demonstração Formal de um Algoritmo Alternativo da Multiplicação em Base 10},
  author = {Albert Lucas Lima Dias and Anthony Lima Dias and Ib Couto and Mabia Lima Chaves dos Santos and Marcus Vinícius da Conceição Morro},
  year = {2025},
  url = {https://arxiv.org/abs/2512.03105},
  note = {Source identifier: 2512.03105}
}