Research into Knot Theory and Computer Proof

    Activity: OtherResearch and Teaching at External Organisation

    Period1 Oct 200630 Nov 2007
    Held atUniversity of Bonn, Germany