S
tefan
H
etzl
Homepages 🌐
http://www.logic.at/people/hetzl/
Entries
2014
The Cayley-Hamilton Theorem
by
Stephan Adelsberger
,
Stefan Hetzl
and
Florian Pollak
Sep 15
2012
Bondy's Theorem
by
Jeremy Avigad
and
Stefan Hetzl
Oct 27