SU\G(𝔸)/K·U

Ashvni Narayanan

Follow

Generating author description...

All published works
Action Title Year Authors
+ Formalization of $p$-adic $L$-functions in Lean 3 2023 Ashvni Narayanan
+ PDF Chat A Formalization of Dedekind Domains and Class Groups of Global Fields 2022 Anne Baanen
Sander R. Dahmen
Ashvni Narayanan
Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio
+ Towards a Mathematics Formalisation Assistant using Large Language Models 2022 Ayush Agrawal
Siddhartha Gadgil
Navin Goyal
Ashvni Narayanan
Anand Rao Tadipatri
Common Coauthors
Coauthor Papers Together
Anand Rao Tadipatri 1
Sander R. Dahmen 1
Siddhartha Gadgil 1
Ayush Agrawal 1
Filippo Alberto Edoardo Nuccio Mortarino Majno Di Capriglio 1
Navin Goyal 1
Anne Baanen 1
Commonly Cited References
Action Title Year Authors # of times referenced
+ Algebraic Number Theory 1999 JĂĽrgen Neukirch
 1
+ PDF Chat Every abelian group is a class group 1966 Luther Claborn
 1
+ PDF Chat Axiomatic characterization of fields by the product formula for valuations 1945 Emil Artin
G. Whaples
 1
+ Nine Chapters of Analytic Number Theory in Isabelle/HOL. 2019 Manuel Eberl
 1
+ PDF Chat The lean mathematical library 2020 The mathlib Community
 1
+ PDF Chat Formalized linear algebra over Elementary Divisor Rings in Coq 2016 Guillaume Cano
Cyril Cohen
Maxime Dénès
Anders Mörtberg
Vincent Siles
 1
+ PDF Chat A Uniform Proof of the Finiteness of the Class Group of a Global Field 2021 Alexander Stasinski
 1
+ Formalization of Ring Theory in PVS 2021 Thaynara Arielly de Lima
André Luiz Galdino
Andréia Borges Avelar
MaurĂ­cio Ayala-RincĂłn
 1
+ Formalizing the Ring of Adèles of a Global Field 2022 María Inés de Frutos-Fernández
 1
+ Use and abuse of instance parameters in the Lean mathematical library 2022 Anne Baanen
 1
+ PDF Chat A Classical Introduction to Modern Number Theory 1990 Kenneth Ireland
Michael Rosen
 1
+ PDF Chat Algebraic Numbers 2016 Yasushige Watase
 1
+ Algebra 2002 Serge Lang
 1