aadi.ink

Keywords: #spectral #fourier #pde #computing

The paper Spectral Methods for Hyperbolic Problems by Gottlieb and Hesthaven highlights some methods to address the disadvantages of spectral methods when applied to hyperbolic problems. This end-semester project reproduces the results by implementing those techniques, and also tries to explain their working. Although the discussion sticks to Fourier expansions, the techniques apply to general spectral methods.

Keywords: #computing #lean

I had been trying to get into Lean. It’s an interactive theorem prover, and I’ve been curious about it since I first heard about it during a talk by Kevin Buzzard himself.

We were fortunate to have an in-person workshop about Lean recently and I have some notes! Let the lack of organisation and detail be a reflection of how little experience and knowledge I have of Lean. Be sure to keep that in mind while reading.