Overview
Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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.
Syllabus
Proving Theorems with Mathematica: Pólya's Conjecture and Beyond
Taught by
Wolfram