The Remarkable Theorem of Gauss
Gauss’s Theorema Egregium reveals that Gaussian curvature is intrinsic: it can be read from distances measured on a surface, without looking at the surrounding 3D space.
Blogs
This section collects short notes on mathematics, theoretical computer science, automated reasoning, machine learning, and student-led technical projects.
Hello, World!
·2 mins
Welcome to my blog! Here I’ll share notes on automated reasoning, formal methods, theoretical computer science, mathematics, machine learning, and more.