Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Animistic Physics
dothemath.ucsd.edu·15h