Research output per year
Research output per year
Research output
- 1 Conference contribution
- 1 results
Search results
-
2025
Certifying Rings of Integers in Number Fields
Baanen, A., Villarello, A. C. & Dahmen, S. R., 2025, CPP '25: Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs. Stark, K., Timany, A., Blazy, S. & Tabareau, N. (eds.). Association for Computing Machinery, Inc, p. 50-66 17 p.Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review
Open Access