The IEANTN Project: Automation and Mathematical Understanding
New Technologies in Mathematics Seminar Speaker: Xinjie He, UCLA Title: The IEANTN Project: Automation and Mathematical Understanding Abstract: Explicit analytic number theory combines conceptual arguments with extensive bookkeeping and numerical […]