Stories by jeremyscanvic

2025 Scholar Metrics Released

Decomposing a factorial into large factors (second version)

A Lean companion to Analysis I

A proof of concept tool to verify estimates

Aliasing and Image Resizing