========================================================================
Gregor Leander
Ruhr-Universitaet Bchum
Montag, 07.11.2005, 13:15 Uhr, IC 4/39
Rabbit in the Hat Proofs
or
Finding Implicit Representations
Abstract
We present a powerful method for proving certain kinds of
algebraic statements.
========================================================================
Next talks:
21.11.2005 Michael Tuexen. Title TBA.
========================================================================
Prof. Dr. Roberto Avanzi
Faculty for Mathematics
Ruhr-University Bochum
44780 Bochum, Germany
URL: http://www.cits.rub.de
http://www.rub.de/hgi
_______________________________________________
HGI-News mailing list
Informationen unter:
http://lists.ruhr-uni-bochum.de/mailman/listinfo/hgi-news