Functional Correctness of an Optimized Modular Inversion Algorithm

A. Mahboubi Guillaume Melquiond Pierre-Yves Strub Tomás Vallejos Parada

2026 · International Conference on Interactive Theorem Proving · pp. 9:1-9:19 · 1 citation · 17 references

Computer Science

View source

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.