C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Formalization of p-adic L-functions in Lean 3.
Ashvni Narayanan
Published in:
CoRR (2023)
Keyphrases
</>
data sets
management system
real time
data mining
information retrieval
computer vision
information systems
decision trees
image segmentation
knowledge representation
mathematical functions