Mathematics, Algorithms and Proofs

Activity: Participating in or organising an event typesParticipation in or organisation of workshop, seminar or course

Description

Workshop om reel algebraisk geometri og formalisering af matematik.
Period17 Sept 201221 Sept 2012
Event typeWorkshop
LocationKonstanz, GermanyShow on map