2 papers
math.DG2026
Physics-Informed Neural Networks for Computing the Morse Index of the Critical Catenoid
Miraj Samarakkody
The Morse index of a free boundary minimal surface is encoded in its Jacobi-Steklov spectrum, and we test how faithfully a physics-informed neural network (PINN) reproduces that sp…
math.MG2026
Formalizing the Classical Isoperimetric Inequality in the Two-Dimensional Case
Miraj Samarakkody
We present a formal verification of the classical isoperimetric inequality in the plane using the Lean 4 proof assistant and its mathematical library Mathlib. We follow Adolf Hurwi…