-
A tool for autoformalization of mathematics in Lean
-
Speaker: Ashvni Narayanan (Imperial College, London)
Located in
Events
-
High Performance Computational Astrophysics on GPUs with Applications
-
Speaker: Sethupathy Subramanian (Univ. of Notre Dame, USA)
Located in
Events
-
Explicit inversion formulas for normal operators of momentum ray transforms
-
Shubham Jathar (IISER Bhopal)
Located in
Events
-
Ultrametric analysis in Diophantine approximation.
-
Shreyasi Datta (University of Michigan, Ann Arbor)
Located in
Events
-
Mathematical analysis of the motion of a piston in a fluid with density dependent viscosity.
-
Speaker: Vaibhav Kumar Jena (TIFR CAM)
Located in
Events
-
Seminar: The anisotropic Calderón problem at high frequency
-
Suman Kumar Sahoo (University of Jyvaskyla, Finland)
Located in
Events
-
On the accuracy of the finite volume approximations to nonlocal conservation laws
-
Ganesh Vaidya, Department of Mathematical Sciences, NTNU, Trondheim, Norway.
Located in
Events
-
Galois representations at the boundary of the eigencurve
-
Aditya Kartnataki (CMI)
Located in
Events
-
Analysis of turbulent/non-turbulent layer in cumulus cloud type of flows
-
Jalil ul Rehman Khan ( Doctoral Candidate IIT Jammu )
Located in
Events
-
Homogenization of electro-diffusive transport in complex media
-
Apratim Bhattacharya
Located in
Events
