1 research outputs found

    ACM 2007 Kanellakis Award Honours Bruno Buchberger Innovator of Automated Tools for Mathematics

    No full text
    corecore