Submissions from grossack.site

		Slaughtering Competition Problems with Quantifier Elimination (2021) (grossack.site)
		78 points by todsacerdoti 3 months ago \| past \| 3 comments
		A Proof That There's No Constructive Proof of the Intermediate Value Theorem (grossack.site)
		2 points by gone35 9 months ago \| past
		Analytic Combinatorics – A Worked Example (grossack.site)
		105 points by mathgenius on April 8, 2025 \| past \| 54 comments
		Some Doodles I'm Proud Of – The Capping Algorithm for Embedded Graphs (grossack.site)
		1 point by mathgenius on March 31, 2025 \| past
		Where do those undergraduate divisibility problems come from? (grossack.site)
		161 points by mathgenius on Jan 20, 2025 \| past \| 52 comments
		Life in Johnstone's Topological Topos 1 – Fundamentals (grossack.site)
		1 point by speckx on July 8, 2024 \| past
		37, the median value for the second prime factor of an integer (grossack.site)
		458 points by sacrosanct on Nov 12, 2023 \| past \| 210 comments
		A fact about the number 37 (grossack.site)
		2 points by panic on Nov 9, 2023 \| past
		How many symbols can $f’(x)$ have if $f$ has $n$ symbols? (grossack.site)
		2 points by aebtebeten on March 7, 2023 \| past