Learn how to utilize Mathematica for mathematical proof assistance through a 22-minute video exploring Pólya's conjecture in spectral geometry. Discover techniques for proving theorems related to Euclidean balls, sectors, and annuli while exploring methods for deriving precise bounds for zeros of Bessel functions and their derivatives. Gain practical insights into leveraging computational tools for advanced mathematical proofs and theorem verification.
Overview
Syllabus
Proving Theorems with Mathematica: Pólya's Conjecture and Beyond
Taught by
Wolfram