jeremyscanvic

https://jeremyscanvic.com/

Posts

• Decomposing a factorial into large factors (second version)
  by jeremyscanvicon 6/4/2025, 6:26 AMwith 0 comments
• A Lean companion to Analysis I
  by jeremyscanvicon 5/31/2025, 4:55 PMwith 42 comments
• A proof of concept tool to verify estimates
  by jeremyscanvicon 5/2/2025, 9:35 AMwith 1 comments
• Aliasing and Image Resizing
  by jeremyscanvicon 4/25/2025, 11:42 AMwith 0 comments