Speaker: Will Traves, U.S. Naval Academy
From Grassmannians to Automated Geometric Proofs
Abstract: Fundamental relations among subdeterminants of matrices give rise to beautiful automated geometric proof techniques. I'll explain how one set of relations, the Grassmann-Plucker relations, arise from Cramer's Rule (yes, the much mocked item from a first course in matrix theory!). This leads to a technique that can be used to prove many results in projective geometry. The talk will be pitched at an accessible level.
Biographical Sketch: Will Traves is a Professor and former Chair at the U.S. Naval Academy Math Department. He's been awarded both the Halmos-Ford Award and the Hasse Prize from the Mathematical Association of America. His research is split between algebraic geometry and machine learning/data science.Time: Friday, April 19, 2019, 3:30-4:20 p.m.
Department of Mathematical Sciences
George Mason University
4400 University Drive, MS 3F2
Fairfax, VA 22030-4444
Tel. 703-993-1460, Fax. 703-993-1491