# * GOLEM *

## by Ettore Remidde

1995-1996

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.