PRL Seminars
GOLEM
Ettore Remidde
Department of Physics, University of Bologna, Italy
October 24, 1995
Abstract
Ettore Remidde is a theoretical physicist (quantum electrodynamics).
Aside from his work in physics, he has designed and implemented an interesting system called GOLEM for writing and checking mathematical proofs.
He will explain his system during seminar, and will give an
informal demonstration immediately afterwards to interested
persons who can attend.