Ashvni Narayanan

From MaRDI portal
Person:2102928



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
scientific article; zbMATH DE number 7699422 (Why is no real title available?)2023-06-20Paper
Formalization of $p$-adic $L$-functions in Lean 32023-02-28Paper
A formalization of Dedekind domains and class groups of global fields
Journal of Automated Reasoning
2022-12-12Paper
A formalization of Dedekind domains and class groups of global fields
(available as arXiv preprint)
2021-02-04Paper


Research outcomes over time


This page was built for person: Ashvni Narayanan