A constructive proof presenting languages in $Σ_2^P$ that cannot be decided by circuit families of size $n^k$. - Sunny Daniels (CoRR, 2014)

Generating Cycloidal Gears for 3D Printing. - Sunny Daniels (CoRR, 2016)