Assia Mahboubi, Guillaume Melquiond, Pierre-Yves Strub, Tomás Vallejos Parada. Functional Correctness of an Optimized Modular Inversion Algorithm. In Ekaterina Komendantskaya, Tobias Nipkow, editors, 17th International Conference on Interactive Theorem Proving, ITP 2026, Lisbon, Portugal, July 26-29, 2026. Volume 382 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
@inproceedings{MahboubiMSP26,
title = {Functional Correctness of an Optimized Modular Inversion Algorithm},
author = {Assia Mahboubi and Guillaume Melquiond and Pierre-Yves Strub and Tomás Vallejos Parada},
year = {2026},
doi = {10.4230/LIPIcs.ITP.2026.9},
url = {https://doi.org/10.4230/LIPIcs.ITP.2026.9},
researchr = {https://researchr.org/publication/MahboubiMSP26},
cites = {0},
citedby = {0},
booktitle = {17th International Conference on Interactive Theorem Proving, ITP 2026, Lisbon, Portugal, July 26-29, 2026},
editor = {Ekaterina Komendantskaya and Tobias Nipkow},
volume = {382},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-436-9},
}