Princeton University

The $\lambda$-invariant is an invariant of an imaginary quadratic field that measures the growth of class numbers in cyclotomic towers over the field. It also measures the number of zeroes of an associated $p$-adic L-function. In this talk, I will...

This will be an introduction to special value formulas for L-functions and especially the uses of modular forms in establishing some of them -- beginning with the values of the Riemann zeta function at negative integers and hopefully arriving at...

A "proof assistant" is a software package comprising a validity checker for proofs in a particular logic, accompanied by semi-decision procedures called "tactics" that assist the mathematician in filling in the easy parts of the proofs. I will...