Tag Archives: automated deduction

Computational algebra in Lisbon

This week I was at a very nice workshop on Computational Algebra in Lisbon. Rarely do I learn so many new things at a conference, although it was only three days in duration. Here are some of the highlights, roughly … Continue reading

Posted in events | Tagged , , , , , , | Leave a comment